Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Simple subsumptionwip/T17775 | Simon Peyton Jones | 2020-06-05 | 1 | -1/+1 |
* | Fix TcSimplify.decideQuantification for kind variables | Simon Peyton Jones | 2017-03-10 | 1 | -1/+1 |
* | Kill varSetElemsWellScoped in quantifyTyVars | Bartosz Nitka | 2016-04-26 | 1 | -1/+1 |
* | Visible type application | Richard Eisenberg | 2015-12-24 | 1 | -2/+2 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -4/+4 |
* | Error message wibbles from out-of-scope changes | Simon Peyton Jones | 2015-06-26 | 1 | -4/+4 |
* | Re-export `<$>` from Prelude (#10113) | Herbert Valerio Riedel | 2015-03-07 | 1 | -1/+1 |
* | Make Applicative a superclass of Monad | Austin Seipp | 2014-09-09 | 1 | -1/+3 |
* | Use U+2018 instead of U+201B quote mark in compiler messages | Herbert Valerio Riedel | 2014-02-25 | 1 | -1/+1 |
* | Update outputs following the unicode quote change in GHC's output | Ian Lynagh | 2013-02-24 | 1 | -1/+1 |
* | Move tests from tests/ghc-regress/* to just tests/* | David Terei | 2011-07-20 | 1 | -0/+2 |