Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Diagnostic codes: acccept test changes | sheaf | 2022-09-13 | 1 | -1/+1 |
* | Introduce Concrete# for representation polymorphism checks | sheaf | 2021-10-17 | 1 | -1/+1 |
* | More refactoring in TcValidity | Simon Peyton Jones | 2018-07-10 | 1 | -1/+1 |
* | SCC analysis for instances as well as types/classes | Simon Peyton Jones | 2016-04-20 | 1 | -2/+4 |
* | Generate Typeable info at definition sites | Ben Gamari | 2015-10-30 | 1 | -2/+2 |
* | Revert "Generate Typeable info at definition sites" | Ben Gamari | 2015-10-29 | 1 | -2/+2 |
* | Generate Typeable info at definition sites | Ben Gamari | 2015-10-29 | 1 | -2/+2 |
* | Custom `Typeable` solver, that keeps track of kinds. | Iavor S. Diatchki | 2015-03-07 | 1 | -3/+1 |
* | Improve error message for a handwritten Typeable instance | Simon Peyton Jones | 2014-11-04 | 1 | -0/+5 |