Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Kill derived constraints | Richard Eisenberg | 2022-02-23 | 1 | -0/+4 |
* | Modules: type-checker (#13009) | Sylvain Henry | 2020-04-07 | 1 | -1/+1 |
* | Testsuite: tabs -> spaces [skip ci] | Thomas Miedema | 2016-06-20 | 1 | -6/+6 |
* | 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/+36 |