summaryrefslogtreecommitdiff
path: root/src/GF/Canon/GFCC/SkelGFCC.hs
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2006-09-05 12:14:13 +0000
committeraarne <aarne@cs.chalmers.se>2006-09-05 12:14:13 +0000
commit8484cfab1b1d27ba7046798c2821c138e4f5fabf (patch)
treeb1b6e5660b736b190cd5b9bcf7aa59e1cb798a5f /src/GF/Canon/GFCC/SkelGFCC.hs
parent1807dc437960afd13adc17cce52c54992daa9570 (diff)
starting GFCC format
Diffstat (limited to 'src/GF/Canon/GFCC/SkelGFCC.hs')
-rw-r--r--src/GF/Canon/GFCC/SkelGFCC.hs88
1 files changed, 88 insertions, 0 deletions
diff --git a/src/GF/Canon/GFCC/SkelGFCC.hs b/src/GF/Canon/GFCC/SkelGFCC.hs
new file mode 100644
index 000000000..a118efd39
--- /dev/null
+++ b/src/GF/Canon/GFCC/SkelGFCC.hs
@@ -0,0 +1,88 @@
+module SkelGFCC where
+
+-- Haskell module generated by the BNF converter
+
+import AbsGFCC
+import ErrM
+type Result = Err String
+
+failure :: Show a => a -> Result
+failure x = Bad $ "Undefined case: " ++ show x
+
+transCId :: CId -> Result
+transCId x = case x of
+ CId str -> failure x
+
+
+transGrammar :: Grammar -> Result
+transGrammar x = case x of
+ Grm header abstract concretes -> failure x
+
+
+transHeader :: Header -> Result
+transHeader x = case x of
+ Hdr cid cids -> failure x
+
+
+transAbstract :: Abstract -> Result
+transAbstract x = case x of
+ Abs absdefs -> failure x
+
+
+transConcrete :: Concrete -> Result
+transConcrete x = case x of
+ Cnc cid cncdefs -> failure x
+
+
+transAbsDef :: AbsDef -> Result
+transAbsDef x = case x of
+ Fun cid type' exp -> failure x
+
+
+transCncDef :: CncDef -> Result
+transCncDef x = case x of
+ Lin cid term -> failure x
+
+
+transType :: Type -> Result
+transType x = case x of
+ Typ cids cid -> failure x
+
+
+transExp :: Exp -> Result
+transExp x = case x of
+ Tr atom exps -> failure x
+
+
+transAtom :: Atom -> Result
+transAtom x = case x of
+ AC cid -> failure x
+ AS str -> failure x
+ AI n -> failure x
+
+
+transTerm :: Term -> Result
+transTerm x = case x of
+ R terms -> failure x
+ P term0 term -> failure x
+ S terms -> failure x
+ K tokn -> failure x
+ V n -> failure x
+ C n -> failure x
+ F cid -> failure x
+ FV terms -> failure x
+ W str term -> failure x
+
+
+transTokn :: Tokn -> Result
+transTokn x = case x of
+ KS str -> failure x
+ KP strs variants -> failure x
+
+
+transVariant :: Variant -> Result
+transVariant x = case x of
+ Var strs0 strs -> failure x
+
+
+