From 575a49620fa66b424ef56ead45a5191aa07b8845 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Wed, 10 Jan 2007 21:27:15 +0000
Subject: [PATCH] a slight optimization in eta expand

---
 src/GF/Compile/Optimize.hs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/GF/Compile/Optimize.hs b/src/GF/Compile/Optimize.hs
index 9278897d2..6cbd302f5 100644
--- a/src/GF/Compile/Optimize.hs
+++ b/src/GF/Compile/Optimize.hs
@@ -164,7 +164,11 @@ partEval opts gr (context, val) trm = errIn ("parteval" +++ prt_ trm) $ do
 
    comp g t = {- refreshTerm t >>= -} computeTerm gr g t
 
-   etaExpand su t = comp su t >>= recordExpand val >>= comp su
+   etaExpand su t = do
+     t' <- comp su t 
+     case t' of
+       R _ -> comp su t' --- return t' wo noexpand...
+       _ -> recordExpand val t' >>= comp su
 
    outCase subst t = do
      pts <- getParams context