Changes between Initial Version and Version 1 of Ticket #8567, comment 1
- Nov 28, 2013 12:11:55 PM (3 years ago)
initial v1 1 There are twoparts to this: 1 There are parts to this: 2 2 3 3 * It would be dead easy to generate a better error message for an unsolved constraint `Coerce Int Bool`. Rather than generating a generic type-class error message, it'd be easy to produce a message about the inability to coerce `Int` to `Bool`. Error messages are generated by `TcErrors`. We already generate special error messages for implicit parameters, which are already type-class constraints; `?x:Int` is short for `IP "x" Int`.