Tell built-in rules the Id that the rule has matched
authorIan Lynagh <igloo@earth.li>
Wed, 6 Jun 2012 18:26:01 +0000 (19:26 +0100)
committerIan Lynagh <igloo@earth.li>
Wed, 6 Jun 2012 18:26:01 +0000 (19:26 +0100)
commitc7c44288b9c6d9ba311f2b7a09e80882eb93cfc9
tree47fafa7c4f5136273ff5748c0d90a95fe7397628
parentfa3449e9eb0bd363b90d65b2a7c229b2f6d5919d
Tell built-in rules the Id that the rule has matched

This will let us get at the types of the Id, which in particular means
that for a rule for
    intToInteger :: Int# -> Integer
we can get the "Integer" type, which we can use to build an Integer
literal.
compiler/basicTypes/MkId.lhs
compiler/coreSyn/CoreSyn.lhs
compiler/prelude/PrelRules.lhs
compiler/specialise/Rules.lhs