arabic in 1.4 - something makes compilation get stuck

This commit is contained in:
aarne
2008-06-13 20:40:50 +00:00
parent 4b1faf4ae5
commit 4fd5183863

View File

@@ -128,7 +128,7 @@ evalCncInfo opts gr cnc abs (c,info) = do
return (c, CncCat ptyp pde' ppr')
CncFun (mt@(Just (_,ty@(cont,val)))) pde ppr ->
CncFun (mt@(Just (_,ty@(cont,val)))) pde ppr -> --trace (prt c) $
eIn ("linearization in type" +++ prt (mkProd (cont,val,[])) ++++ "of function") $ do
pde' <- case pde of
Yes de -> do