X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=Normalize.hs;h=208a8fa371a326141e4159ca7c1f781a12433231;hb=33a876fcac2c8d455feb5f35131e873e3311800d;hp=9aedb4b856a17f8292241262df1f9622527efb9a;hpb=b62b2e3aa902db1f774c2f655b25e8428e2b1cf0;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

diff --git a/Normalize.hs b/Normalize.hs
index 9aedb4b..208a8fa 100644
--- 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 = notapplied ("eta", eta)
+etatop = notappargs ("eta", eta)
 
 --------------------------------
 -- β-reduction