projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab497aa) | patch
Match the type of an Id during rule matching
authorsimonpj@microsoft.com <unknown>
Fri, 30 Mar 2007 14:00:33 +0000 (14:00 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 30 Mar 2007 14:00:33 +0000 (14:00 +0000)
commit206b752961b48dcf8943632572b0a4f9c8a0fccc
treed416e3219fb9df869c5e319f47db05b6b7cb53b7tree | snapshot
parentab497aaf3baa5746ab38e959ecf448d4e7c1f155commit | diff
Match the type of an Id during rule matching

Please MERGE to 6.6.1

Consider this RULE
    forall (c::Char->Int) (x::Char).
f (c x) = "RULE FIRED"

Well, this should only match on arguments of the specified type
But we simply weren't checking this condition before.  Now we are.

Test is simplrun008
compiler/specialise/Rules.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)