summaryrefslogtreecommitdiff
path: root/compiler/types/Coercion.hs-boot
Commit message (Expand)AuthorAgeFilesLines
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Remove old coercion pretty-printerRichard Eisenberg2017-07-271-3/+0
* Add a couple of HasDebugCallStack contextsSimon Peyton Jones2017-03-291-1/+1
* Generalize kind of the (->) tyconBen Gamari2017-02-181-1/+5
* Move typeSize/coercionSize into TyCoRepSimon Peyton Jones2016-12-211-1/+0
* Kill Type pretty-printerBen Gamari2016-11-131-0/+1
* Have mkCastTy look more closely for reflexivity.Richard Eisenberg2015-12-261-0/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-0/+46