[Haskell-cafe] Re: Small displeasure with associated type synonyms
Manuel M T Chakravarty
chak at cse.unsw.edu.au
Thu Mar 6 20:19:27 EST 2008
>> The problem is ambiguity. The type checker can't determine which
>> val function to use, i.e. which dictionary to pass to val.
> I see. Still, maybe a type-error message in terms of good old
> "unresolved top-level overloading" would be a bit more useful
> here... ;-)
I agree the error message is appalling. Could you put this as a bug
in the bug tracker?
More information about the Haskell-Cafe