diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-09-30 14:17:34 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-09-30 14:17:34 +0000 |
| commit | 35e17afb3858fb2b9a1792d8ab684b77ecb3d56c (patch) | |
| tree | f81900089b587b7e8639a7a070b6771a9110a7d0 /src/GF/Canon/CanonToGFCC.hs | |
| parent | 31b13218454b71e4c875206c54f55fa24d067070 (diff) | |
param record compiler bug fixed
Diffstat (limited to 'src/GF/Canon/CanonToGFCC.hs')
| -rw-r--r-- | src/GF/Canon/CanonToGFCC.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/Canon/CanonToGFCC.hs b/src/GF/Canon/CanonToGFCC.hs index d187676d0..938c50621 100644 --- a/src/GF/Canon/CanonToGFCC.hs +++ b/src/GF/Canon/CanonToGFCC.hs @@ -214,7 +214,7 @@ term2term cgr env@(labels,untyps,typs) tr = case tr of rs' = [Ass (mkLab i) (t2t t) | (i,Ass l t) <- zip [0..] rs, not (isLock l t)] in if (any (isStr . trmAss) rs) - then R rs' + then trace (A.prt tr) $ R rs' else R [Ass (L (IC "_")) (mkValCase tr), Ass (L (IC "__")) (R rs')] P t l -> r2r tr T _ cs0 -> checkCases cs0 $ @@ -317,6 +317,7 @@ term2term cgr env@(labels,untyps,typs) tr = case tr of S t _ -> isStr t E -> True T _ cs -> any isStr [v | Cas _ v <- cs] + V _ ts -> any isStr ts P t r -> case getLab tr of Ok (cat,labs) -> case Map.lookup (cat,labs) labels of |