Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix TcSimplify.decideQuantification for kind variables | Simon Peyton Jones | 2017-03-10 | 1 | -4/+4 |
* | Kill varSetElemsWellScoped in quantifyTyVars | Bartosz Nitka | 2016-04-26 | 1 | -4/+4 |
* | Refactor the typechecker to use ExpTypes. | Richard Eisenberg | 2016-01-27 | 1 | -17/+16 |
* | Visible type application | Richard Eisenberg | 2015-12-24 | 1 | -26/+30 |
* | Rearrange error msgs and add section markers (Trac #11014). | Evan Laforge | 2015-11-24 | 1 | -8/+8 |
* | Switch off lazy flattening (fix Trac #3064) | Simon Peyton Jones | 2014-11-06 | 1 | -13/+28 |
* | Testsuite error message changes | Simon Peyton Jones | 2014-11-04 | 1 | -35/+13 |
* | Two improved error messages | Simon Peyton Jones | 2014-09-26 | 1 | -0/+19 |
* | Test Trac #8518 | Simon Peyton Jones | 2013-11-12 | 1 | -0/+16 |