GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

a slight optimization in eta expand

Browse Source
This commit is contained in:
aarne
2007-01-10 21:27:15 +00:00
parent 9b1fb0c1c0
commit 575a49620f
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/GF/Compile/Optimize.hs
View File

@@ -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