6 Mar
2008
6 Mar
'08
8:19 p.m.
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