Stefan Holdermans:
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?

Thanks,
Manuel

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to