summaryrefslogtreecommitdiff
path: root/src/GF/GFCC/AbsGFCC.hs
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2007-12-13 20:19:47 +0000
committeraarne <aarne@cs.chalmers.se>2007-12-13 20:19:47 +0000
commitb447cf1a047a6f6e1c4945e809bffa57c88a08af (patch)
tree4b6792997f34b764796a8b787b3e8a9638c6ff49 /src/GF/GFCC/AbsGFCC.hs
parenta311dda5392ac1d019bc4f60bd94b37df01a1411 (diff)
new GFCC concrete syntax in place everywhere
Diffstat (limited to 'src/GF/GFCC/AbsGFCC.hs')
-rw-r--r--src/GF/GFCC/AbsGFCC.hs82
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)
-