summaryrefslogtreecommitdiff
path: root/compiler/types/Kind.hs
Commit message (Expand)AuthorAgeFilesLines
* Ensure that coreView/tcView are able to inlineBen Gamari2019-11-131-97/+0
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-1/+1
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-1/+1
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-031-20/+4
* Treat isConstraintKind more consistentlySimon Peyton Jones2018-07-251-30/+1
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-23/+10
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-041-0/+2
* Fix #14869 by being more mindful of Type vs. ConstraintRyan Scott2018-03-211-16/+15
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Remove typeKind from Type.hs-bootSimon Peyton Jones2017-08-241-2/+2
* Fix #13233 by checking for lev-poly primopsRichard Eisenberg2017-05-021-40/+0
* Clean up coreView/tcView.Ben Gamari2017-03-311-4/+13
* Type-indexed TypeableBen Gamari2017-02-181-1/+13
* Update levity polymorphismRichard Eisenberg2017-01-191-10/+30
* Rename RuntimeRepPolymorphism to LevityPolymorphismSimon Peyton Jones2016-11-301-5/+5
* Fix typo in commentSimon Peyton Jones2016-10-271-1/+1
* Allow levity-polymorpic arrowsSimon Peyton Jones2016-10-271-2/+31
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-0/+1
* Comment fixSimon Peyton Jones2016-03-231-1/+1
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-19/+11
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-235/+62
* Injective type familiesJan Stolarek2015-09-031-5/+6
* Replace .lhs with .hs in compiler commentsYuri de Wit2015-02-091-2/+2
* unlit compiler/types/ modulesHerbert Valerio Riedel2014-12-011-0/+301