[Haskell-cafe] 0/0 > 1 == False
cristi at ot.onrc.ro
Thu Jan 10 04:18:20 EST 2008
and there is no such thing as "the same bottom" right ?
On Thu, 10 Jan 2008 11:13:05 +0200, Ketil Malde <ketil+haskell at ii.uib.no>
> "Cristian Baboi" <cristi at ot.onrc.ro> 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 (==).
________ Information from NOD32 ________
This message was checked by NOD32 Antivirus System for Linux Mail Servers.
part000.txt - is OK
More information about the Haskell-Cafe