Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Major refactor in the handling of equality constraints | Simon Peyton Jones | 2023-04-14 | 1 | -1/+1 |
* | Print unticked promoted data constructors (#20531) | Vladislav Zavialov | 2022-11-25 | 1 | -6/+6 |
* | Diagnostic codes: acccept test changes | sheaf | 2022-09-13 | 1 | -1/+1 |
* | Print constraints in quotes (#21167) | Swann Moreau | 2022-08-19 | 1 | -1/+1 |
* | Use diagnostic infrastructure in GHC.Tc.Errors | sheaf | 2022-01-17 | 1 | -1/+1 |
* | Use GHC2021 as default language | Joachim Breitner | 2021-03-10 | 1 | -6/+6 |
* | Do eager instantation in terms | Simon Peyton Jones | 2020-04-22 | 1 | -1/+1 |
* | Always display inferred variables using braces | Krzysztof Gogolewski | 2020-02-12 | 1 | -1/+1 |
* | Fix #15308 by suppressing invisble args more rigorously | Ryan Scott | 2018-07-05 | 1 | -8/+4 |
* | Fix #13819 by refactoring TypeEqOrigin.uo_thing | Richard Eisenberg | 2017-07-27 | 1 | -0/+6 |
* | Improve pretty-printing of types | Simon Peyton Jones | 2017-02-28 | 1 | -8/+7 |
* | Revert "Remove unnecessary isTyVar tests in TcType" | Ryan Scott | 2017-01-22 | 1 | -0/+26 |