Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Correct a few mistyped words in prose/comments | Gabor Greif | 2016-07-22 | 1 | -1/+1 |
* | Warn about simplifiable class constraints | Simon Peyton Jones | 2016-04-22 | 1 | -2/+3 |
* | Major patch to add -fwarn-redundant-constraints | Simon Peyton Jones | 2015-01-06 | 1 | -0/+1 |
* | Complete work on new OVERLAPPABLE/OVERLAPPING pragmas (Trac #9242) | Simon Peyton Jones | 2014-07-31 | 1 | -7/+7 |
* | Following up from the last commit in the constraint solver. | Dimitrios.Vytiniotis | 2012-04-05 | 1 | -0/+37 |