Simon PJ:
: How about this? Don't say Santa never comes:
:
: Foo.hs:5:
: Ambiguous type variable(s) `a' in the constraint `Eq a'
: arising from use of `==' at Foo.hs:5
: In the first argument of `&&', namely `(b == b)'
: In a guard for an equation for `example': (b == b) && (a == a)
Santa came a few months before Christmas,but it's nice
to receive presents before one actually deserves them.
I think is's a great improvement from a user's point of view.
It'll really make (my) life easier especially since I always
(like some other people in this thread) implement a module as
a whole and then start compiling/debugging.
Will it also output something like:
: Foo.hs:5:
: Ambiguous type variable(s) `a' in the constraint `Eq a'
: arising from use of `==' at Foo.hs:5
: In the first argument of `==', namely `b'
: In a guard for an equation for `example': (b == a)'
If there were a constraint `Eq' on `b' but not on `a' ?
Yours,
Marc [Thanks a Mille] van Dongen
