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
Make subeverywhere support Cast expressions.
[matthijs/master-project/cλash.git]
/
Normalize.hs
diff --git
a/Normalize.hs
b/Normalize.hs
index 9aedb4b856a17f8292241262df1f9622527efb9a..208a8fa371a326141e4159ca7c1f781a12433231 100644
(file)
--- a/
Normalize.hs
+++ b/
Normalize.hs
@@
-49,7
+49,7
@@
eta expr | is_fun expr && not (is_lam expr) = do
change (Lam id (App expr (Var id)))
-- Leave all other expressions unchanged
eta e = return e
-etatop = notapp
lied
("eta", eta)
+etatop = notapp
args
("eta", eta)
--------------------------------
-- β-reduction