• Simon Peyton Jones's avatar
    Further wibbbling to type error message reporting · 2a7f4de3
    Simon Peyton Jones authored
    * We now never report derived-constraint type errors, even
      in the "insolubles".  See Note [Insoluble derived constraints]
      in TcRnTypes.
    * The cec_suppress mechanism in TcErrors is refactored a bit so that:
       - We suppress *all* errors in unreachable code (they can be jolly
       - We no longer suppress *all* non-insoluble errors if there are *any
         insolubles anywhere.  Instead we are a bit more refined.
      See Note [Suppressing error messages] in TcErrors
TcErrors.lhs 51.5 KB