Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix TcSimplify.decideQuantification for kind variables | Simon Peyton Jones | 2017-03-10 | 1 | -6/+6 |
* | A collection of type-inference refactorings. | Simon Peyton Jones | 2016-10-21 | 1 | -6/+6 |
* | Kill varSetElemsWellScoped in quantifyTyVars | Bartosz Nitka | 2016-04-26 | 1 | -6/+6 |
* | Refactor the typechecker to use ExpTypes. | Richard Eisenberg | 2016-01-27 | 1 | -6/+6 |
* | Visible type application | Richard Eisenberg | 2015-12-24 | 1 | -0/+2 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -14/+14 |
* | Rearrange error msgs and add section markers (Trac #11014). | Evan Laforge | 2015-11-24 | 1 | -4/+4 |
* | Use U+2018 instead of U+201B quote mark in compiler messages | Herbert Valerio Riedel | 2014-02-25 | 1 | -2/+2 |
* | Error message wibbles | Simon Peyton Jones | 2013-09-10 | 1 | -2/+2 |
* | Wibbles to error messages, following the fix for Trac #7851 | Simon Peyton Jones | 2013-04-29 | 1 | -2/+0 |
* | Fix tests after #7848 | Krzysztof Gogolewski | 2013-04-21 | 1 | -1/+1 |
* | Add a test for #7734 | Ian Lynagh | 2013-03-03 | 1 | -0/+18 |