Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | More refactoring in TcValidity | Simon Peyton Jones | 2018-07-10 | 1 | -1/+1 |
* | Type-indexed Typeable | Ben Gamari | 2017-02-18 | 1 | -1/+1 |
* | SCC analysis for instances as well as types/classes | Simon Peyton Jones | 2016-04-20 | 1 | -2/+3 |
* | 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 |
* | Testsuite error message changes | Simon Peyton Jones | 2014-11-04 | 1 | -4/+5 |
* | Error message wibbles, | unknown | 2013-10-01 | 1 | -4/+4 |
* | Add test for #8132 | Jose Pedro Magalhaes | 2013-09-04 | 1 | -0/+4 |