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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
