X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=Normalize.hs;h=208a8fa371a326141e4159ca7c1f781a12433231;hb=33a876fcac2c8d455feb5f35131e873e3311800d;hp=cceefc0cf7baf76c4135da6ef12cc7f9c5922988;hpb=757befa0b3e9765ad3eca2990df8a790e187326c;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/Normalize.hs b/Normalize.hs index cceefc0..208a8fa 100644 --- a/Normalize.hs +++ b/Normalize.hs @@ -43,7 +43,6 @@ import Pretty -- η abstraction -------------------------------- eta, etatop :: Transform -eta expr | is_fun expr && not (is_lam expr) = do eta expr | is_fun expr && not (is_lam expr) = do let arg_ty = (fst . Type.splitFunTy . CoreUtils.exprType) expr id <- mkInternalVar "param" arg_ty