diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-12-17 18:12:46 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-12-17 18:12:46 +0000 |
| commit | 27602f4f8291f4d6a8b4b7109caf321d16cb6c99 (patch) | |
| tree | 8e64b75d15c3b9f80c543466ad37aa5536a86f8c /src/GF/GFCC/Raw/ConvertGFCC.hs | |
| parent | 7551c70db6c76a796e93fa1cd4ebe7c850344b7e (diff) | |
took back smart type of Int ; Digits type in resource and some adjustments of Det syntax (not yet for romance and russian)
Diffstat (limited to 'src/GF/GFCC/Raw/ConvertGFCC.hs')
| -rw-r--r-- | src/GF/GFCC/Raw/ConvertGFCC.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/GFCC/Raw/ConvertGFCC.hs b/src/GF/GFCC/Raw/ConvertGFCC.hs index fbed72e69..3bfed9c83 100644 --- a/src/GF/GFCC/Raw/ConvertGFCC.hs +++ b/src/GF/GFCC/Raw/ConvertGFCC.hs @@ -73,7 +73,7 @@ toExp e = case e of App fun [App (CId "B") xs, App (CId "X") exps] -> DTr [x | AId x <- xs] (AC fun) (lmap toExp exps) App (CId "Eq") eqs -> - EEq [Equ (lmap toExp ps) (toExp v) | App (CId "Case") (v:ps) <- eqs] + EEq [Equ (lmap toExp ps) (toExp v) | App (CId "E") (v:ps) <- eqs] AMet -> DTr [] (AM 0) [] AInt i -> DTr [] (AI i) [] AFlt i -> DTr [] (AF i) [] @@ -147,7 +147,7 @@ fromExp e = case e of DTr [] (AI i) [] -> AInt (toInteger i) DTr [] (AM _) [] -> AMet ---- EEq eqs -> - App (CId "Eq") [App (CId "Case") (lmap fromExp (v:ps)) | Equ ps v <- eqs] + App (CId "Eq") [App (CId "E") (lmap fromExp (v:ps)) | Equ ps v <- eqs] _ -> error $ "exp " ++ show e fromTerm :: Term -> RExp |