Commit 115843f2 authored by simonpj's avatar simonpj
Browse files

[project @ 2003-01-09 16:15:30 by simonpj]

Layout wibble
parent 08c45040
...@@ -626,7 +626,7 @@ tryEta bndrs expr@(App _ _) ...@@ -626,7 +626,7 @@ tryEta bndrs expr@(App _ _)
n_remaining = length args - length bndrs n_remaining = length args - length bndrs
ok bndr (Var arg) = bndr == arg ok bndr (Var arg) = bndr == arg
ok bndr other = False ok bndr other = False
-- we can't eta reduce something which must be saturated. -- we can't eta reduce something which must be saturated.
ok_to_eta_reduce (Var f) = not (hasNoBinding f) ok_to_eta_reduce (Var f) = not (hasNoBinding f)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment