[Haskell-cafe] Re: Small displeasure with associated type synonyms

Stefan Holdermans stefan at cs.uu.nl
Thu Mar 6 17:20:04 EST 2008


Tom,

Thanks for your quick answer.

> 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... ;-)

Cheers,

   Stefan


More information about the Haskell-Cafe mailing list