RE: Integer -> Int (again)

[Simon Marlow]

> Perhaps we should develop a testing framework to check
> for corner cases like this, catching them before a release.

Check out fptools/ghc/tests/numeric, in particular arith003.hs (which I just
extended to cover these cases).

Indeed we should have a better testing framework though, something that
works for both GHC & Hugs.  Did you have in mind something based on
QuickCheck?

Cheers,
        Simon