diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-09-29 10:55:36 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-09-29 10:55:36 +0000 |
| commit | b39ecf4c324b674918813099711aaf437d7db1df (patch) | |
| tree | 052d0b8ccb4d39dc95ffef7c184323b6f1ff2340 /src/GF/Canon/GFCC/SkelGFCC.hs | |
| parent | f705205b529e7761f2ba1d0fd4ba5dcf566dbf0d (diff) | |
new constructs in gfcc, removed lambda
Diffstat (limited to 'src/GF/Canon/GFCC/SkelGFCC.hs')
| -rw-r--r-- | src/GF/Canon/GFCC/SkelGFCC.hs | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/src/GF/Canon/GFCC/SkelGFCC.hs b/src/GF/Canon/GFCC/SkelGFCC.hs index a118efd39..dae31ea6d 100644 --- a/src/GF/Canon/GFCC/SkelGFCC.hs +++ b/src/GF/Canon/GFCC/SkelGFCC.hs @@ -1,9 +1,9 @@ -module SkelGFCC where +module GF.Canon.GFCC.SkelGFCC where -- Haskell module generated by the BNF converter -import AbsGFCC -import ErrM +import GF.Canon.GFCC.AbsGFCC +import GF.Canon.GFCC.ErrM type Result = Err String failure :: Show a => a -> Result @@ -37,11 +37,13 @@ transConcrete x = case x of transAbsDef :: AbsDef -> Result transAbsDef x = case x of Fun cid type' exp -> failure x + AFl cid str -> failure x transCncDef :: CncDef -> Result transCncDef x = case x of Lin cid term -> failure x + CFl cid str -> failure x transType :: Type -> Result @@ -59,6 +61,8 @@ transAtom x = case x of AC cid -> failure x AS str -> failure x AI n -> failure x + AF d -> failure x + AM -> failure x transTerm :: Term -> Result @@ -72,6 +76,7 @@ transTerm x = case x of F cid -> failure x FV terms -> failure x W str term -> failure x + RP term0 term -> failure x transTokn :: Tokn -> Result |
