summaryrefslogtreecommitdiff
path: root/src/GF/FCFG/AbsFCFG.hs
diff options
context:
space:
mode:
authorkr.angelov <kr.angelov@gmail.com>2007-09-24 08:19:29 +0000
committerkr.angelov <kr.angelov@gmail.com>2007-09-24 08:19:29 +0000
commit36e091d0a1339ab363be2ad9d27608020636e569 (patch)
treef643ca95604ca98aa49cf4f9e6a7c53b5fb53406 /src/GF/FCFG/AbsFCFG.hs
parent6aacec3591e0e6e1d3ddca4605f6467e302cb65f (diff)
remove FCFG folder
Diffstat (limited to 'src/GF/FCFG/AbsFCFG.hs')
-rw-r--r--src/GF/FCFG/AbsFCFG.hs82
1 files changed, 0 insertions, 82 deletions
diff --git a/src/GF/FCFG/AbsFCFG.hs b/src/GF/FCFG/AbsFCFG.hs
deleted file mode 100644
index c7b2c4057..000000000
--- a/src/GF/FCFG/AbsFCFG.hs
+++ /dev/null
@@ -1,82 +0,0 @@
-module GF.FCFG.AbsFCFG where
-
--- Haskell module generated by the BNF converter
-
-newtype Ident = Ident String deriving (Eq,Ord,Show)
-data FGrammar =
- FGr [FRule]
- deriving (Eq,Ord,Show)
-
-data FRule =
- FR Abstract [[FSymbol]]
- deriving (Eq,Ord,Show)
-
-data Abstract =
- Abs FCat [FCat] Name
- deriving (Eq,Ord,Show)
-
-data FSymbol =
- FSymCat FCat Integer Integer
- | FSymTok String
- deriving (Eq,Ord,Show)
-
-data FCat =
- FC Integer Ident [[PathEl]] [PathTerm]
- deriving (Eq,Ord,Show)
-
-data PathEl =
- PLabel Label
- | PTerm Term
- deriving (Eq,Ord,Show)
-
-data PathTerm =
- PtT [PathEl] Term
- deriving (Eq,Ord,Show)
-
-data Name =
- Nm Ident [Profile]
- deriving (Eq,Ord,Show)
-
-data Profile =
- Unify [Integer]
- | Const Forest
- deriving (Eq,Ord,Show)
-
-data Forest =
- FMeta
- | FNode Ident [[Forest]]
- | FString String
- | FInt Integer
- | FFloat Double
- deriving (Eq,Ord,Show)
-
-data Term =
- Arg Integer Ident [PathEl]
- | Constr CIdent [Term]
- | Rec [Assoc]
- | Proj Term Label
- | Tbl [Case]
- | Select Term Term
- | Vars [Term]
- | Concat Term Term
- | Tok String
- | Empty
- deriving (Eq,Ord,Show)
-
-data Case =
- Cas Term Term
- deriving (Eq,Ord,Show)
-
-data Assoc =
- Ass Label Term
- deriving (Eq,Ord,Show)
-
-data Label =
- L Ident
- | LV Integer
- deriving (Eq,Ord,Show)
-
-data CIdent =
- CIQ Ident Ident
- deriving (Eq,Ord,Show)
-