summaryrefslogtreecommitdiff
path: root/libraries/ghc-prim/GHC/Types.hs
Commit message (Expand)AuthorAgeFilesLines
* Specify kind variables for inferred kinds in base.Baldur Blöndal2020-05-081-2/+4
* Modules (#13009)Sylvain Henry2020-04-181-6/+6
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-2/+2
* ghc-prim: Fix documentation of TypeBen Gamari2019-09-271-1/+1
* Add Note [RuntimeRep and PrimRep] in RepTypeRichard Eisenberg2019-07-291-0/+2
* Create {Int,Word}32RepJohn Ericson2019-07-171-0/+2
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-1/+1
* Introduce Int16# and Word16#Abhiroop Sarkar2018-11-171-2/+4
* Add Int8# and Word8#Michal Terepeta2018-11-021-1/+3
* Revert "Add Int8# and Word8#"Ben Gamari2018-10-091-3/+1
* Add Int8# and Word8#Michal Terepeta2018-10-071-1/+3
* Document the list data typeAlec Theriault2018-10-041-4/+24
* Refactor (~) to reduce the suerpclass stackSimon Peyton Jones2018-07-271-0/+6
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-7/+1
* Proper safe coercions paper linkKirill Zaborsky2018-04-171-1/+1
* Don't use "character" in haddocks of CharBen Gamari2017-09-301-1/+1
* Comments only, about Typeable/TypeRep/KindRepSimon Peyton Jones2017-05-041-1/+1
* Type-indexed TypeableBen Gamari2017-02-181-13/+27
* base: Derive Enum, Bounded for VecCount, VecElemBen Gamari2017-02-011-0/+2
* Update levity polymorphismRichard Eisenberg2017-01-191-9/+8
* Fix omission in haddock instance headGabor Greif2016-08-051-1/+1
* Implement unboxed sum primitive typeÖmer Sinan Ağacan2016-07-211-0/+1
* Kill the magic of AnyBen Gamari2016-03-301-1/+20
* Document TypeInType (#11614)Richard Eisenberg2016-03-141-1/+5
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-15/+58
* A few more typos in non-codeGabor Greif2016-02-191-1/+1
* Unwire Typeable representation typesBen Gamari2016-02-181-1/+1
* Rework derivation of type representations for wired-in thingsBen Gamari2016-01-201-12/+0
* Add missing type representationsBen Gamari2016-01-131-0/+8
* Note [The equality types story] in TysPrimRichard Eisenberg2015-12-161-2/+4
* Comments on equality types and classesSimon Peyton Jones2015-12-151-3/+3
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-18/+44
* Generate Typeable info at definition sitesBen Gamari2015-10-301-3/+57
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-57/+3
* Generate Typeable info at definition sitesBen Gamari2015-10-291-3/+57
* Move CallStack back to baseBen Gamari2015-10-021-50/+1
* Use IP based CallStack in error and undefinedEric Seidel2015-09-021-1/+50
* Comments and layout onlySimon Peyton Jones2015-07-211-62/+125
* Refactor tuple constraintsSimon Peyton Jones2015-05-181-1/+1
* Revert multiple commitsAustin Seipp2015-05-141-1/+1
* Refactor tuple constraintsSimon Peyton Jones2015-05-131-1/+1
* Move IP, Symbol, Nat to ghc-primSimon Peyton Jones2015-05-011-0/+8
* Convert `/Since: .../` to new `@since ...` syntaxHerbert Valerio Riedel2014-12-161-1/+1
* catch some recent typosGabor Greif2014-12-081-1/+1
* Comments onlySimon Peyton Jones2014-12-031-4/+8
* Tweak Haddock in GHC.TypesReid Barton2014-08-091-2/+2
* Make FunPtr's role be phantom; add comments.Richard Eisenberg2014-06-111-2/+9
* Export Coercible in GHC.Types (#8894)Joachim Breitner2014-03-161-18/+4
* Refer to the coercible paper in Coercible' docsJoachim Breitner2014-03-141-0/+4
* Better Comment [Kind-changing of (~) and Coercible]Joachim Breitner2014-03-141-1/+11
View Lorry Controller Status