projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fca93fc) | patch
Improve specialisation in SpecConstr
authorsimonpj@microsoft.com <unknown>
Fri, 22 Sep 2006 19:04:36 +0000 (19:04 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 22 Sep 2006 19:04:36 +0000 (19:04 +0000)
commit2c5337d3f05b1cfb70e2fa63818c453cfc09eb42
treec3c571a6c826f921f41fd0afd83644c982ffc512tree | snapshot
parentfca93fc58a8ff4f662d06e089d49f752ed4224cacommit | diff
Improve specialisation in SpecConstr

This patch enables argToPat to look through let expressions

e.g. f (let v = rhs in \y -> ...v...)

Here we can specialise for f (\y -> ...) because the rule-matcher will
look through the let.
compiler/specialise/SpecConstr.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)