From 6757ab2b41a9dc6c74f6184b8d0846970753e9fc Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 25 Aug 2011 15:58:38 +0000 Subject: reload command in shell --- src/compiler/GF/Compile/Compute/Concrete.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/compiler/GF/Compile/Compute') 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 -- cgit v1.2.3