diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-09-05 12:14:13 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-09-05 12:14:13 +0000 |
| commit | 8484cfab1b1d27ba7046798c2821c138e4f5fabf (patch) | |
| tree | b1b6e5660b736b190cd5b9bcf7aa59e1cb798a5f /src/GF/Canon/GFCC/SkelGFCC.hs | |
| parent | 1807dc437960afd13adc17cce52c54992daa9570 (diff) | |
starting GFCC format
Diffstat (limited to 'src/GF/Canon/GFCC/SkelGFCC.hs')
| -rw-r--r-- | src/GF/Canon/GFCC/SkelGFCC.hs | 88 |
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 + + + |
