summaryrefslogtreecommitdiff
path: root/src/GF/Canon/GFCC/AbsGFCC.hs
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2007-10-05 13:38:10 +0000
committeraarne <aarne@cs.chalmers.se>2007-10-05 13:38:10 +0000
commit2905d5552c1530185609fe892e0e9e2c4994ca1d (patch)
tree7b73558c7a1ea5ba21a597fe1a7a8e2f1c0929d6 /src/GF/Canon/GFCC/AbsGFCC.hs
parent1b4f7c9741b87f7085f0a8b70034e5ce7cfe668a (diff)
removed Canon/GFCC
Diffstat (limited to 'src/GF/Canon/GFCC/AbsGFCC.hs')
-rw-r--r--src/GF/Canon/GFCC/AbsGFCC.hs70
1 files changed, 0 insertions, 70 deletions
diff --git a/src/GF/Canon/GFCC/AbsGFCC.hs b/src/GF/Canon/GFCC/AbsGFCC.hs
deleted file mode 100644
index aab74f7fb..000000000
--- a/src/GF/Canon/GFCC/AbsGFCC.hs
+++ /dev/null
@@ -1,70 +0,0 @@
-module GF.Canon.GFCC.AbsGFCC where
-
--- Haskell module generated by the BNF converter
-
-newtype CId = CId String deriving (Eq,Ord,Show)
-data Grammar =
- Grm Header Abstract [Concrete]
- deriving (Eq,Ord,Show)
-
-data Header =
- Hdr CId [CId]
- deriving (Eq,Ord,Show)
-
-data Abstract =
- Abs [AbsDef]
- deriving (Eq,Ord,Show)
-
-data Concrete =
- Cnc CId [CncDef]
- deriving (Eq,Ord,Show)
-
-data AbsDef =
- Fun CId Type Exp
- deriving (Eq,Ord,Show)
-
-data CncDef =
- Lin CId Term
- deriving (Eq,Ord,Show)
-
-data Type =
- Typ [CId] CId
- deriving (Eq,Ord,Show)
-
-data Exp =
- Tr Atom [Exp]
- deriving (Eq,Ord,Show)
-
-data Atom =
- AC CId
- | AS String
- | AI Integer
- | AF Double
- | AM
- deriving (Eq,Ord,Show)
-
-data Term =
- R [Term]
- | P Term Term
- | S [Term]
- | K Tokn
- | V Int
- | C Int
- | F CId
- | FV [Term]
- | W String Term
- | RP Term Term
- | TM
- | L CId Term
- | BV CId
- deriving (Eq,Ord,Show)
-
-data Tokn =
- KS String
- | KP [String] [Variant]
- deriving (Eq,Ord,Show)
-
-data Variant =
- Var [String] [String]
- deriving (Eq,Ord,Show)
-