Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix #14719 by using the setting the right SrcSpan | Ryan Scott | 2018-01-26 | 1 | -2/+2 |
* | Some tidying up of type pretty-printing | Simon Peyton Jones | 2017-05-26 | 1 | -2/+2 |
* | Another major constraint-solver refactoring | Simon Peyton Jones | 2016-11-25 | 1 | -3/+3 |
* | Take account of kinds in promoteTcType | Simon Peyton Jones | 2016-10-24 | 1 | -2/+0 |
* | Make equality print better. (#11712) | Richard Eisenberg | 2016-03-21 | 1 | -2/+2 |
* | Testsuite wibbles from previous commits. | Richard Eisenberg | 2016-03-14 | 1 | -1/+1 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -16/+16 |
* | Refactor treatment of wildcards | Simon Peyton Jones | 2015-12-01 | 1 | -10/+5 |
* | Create a deterministic version of tyVarsOfType | Bartosz Nitka | 2015-11-21 | 1 | -24/+24 |
* | Report arity errors correctly despite kinds | Simon Peyton Jones | 2015-06-18 | 1 | -24/+24 |
* | Print singleton consraints without parens | Simon Peyton Jones | 2015-01-06 | 1 | -1/+1 |
* | Trac #9222 is actually an ambiguous type, now detected | Simon Peyton Jones | 2014-11-21 | 1 | -0/+24 |