Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Coercion Quantification | ningning | 2018-09-15 | 1 | -1/+1 |
* | Refactor coercion rule | ningning | 2018-07-09 | 1 | -0/+3 |
* | Track type variable scope more carefully. | Richard Eisenberg | 2018-03-31 | 1 | -1/+4 |
* | Kill Type pretty-printer | Ben Gamari | 2016-11-13 | 1 | -1/+2 |
* | Major patch to introduce TyConBinder | Simon Peyton Jones | 2016-06-15 | 1 | -4/+0 |
* | Re-add FunTy (big patch) | Simon Peyton Jones | 2016-06-15 | 1 | -1/+2 |
* | Reduce use of instances in hs-boot files | Simon Peyton Jones | 2016-04-20 | 1 | -4/+7 |
* | Address #11471 by putting RuntimeRep in kinds.wip/runtime-rep | Richard Eisenberg | 2016-02-24 | 1 | -0/+2 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -0/+20 |