14 Apr
2010
14 Apr
'10
4:38 a.m.
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