diff options
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 |