Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Diagnostic codes: acccept test changes | sheaf | 2022-09-13 | 1 | -3/+3 |
* | Print constraints in quotes (#21167) | Swann Moreau | 2022-08-19 | 1 | -3/+3 |
* | Improve handling of overloaded labels, literals, lists etcwip/T19154 | Simon Peyton Jones | 2021-02-19 | 1 | -1/+1 |
* | Improve error messages for skolems | Simon Peyton Jones | 2017-03-10 | 1 | -1/+1 |
* | Implement HasField constraint solving and modify OverloadedLabels | Adam Gundry | 2017-02-14 | 1 | -15/+6 |
* | Kill varSetElems in tidyFreeTyCoVars | Bartosz Nitka | 2016-05-18 | 1 | -23/+23 |
* | Refactor treatment of wildcards | Simon Peyton Jones | 2015-12-01 | 1 | -1/+1 |
* | Implement OverloadedLabels | Adam Gundry | 2015-11-17 | 1 | -0/+31 |