Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix typos: alpah -> alpha | Bartosz Nitka | 2016-04-22 | 1 | -2/+2 |
* | Fix a number of subtle solver bugs | Simon Peyton Jones | 2016-01-16 | 1 | -0/+44 |
* | Testsuite error message changes | Simon Peyton Jones | 2014-11-04 | 1 | -1/+9 |
* | Complete work on new OVERLAPPABLE/OVERLAPPING pragmas (Trac #9242) | Simon Peyton Jones | 2014-07-31 | 1 | -1/+1 |
* | Validate inferred theta. Fixes #8883 | Jan Stolarek | 2014-04-19 | 1 | -1/+1 |
* | Move tests from tests/ghc-regress/* to just tests/* | David Terei | 2011-07-20 | 1 | -0/+120 |