From e3892b82c0f1a73ce529dbfde2a2753475c94355 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Tue, 20 Jan 2009 14:33:42 +0000
Subject: remove some dead types from GF.Grammar.Grammar

---
 src/GF/Grammar/Grammar.hs | 9 ---------
 1 file changed, 9 deletions(-)

(limited to 'src/GF/Grammar/Grammar.hs')

diff --git a/src/GF/Grammar/Grammar.hs b/src/GF/Grammar/Grammar.hs
index c1ec709f3..19b8d4c9b 100644
--- a/src/GF/Grammar/Grammar.hs
+++ b/src/GF/Grammar/Grammar.hs
@@ -43,9 +43,6 @@ module GF.Grammar.Grammar (SourceGrammar,
 		Param,
 		Altern,
 		Substitution,
-		Branch(..),
-		Con,
-		Trm,
 		wildPatt,
 		varLabel, tupleLabel, linLabel, theLinLabel,
 		ident2label, label2ident
@@ -233,10 +230,6 @@ type Altern = (Term, [(Term, Term)])
 
 type Substitution =  [(Ident, Term)]
 
--- | branches à la Alfa
-newtype Branch = Branch (Con,([Ident],Term)) deriving (Eq, Ord,Show,Read)
-type Con = Ident ---
-
 varLabel :: Int -> Label
 varLabel = LVar
 
@@ -256,5 +249,3 @@ label2ident (LVar i)   = identC (BS.pack ('$':show i))
 
 wildPatt :: Patt
 wildPatt = PV identW
-
-type Trm = Term
-- 
cgit v1.2.3