Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove flattening variables | Richard Eisenberg | 2020-12-01 | 1 | -5/+5 |
* | Enable -Wcompat=error in the testsuite | Vladislav Zavialov | 2018-10-15 | 1 | -1/+3 |
* | Another major constraint-solver refactoring | Simon Peyton Jones | 2016-11-25 | 1 | -0/+2 |
* | More typos in comments/docs | Gabor Greif | 2015-12-09 | 1 | -2/+2 |
* | Testsuite error message changes | Simon Peyton Jones | 2014-11-04 | 1 | -0/+44 |
* | Test cases for context stack overflow | Joachim Breitner | 2013-11-20 | 1 | -0/+9 |