• Simon Peyton Jones's avatar
    Pattern synonyms: swap provided/required · 04b0a73a
    Simon Peyton Jones authored
    This patch swaps the order of provided and required constraints in
    a pattern signature, so it now goes
    
          pattern P :: req => prov => t1 -> ... tn -> res_ty
    
    See the long discussion in Trac #10928.
    
    I think I have found all the places, but I could have missed something
    particularly in comments.
    
    There is a Haddock changes; so a submodule update.
    04b0a73a
TcPat.hs 51.2 KB