GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 11:42:49 -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 935594eb86
commit 46994dec58
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 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 outCase subst t = do
pts <- getParams context pts <- getParams context