Changes between Initial Version and Version 1 of Ticket #8567, comment 1


Ignore:
Timestamp:
Nov 28, 2013 12:11:55 PM (21 months ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #8567, comment 1

    initial v1  
    1 There are two parts to this:
     1There are several parts to this:
    22
    33* 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`.