msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

fix in etaexpand optimization

Browse Source
This commit is contained in:
aarne
2007-01-11 11:42:39 +00:00
parent 46994dec58
commit 6c9ddcda8b
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

@@ -167,8 +167,12 @@ partEval opts gr (context, val) trm = errIn ("parteval" +++ prt_ trm) $ do
etaExpand su t = do etaExpand su t = do
t' <- comp su t t' <- comp su t
case t' of case t' of
R _ -> comp su t' --- return t' wo noexpand... R _ | rightType t' -> comp su t' --- return t' wo noexpand...
_ -> recordExpand val t' >>= comp su _ -> recordExpand val t' >>= comp su
-- don't eta expand records of right length (correct by type checking)
rightType t = case (t,val) of
(R rs, RecType ts) -> length rs == length ts
_ -> False
outCase subst t = do outCase subst t = do
pts <- getParams context pts <- getParams context