diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-12-13 20:19:47 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-12-13 20:19:47 +0000 |
| commit | b447cf1a047a6f6e1c4945e809bffa57c88a08af (patch) | |
| tree | 4b6792997f34b764796a8b787b3e8a9638c6ff49 /src/GF/GFCC/AbsGFCC.hs | |
| parent | a311dda5392ac1d019bc4f60bd94b37df01a1411 (diff) | |
new GFCC concrete syntax in place everywhere
Diffstat (limited to 'src/GF/GFCC/AbsGFCC.hs')
| -rw-r--r-- | src/GF/GFCC/AbsGFCC.hs | 82 |
1 files changed, 0 insertions, 82 deletions
diff --git a/src/GF/GFCC/AbsGFCC.hs b/src/GF/GFCC/AbsGFCC.hs deleted file mode 100644 index e3b2582be..000000000 --- a/src/GF/GFCC/AbsGFCC.hs +++ /dev/null @@ -1,82 +0,0 @@ -module GF.GFCC.AbsGFCC where - --- Haskell module generated by the BNF converter - -newtype CId = CId String deriving (Eq,Ord,Show) -data Grammar = - Grm CId [CId] [Flag] Abstract [Concrete] - deriving (Eq,Ord,Show) - -data Abstract = - Abs [Flag] [FunDef] [CatDef] - deriving (Eq,Ord,Show) - -data Concrete = - Cnc CId [Flag] [LinDef] [LinDef] [LinDef] [LinDef] [LinDef] [LinDef] - deriving (Eq,Ord,Show) - -data Flag = - Flg CId String - deriving (Eq,Ord,Show) - -data CatDef = - Cat CId [Hypo] - deriving (Eq,Ord,Show) - -data FunDef = - Fun CId Type Exp - deriving (Eq,Ord,Show) - -data LinDef = - Lin CId Term - deriving (Eq,Ord,Show) - -data Type = - DTyp [Hypo] CId [Exp] - deriving (Eq,Ord,Show) - -data Exp = - DTr [CId] Atom [Exp] - | EEq [Equation] - deriving (Eq,Ord,Show) - -data Atom = - AC CId - | AS String - | AI Integer - | AF Double - | AM Integer - | AV CId - deriving (Eq,Ord,Show) - -data Term = - R [Term] - | P Term Term - | S [Term] - | K Tokn - | V Int --H - | C Int --H - | F CId - | FV [Term] - | W String Term - | TM - | RP Term Term - deriving (Eq,Ord,Show) - -data Tokn = - KS String - | KP [String] [Variant] - deriving (Eq,Ord,Show) - -data Variant = - Var [String] [String] - deriving (Eq,Ord,Show) - -data Hypo = - Hyp CId Type - deriving (Eq,Ord,Show) - -data Equation = - Equ [Exp] Exp - deriving (Eq,Ord,Show) - |
