diff options
| author | Joachim Breitner <breitner@kit.edu> | 2014-02-11 17:46:05 +0100 |
|---|---|---|
| committer | Joachim Breitner <breitner@kit.edu> | 2014-02-11 18:13:20 +0100 |
| commit | 5d04603b33d2855657745d15f698664a444f6550 (patch) | |
| tree | 40f8c28dbbb11e822b8d33e27ce2a4ae075af808 | |
| parent | cde88e20a880a5240831c330191610d536e48ccf (diff) | |
| download | haskell-5d04603b33d2855657745d15f698664a444f6550.tar.gz | |
Remove eta-expansion in Rules.match
It validates and nofib shows no change, so possibly dead code. Removing in the
interest of code cleanliness, someone disagrees please revert (and preferably
add a testcase, or at least describe the situation this is important in in a
Note).
| -rw-r--r-- | compiler/specialise/Rules.lhs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/compiler/specialise/Rules.lhs b/compiler/specialise/Rules.lhs index c85bc06990..70fc09a2ef 100644 --- a/compiler/specialise/Rules.lhs +++ b/compiler/specialise/Rules.lhs @@ -681,14 +681,6 @@ match renv subst (Lam x1 e1) e2 , rv_fltR = delBndr (rv_fltR renv) x2 } in match renv' subst e1 e2 --- Eta expansion the other way --- M ~ (\y.N) iff M y ~ N -match renv subst e1 (Lam x2 e2) - = match renv' subst (App e1 (varToCoreExpr new_x)) e2 - where - (rn_env', new_x) = rnEtaR (rv_lcl renv) x2 - renv' = renv { rv_lcl = rn_env' } - match renv subst (Case e1 x1 ty1 alts1) (Case e2 x2 ty2 alts2) = do { subst1 <- match_ty renv subst ty1 ty2 ; subst2 <- match renv subst1 e1 e2 |