summaryrefslogtreecommitdiff
path: root/compiler/types/CoAxiom.hs
Commit message (Expand)AuthorAgeFilesLines
* More minor comment improvementsRichard Eisenberg2019-01-111-10/+4
* Fix some typos, etc., in comments.Richard Eisenberg2019-01-031-1/+1
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-1/+62
* Comments onlySimon Peyton Jones2018-08-231-0/+2
* Fix performance of flattener patch (#12919)Alexander Vieth2018-03-261-1/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Subtyping for roles in signatures.Edward Z. Yang2017-02-261-0/+3
* Refactor functional dependencies a bitSimon Peyton Jones2016-11-251-5/+5
* Remove Ord (CoAxiom br)Bartosz Nitka2016-06-091-9/+2
* Remove 'deriving Typeable' statementsRyan Scott2016-05-241-7/+3
* Reduce use of instances in hs-boot filesSimon Peyton Jones2016-04-201-3/+4
* Refactoring onlySimon Peyton Jones2015-12-241-6/+11
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-9/+25
* Refactor BranchLists.Richard Eisenberg2015-09-211-100/+64
* Injective type familiesJan Stolarek2015-09-031-5/+13
* Make BranchFlag a new kindGabor Greif2015-08-021-14/+13
* Replace .lhs with .hs in compiler commentsYuri de Wit2015-02-091-1/+1
* Remove redundant constraints in the compiler itself, found by -fwarn-redundan...Simon Peyton Jones2015-01-061-1/+1
* unlit compiler/types/ modulesHerbert Valerio Riedel2014-12-011-0/+532