| Turns out that I need a larger example to trigger the bug. I can
| reliable trigger it using the unordered-containers library. I won't bore
| you with the details. The workaround I need is this:
| 
|     forall x. integerToWord (smallInteger x) = int2Word# x

So why not just add that rule (perhaps with S# rather than smallInteger)?

I don't think I can help without a concrete example, sorry.  (Even then, I 
don't know whether it'll be possible to work around 7.4.2.  It depends on what 
is not working.)

Simon


_______________________________________________
Glasgow-haskell-users mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to