diff options
| author | aarne <unknown> | 2005-02-18 13:53:29 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-02-18 13:53:29 +0000 |
| commit | 75b03fb624af33c9b90c3f3dccacadf18b442d17 (patch) | |
| tree | 4731876ea45b88a38a2f71934c55e9be7b4ca632 /src/GF/Compile/Optimize.hs | |
| parent | bafc9fbd0570626749261061c858cbbf95ccdcfb (diff) | |
working on resource doc and exx, fixing bugs
Diffstat (limited to 'src/GF/Compile/Optimize.hs')
| -rw-r--r-- | src/GF/Compile/Optimize.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/Compile/Optimize.hs b/src/GF/Compile/Optimize.hs index 605d50061..1b0d5e464 100644 --- a/src/GF/Compile/Optimize.hs +++ b/src/GF/Compile/Optimize.hs @@ -112,8 +112,8 @@ evalCncInfo gr cnc abs (c,info) = case info of return (c, CncCat ptyp pde' ppr') - CncFun (mt@(Just (_,ty))) pde ppr -> eIn ("linearization in type" +++ - show ty +++ "of") $ do + CncFun (mt@(Just (_,ty@(cont,val)))) pde ppr -> + eIn ("linearization in type" +++ prt (mkProd (cont,val,[])) ++++ "of function") $ do pde' <- case pde of Yes de -> do liftM yes $ pEval ty de |