Re: [Haskell-cafe] Prolog-style patterns

Hi Roman,

One issue with it in Haskell is that it'd lead to inconsistent semantics:

myEq x x = True

is not the same as

myEq x y = case y of x -> True

I don't think that it's inconsistent, because the 'case' defines a new name scope, like the function does for its arguments. Otherwise you would also expect a different behavior for: x = 2 myEq x x = True Greetings, Daniel