summaryrefslogtreecommitdiff
path: root/compiler/types/OptCoercion.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix #11232.Richard Eisenberg2015-12-171-17/+20
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-195/+373
* Injective type familiesJan Stolarek2015-09-031-2/+2
* Refactor handling of decomposition.Richard Eisenberg2015-06-161-1/+1
* Replace .lhs with .hs in compiler commentsYuri de Wit2015-02-091-1/+1
* Add a provenance field to universal coercions.Iavor S. Diatchki2014-12-171-10/+10
* unlit compiler/types/ modulesHerbert Valerio Riedel2014-12-011-0/+741