Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improve skolemisation | Simon Peyton Jones | 2020-02-01 | 1 | -4/+4 |
* | Add location to the extra-constraints wildcard | Simon Peyton Jones | 2019-03-16 | 1 | -4/+4 |
* | Visible kind application | mynguyen | 2019-01-03 | 1 | -4/+4 |
* | Enable -Wcompat=error in the testsuite | Vladislav Zavialov | 2018-10-15 | 1 | -9/+9 |
* | Minimise provided dictionaries in pattern synonyms | Simon Peyton Jones | 2017-11-08 | 1 | -4/+4 |
* | Yet more work on TcSimplify.simplifyInfer | Simon Peyton Jones | 2017-04-13 | 1 | -0/+31 |