Tweak RULEs; fixes #7041
authorIan Lynagh <igloo@earth.li>
Fri, 13 Jul 2012 18:51:08 +0000 (19:51 +0100)
committerIan Lynagh <igloo@earth.li>
Fri, 13 Jul 2012 18:51:08 +0000 (19:51 +0100)
commite5629b9ed80dc906bdd18a53cb1450b56db14b11
tree1d81d9bdc4ba2f9e1985b811842a139784b95b5d
parentf190e2d9af8180864636a6d67b56e6ba3b6d53ba
Tweak RULEs; fixes #7041

In particular, the gcd rule now uses smallInteger rather than S#, which
means that it actually fires.

Also fixed a bug when the result is minBound :: Int.
libraries/integer-gmp/GHC/Integer/Type.lhs