Skip to content
  • Simon Peyton Jones's avatar
    Add a pattern-syn form of PromotionErr · c069be81
    Simon Peyton Jones authored
    The main change is to add PatSynPE to PromotionErr, so that
    when we get an ill-staged use of a pattern synonym we get a
    civilised error message.
    
    We were already doing this in half-baked form in tcValBinds, but
    this patch tidies up the impl (which previously used a hack rather
    than APromotionErr), and does it in tcTyClsInstDecls too.
    c069be81