diff options
Diffstat (limited to 'src/compiler/GF/Compile/Compute')
| -rw-r--r-- | src/compiler/GF/Compile/Compute/Concrete.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/GF/Compile/Compute/Concrete.hs b/src/compiler/GF/Compile/Compute/Concrete.hs index adcb61ece..29ba8969d 100644 --- a/src/compiler/GF/Compile/Compute/Concrete.hs +++ b/src/compiler/GF/Compile/Compute/Concrete.hs @@ -65,7 +65,7 @@ computeTermOpt rec gr = comput True where return $ lookup x g case t' of _ | t == t' -> return t - _ -> comp g t' + _ -> comp g t' --- why compute again? AR 25/8/2011 -- Abs x@(IA _) b -> do Abs _ _ _ | full -> do -- \xs -> b @@ -391,7 +391,7 @@ computeTermOpt rec gr = comput True where ps0 <- mapM (compPatternMacro . fst) cs cs' <- mapM (compBranch g) (zip ps0 (map snd cs)) ------ cs' <- return (zip ps0 (map snd cs)) --- probably right AR 22/8/2011 +----- cs' <- return (zip ps0 (map snd cs)) --- probably right AR 22/8/2011 but can leave uninstantiated variables :-( ---- cs' <- mapM (compBranch g) cs return $ T i cs' -- happens with variable types |