2 Aug
2015
2 Aug
'15
4:58 p.m.
On 2015-07-31 at 08:59, Simon Peyton Jones
Daniel Bergey wrote: | How hard would it be to give a different error message instead of "No | instance ..." when the type variable is ambiguous? I always find this | error slightly misleading, since it seems to me that there are | multiple valid instances, not that there is "no instance".
What would you like it to say? I think it likely we could make it say that!
Great! I'd like it to say "Multiple instances for ..." or "No unique instance for ...". I have a slight preference for the former. Daniel