projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d2f11ea) | patch
Fix a nasty bug in RULE matching: Trac #4814
authorsimonpj@microsoft.com <unknown>
Thu, 2 Dec 2010 10:26:18 +0000 (10:26 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 2 Dec 2010 10:26:18 +0000 (10:26 +0000)
commitaae915d6743e4c0986625f142df1fbc1384ff8df
tree615f9e97b6a03e26757ef1f4e0892ec8da24d2c3tree | snapshot
parentd2f11ea842a25bebd51d6c0c730a756c1d987e25commit | diff
Fix a nasty bug in RULE matching: Trac #4814

See Note [Matching lets], which explains it all in detail.
It took me a day to think of a nice way to fix the bug,
but I think the result is quite respectable. Subtle, though.
compiler/basicTypes/VarEnv.lhs diff | blob | history
compiler/coreSyn/CoreSubst.lhs diff | blob | history
compiler/specialise/Rules.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)