and there is no such thing as "the same bottom" right ?
On Thu, 10 Jan 2008 11:13:05 +0200, Ketil Malde <[EMAIL PROTECTED]>
wrote:
"Cristian Baboi" <[EMAIL PROTECTED]> 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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
