Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Allow scoped type variables refer to types | Joachim Breitner | 2018-08-05 | 1 | -106/+0 |
* | Embrace -XTypeInType, add -XStarIsType | Vladislav Zavialov | 2018-06-14 | 1 | -1/+3 |
* | Another major constraint-solver refactoring | Simon Peyton Jones | 2016-11-25 | 1 | -7/+21 |
* | Testsuite error message changes | Simon Peyton Jones | 2014-11-04 | 1 | -1/+1 |
* | Fix a failing test. | Iavor S. Diatchki | 2013-10-03 | 1 | -2/+2 |
* | Updates to support closed type families. | Richard Eisenberg | 2013-06-21 | 1 | -6/+3 |
* | Test Trac #7786 | Simon Peyton Jones | 2013-04-22 | 1 | -0/+93 |