diff options
| author | krasimir <krasimir@chalmers.se> | 2009-10-25 15:20:44 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-10-25 15:20:44 +0000 |
| commit | d63be8ac7287a7c220f62701cb5b200ba57fbbeb (patch) | |
| tree | e7db58c9b77465b66c72325dad54ffd2a1c897d9 /src/GF/Compile/Optimize.hs | |
| parent | 116912647b4abcbce67452d622c45d41d23c17ef (diff) | |
small refactoring in GF.Compile.CheckGrammar
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 c5b244903..c4ea4ae34 100644 --- a/src/GF/Compile/Optimize.hs +++ b/src/GF/Compile/Optimize.hs @@ -104,10 +104,10 @@ evalCncInfo opts gr cnc abs (c,info) = do return (CncCat ptyp pde' ppr') - CncFun (mt@(Just (_,ty@(cont,val)))) pde ppr -> --trace (prt c) $ + CncFun (mt@(Just (_,cont,val))) pde ppr -> --trace (prt c) $ 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 + Just de -> liftM Just $ pEval (cont,val) de Nothing -> return pde ppr' <- liftM Just $ evalPrintname gr c ppr pde' return $ CncFun mt pde' ppr' -- only cat in type actually needed |