arabic in 1.4 - something makes compilation get stuck

This commit is contained in:
aarne
2008-06-13 20:40:50 +00:00
parent da6330c7b7
commit 60a68c5f3d
26 changed files with 3427 additions and 1 deletions

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