From 935594eb86a16532108f707b5dcfd351271d80b9 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 10 Jan 2007 21:03:18 +0000 Subject: semantics of variants --- src/GF/Compile/Optimize.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/GF/Compile') diff --git a/src/GF/Compile/Optimize.hs b/src/GF/Compile/Optimize.hs index 0872cc5b2..9278897d2 100644 --- a/src/GF/Compile/Optimize.hs +++ b/src/GF/Compile/Optimize.hs @@ -154,8 +154,8 @@ partEval opts gr (context, val) trm = errIn ("parteval" +++ prt_ trm) $ do subst = [(v, Vr v) | v <- vars] trm1 = mkApp trm args trm3 <- if globalTable - then etaExpand trm1 >>= comp subst >>= outCase subst - else etaExpand trm1 >>= comp subst + then etaExpand subst trm1 >>= outCase subst + else etaExpand subst trm1 return $ mkAbs vars trm3 where @@ -164,7 +164,7 @@ partEval opts gr (context, val) trm = errIn ("parteval" +++ prt_ trm) $ do comp g t = {- refreshTerm t >>= -} computeTerm gr g t - etaExpand t = recordExpand val t --- >>= caseEx -- done by comp + etaExpand su t = comp su t >>= recordExpand val >>= comp su outCase subst t = do pts <- getParams context -- cgit v1.2.3