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

[Cristian Baboi]

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>  
wrote:

> "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 (==).
>
> -k




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