the overloading of ==

[Tommy Thorn]

Victor M. Gulias wrote/a ecrit/skrev:
> As a naive implementation of "all" and "any", one of my students coped with 
> these definitions:
> 
> any' p xs = [x | x <- xs, p x] /= []
> all' p xs = [x | x <- xs, p x] == xs     

I used to be in favor of the monadic overloading of list operations,
but this example is really shocking.  I note as well that the errors
messages from both Hugs and GHC leaves a lot to be desired.

/Tommy