• 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
    9a058b17
TcTyClsDecls.lhs 76.8 KB