sync with laptop version, irrelevant changes

This commit is contained in:
aarne
2008-05-29 22:32:58 +00:00
parent 35009a2911
commit 66c0467201

View File

@@ -330,10 +330,10 @@ computeTermOpt rec gr = comput True where
---- return $ V ty (map snd cs')
return $ T i cs'
V ty cs -> do
-- if there are no variables, don't even go inside
cs' <- if (null g) then return cs else mapM (comp g) cs
---- return $ V ty (map snd cs')
return $ V ty cs'
ty' <- comp g ty
-- if there are no variables, don't even go inside
cs' <- if (null g) then return cs else mapM (comp g) cs
return $ V ty' cs'
T i cs -> do
pty0 <- getTableType i