diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2014-02-11 10:42:50 +0000 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2014-02-11 15:36:25 +0000 |
| commit | a27b2985511800fa3b740fef82ad3da9c8683302 (patch) | |
| tree | ae2e0594e23d90ca682e3674e66f2fe837f62620 /compiler/codeGen | |
| parent | 377672ae068f6dbfa0354dfab95f41bdd26b0df4 (diff) | |
| download | haskell-a27b2985511800fa3b740fef82ad3da9c8683302.tar.gz | |
Use exprIsLambda_maybe in match
when matching a lambda in the template against an expression. When
matching, look through coercions (only for value lambdas for now), and
look through currently active unfoldings, if these are undersaturated,
i.e. produce a lambda.
This replaces the existing, somewhat fishy eta-expansion.
Diffstat (limited to 'compiler/codeGen')
0 files changed, 0 insertions, 0 deletions