refactoring in GF.Grammar.Macros

2009-09-21 06:56:39 +00:00
parent c2ef7ed35d
commit 40373704ff
11 changed files with 74 additions and 112 deletions
--- a/src/GF/Compile/Optimize.hs
+++ b/src/GF/Compile/Optimize.hs
@@ -127,7 +127,7 @@ evalCncInfo opts gr cnc abs (c,info) = do
    return (CncCat ptyp pde' ppr')

  CncFun (mt@(Just (_,ty@(cont,val)))) pde ppr -> --trace (prt c) $
-       eIn (text "linearization in type" <+> ppTerm Unqualified 0 (mkProd (cont,val,[])) $$ text "of function") $ do
+       eIn (text "linearization in type" <+> ppTerm Unqualified 0 (mkProd cont val []) $$ text "of function") $ do
    pde' <- case pde of
      Just de -> liftM Just $ pEval ty de
      Nothing -> return pde