[Haskell-cafe] Prolog-style patterns

[Daniel Trstenjak]

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