diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-01-31 20:56:42 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-01-31 20:56:42 +0000 |
| commit | 3addf256bcfaaa7748b0159a3dd6f6ce8fcd8b7c (patch) | |
| tree | 7bc860aa21e18b1db20889fdc19a764c92c5535f /src/GF/GFCC/Raw/ConvertGFCC.hs | |
| parent | 8f8aac4d24b8ea7d0867df8b3f890422a1f833d8 (diff) | |
GFCC: TM with argument; fixed labels from bindings in gfc
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 437478bb6..1631a128f 100644 --- a/src/GF/GFCC/Raw/ConvertGFCC.hs +++ b/src/GF/GFCC/Raw/ConvertGFCC.hs @@ -137,7 +137,7 @@ toTerm e = case e of App (CId "A") [AInt i] -> V (fromInteger i) App f [] -> F f AInt i -> C (fromInteger i) - AMet -> TM + AMet -> TM "?" AStr s -> K (KS s) ---- _ -> error $ "term " ++ show e @@ -202,7 +202,7 @@ fromTerm e = case e of RP e v -> app "RP" [fromTerm e, fromTerm v] ---- W s v -> app "W" [AStr s, fromTerm v] C i -> AInt (toInteger i) - TM -> AMet + TM _ -> AMet F f -> App f [] V i -> App (CId "A") [AInt (toInteger i)] K (KS s) -> AStr s ---- |