"Ch. A. Herrmann" <[EMAIL PROTECTED]> writes:

> that's true, of course. Furthermore, aside from "x==x", optimizations 
> could deal with "x-x", "x && (not x)" and many other expressions.
> 
> Concerning "safety". As far as I can see there is only a single reason:
> Partially correct programs terminate more often. Doesn't
> that meet the philosophy behind laziness?

If you're using ghc extensions, you could be relying on an exception
thrown by x==x.

Carl Witty

Reply via email to