Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Pattern synonyms: swap provided/required | Simon Peyton Jones | 2015-10-28 | 1 | -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 synonyms | Simon Peyton Jones | 2015-10-27 | 1 | -0/+11 |
Fixes Trac #10997 Merge to stable branch |