Re: [Haskell-cafe] 0/0 > 1 == False

and there is no such thing as "the same bottom" right ? On Thu, 10 Jan 2008 11:13:05 +0200, Ketil Malde wrote:

"Cristian Baboi" writes:

...

I think it's a bug. Here is why:

let f = (\x -> x/0) in f 0 == f 0

Referential transparency say that f 0 must equal to f 0, but in this case it is not. :-)

I think you are wrong. Referential transparency says that you can replace any occurence of 'f 0' with another expression of the same value, it does not say anything about the behaviour of (==).

-k

________ Information from NOD32 ________ This message was checked by NOD32 Antivirus System for Linux Mail Servers. part000.txt - is OK http://www.eset.com