• 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
         confusing)
       - 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
    2a7f4de3
TcErrors.lhs 51.5 KB