variants in gfcc generation

This commit is contained in:
aarne
2007-12-11 15:07:48 +00:00
parent 77a502085d
commit f472bf266c

View File

@@ -404,6 +404,7 @@ term2term cgr env@(labels,untyps,typs) tr = case tr of
T (TComp typ) ts -> comp $ V typ (map (comp . snd) ts) ---- should...
T (TTyped typ) ts -> comp $ V typ (map (comp . snd) ts) ---- should
V typ ts -> V typ (map comp ts)
S tb (FV ts) -> FV $ map (comp . S tb) ts
S (V typ ts) v0 -> err error id $ do
let v = comp v0
return $ maybe t (comp . (ts !!) . fromInteger) $ Map.lookup v untyps