• Simon Peyton Jones's avatar
    Refactor the handling of kind errors · 9a058b17
    Simon Peyton Jones authored
    * Treat kind-equality constraints as *derived* equalities,
      with no evidence.  That is really what they are at the moment.
    * Get rid of EvKindCast and friends.
    * Postpone kind errors properly to the constraint solver
      (lots of small knock-on effects)
    I moved SwapFlag to BasicTypes as well
TcErrors.lhs 49.8 KB