Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Refactor the typechecker to use ExpTypes. | Richard Eisenberg | 2016-01-27 | 1 | -3/+3 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -12/+12 |
* | Rearrange error msgs and add section markers (Trac #11014). | Evan Laforge | 2015-11-24 | 1 | -3/+3 |
* | Error message wibbles from out-of-scope changes | Simon Peyton Jones | 2015-06-26 | 1 | -12/+12 |
* | Improve improvement in the constraint solver | Simon Peyton Jones | 2015-04-29 | 1 | -11/+3 |
* | Major patch to add -fwarn-redundant-constraints | Simon Peyton Jones | 2015-01-06 | 1 | -0/+9 |
* | Add -fdefer-typed-holes flag which defers hole errors to runtime. | Merijn Verstraaten | 2014-11-21 | 1 | -1/+10 |
* | Turn -XTypeHoles into a (on by default) warning | Austin Seipp | 2014-01-14 | 1 | -1/+1 |
* | Move tests from tests/ghc-regress/* to just tests/* | David Terei | 2011-07-20 | 1 | -0/+2 |