adjusting parameter types in Romance and fixing some compilation bugs

This commit is contained in:
aarne
2007-10-14 14:08:41 +00:00
parent 111643eba8
commit eb145f5fcf

View File

@@ -235,6 +235,7 @@ computeTermOpt rec gr = comp where
---- foldr1 C (map K (str2strings (glueStr v (str a)))) | v <- x']
,return $ Glue x y
]
(C u v,_) -> comp g $ C u (Glue v y)
_ -> do
mapM_ checkNoArgVars [x,y]