projects
/
matthijs
/
master-project
/
cλash.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Only apply eta expansion to expressions at the top level.
[matthijs/master-project/cλash.git]
/
cλash
/
CLasH
/
Normalize
/
NormalizeTools.hs
diff --git
a/cλash/CLasH/Normalize/NormalizeTools.hs
b/cλash/CLasH/Normalize/NormalizeTools.hs
index 09ae3f579485c946f311e020ccb55b514a5641ad..0402d9327c9463055ec7ff8bdd8c8dbcadcfe008 100644
(file)
--- a/
cλash/CLasH/Normalize/NormalizeTools.hs
+++ b/
cλash/CLasH/Normalize/NormalizeTools.hs
@@
-77,7
+77,7
@@
subeverywhere trans c (Let (Rec binds) expr) = do
return (b, e')
subeverywhere trans c (Lam x expr) = do
- expr' <- trans (
Other
:c) expr
+ expr' <- trans (
LambdaBody
:c) expr
return $ Lam x expr'
subeverywhere trans c (Case scrut b t alts) = do