summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn/should_compile/T10997a.hs
Commit message (Collapse)AuthorAgeFilesLines
* Pattern synonyms: swap provided/requiredSimon Peyton Jones2015-10-281-1/+1
| | | | | | | | | | | | | | 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.
* Zonk properly when checkig pattern synonymsSimon Peyton Jones2015-10-271-0/+11
Fixes Trac #10997 Merge to stable branch