predef types in gfcc

This commit is contained in:
aarne
2006-09-17 14:57:46 +00:00
parent 98143802ab
commit bd6178c358
2 changed files with 7 additions and 2 deletions

View File

@@ -177,7 +177,9 @@ paramValues cgr = (labels,untyps,typs) where
jments = [(m,j) | (m,mo) <- M.allModMod cgr, j <- tree2list $ M.jments mo]
typs = Map.fromList [(ci,Map.fromList (zip vs [0..])) | (ci,vs) <- params]
untyps = Map.fromList $ concatMap Map.toList [typ | (_,typ) <- Map.toList typs]
lincats = [(cat,ls) | (_,(cat,CncCat (RecType ls) _ _)) <- jments]
lincats =
[(IC cat,[Lbg (L (IC "s")) TStr]) | cat <- ["Int", "Float", "String"]] ++
[(cat,ls) | (_,(cat,CncCat (RecType ls) _ _)) <- jments]
labels = Map.fromList $ concat
[((cat,[lab]),(typ,i)):
[((cat,[lab2,lab]),(ty,j)) |