diff options
| author | krasimir <krasimir@chalmers.se> | 2009-01-20 14:33:42 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-01-20 14:33:42 +0000 |
| commit | e3892b82c0f1a73ce529dbfde2a2753475c94355 (patch) | |
| tree | d72d12352e2d5ebf323297cf66792c2042fa239b /src/GF/Grammar/Grammar.hs | |
| parent | d6e917b5a1454bc75226d27ed71171b2617a4d46 (diff) | |
remove some dead types from GF.Grammar.Grammar
Diffstat (limited to 'src/GF/Grammar/Grammar.hs')
| -rw-r--r-- | src/GF/Grammar/Grammar.hs | 9 |
1 files changed, 0 insertions, 9 deletions
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 |