On 14 Apr 2010, at 09:35, Jonas Almström Duregård wrote: >>> what about these? >>> f,g :: Bool -> Int >>> f x = 6 >>> g x = x `seq` 6 >> >> As pointed out on #haskell by roconnor, we apparently don't care, this is a >> shame... We only care that x == y => f x == g y, and x == y can't tell if >> _|_ == _|_. > > So the facts that > (1) f == g > (2) f undefined = 6 > (3) g undefined = undefined > is not a problem?
Yeh :( Shame, isn't it. Bob_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
