[Haskell-cafe] Re: A question about "monad laws"

[Richard A. O'Keefe]

On 15 Feb 2008, at 2:03 am, Wilhelm B. Kloke wrote:
IMHO it is a perfectly good idea to use the FP processor for integer
> computations. You can use the Inexact Trap as Overflow Exception,
> a service you don't get from i386 (and most other) hardware for int
> operations.

A neat idea.  However, the i386 has the INTO instruction, the SPARC  
family
has the TRAPV instruction, and other processors have analogues.  Some  
machines
have two sets of add/subtract instructions, one trapping, one not.