summaryrefslogtreecommitdiff
path: root/compiler/types/TyCoRep.hs-boot
Commit message (Expand)AuthorAgeFilesLines
* Coercion Quantificationningning2018-09-151-1/+1
* Refactor coercion ruleningning2018-07-091-0/+3
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-1/+4
* Kill Type pretty-printerBen Gamari2016-11-131-1/+2
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-4/+0
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-1/+2
* Reduce use of instances in hs-boot filesSimon Peyton Jones2016-04-201-4/+7
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-0/+2
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-0/+20