It seems to me that the behavior for `(fromInteger x)::Int`, where x is an Integer outside Int range, should be the same (in terms of the Haskell report) as that for `y + y`, where y is an Int such that `toInteger y + toInteger y` is outside Int range. I strongly prefer that that behavior _not_ be provision of any normal Int value. It's been a distinct disappointment for me that Haskell allows such operations to produce a result without any indication that a representation fault occurred.
Dean Herington _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
