summaryrefslogtreecommitdiff
path: root/compiler/prelude/TysPrim.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix #16293 by cleaning up Proxy# infelicitiesRyan Scott2019-02-121-5/+5
* Minor refactor [ci skip]Gabor Greif2019-01-231-4/+4
* Warn on all out-of-range literals in pats/exprsAlec Theriault2018-12-031-8/+8
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-8/+11
* Introduce Int16# and Word16#Abhiroop Sarkar2018-11-171-1/+21
* Add Int8# and Word8#Michal Terepeta2018-11-021-3/+23
* Add RubbishLit for absent bindings of UnliftedRepSebastian Graf2018-10-141-0/+13
* Revert "Add Int8# and Word8#"Ben Gamari2018-10-091-23/+3
* Add Int8# and Word8#Michal Terepeta2018-10-071-3/+23
* Stable name type roleDavid Feuer2018-10-041-1/+1
* Coercion Quantificationningning2018-09-151-4/+4
* Refactor (~) to reduce the suerpclass stackSimon Peyton Jones2018-07-271-11/+14
* Fix #15236 by removing parentheses from funTyConNameRyan Scott2018-06-071-1/+1
* Don't expose (~#), (~R#), (~P#) from GHC.PrimRyan Scott2018-06-071-5/+17
* Imrpove comments about equality typesSimon Peyton Jones2017-11-081-11/+14
* Omit Typeable from the "naturally coherent" listSimon Peyton Jones2017-09-261-16/+15
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Spelling in comments only [ci skip]Gabor Greif2017-03-281-1/+1
* Generalize kind of the (->) tyconBen Gamari2017-02-181-13/+14
* Tweaks and typos in manual, note refs, commentsGabor Greif2017-02-091-1/+1
* Update levity polymorphismRichard Eisenberg2017-01-191-93/+77
* Float unboxed expressions by boxingSimon Peyton Jones2016-12-231-6/+6
* Revert "Float unboxed expressions by boxing"Ben Gamari2016-12-131-6/+6
* Float unboxed expressions by boxingSimon Peyton Jones2016-12-121-6/+6
* Refactor occurrence-check logicSimon Peyton Jones2016-10-211-0/+2
* Comments onlySimon Peyton Jones2016-07-211-39/+88
* Compact RegionsGiovanni Campagna2016-07-201-1/+18
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-58/+104
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-7/+7
* Kill the magic of AnyBen Gamari2016-03-301-81/+0
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-74/+118
* Rework derivation of type representations for wired-in thingsBen Gamari2016-01-201-2/+2
* Visible type applicationRichard Eisenberg2015-12-241-8/+8
* Comments onlySimon Peyton Jones2015-12-181-11/+27
* Note [The equality types story] in TysPrimRichard Eisenberg2015-12-161-11/+139
* Comments on equality types and classesSimon Peyton Jones2015-12-151-25/+32
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-131/+114
* Generate Typeable info at definition sitesBen Gamari2015-10-301-13/+25
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-25/+13
* Generate Typeable info at definition sitesBen Gamari2015-10-291-13/+25
* Injective type familiesJan Stolarek2015-09-031-1/+2
* Use IP based CallStack in error and undefinedEric Seidel2015-09-021-13/+16
* Permit empty closed type familiesAdam Gundry2015-05-041-1/+1
* Comments about AnyKSimon Peyton Jones2015-04-091-4/+8
* GHC.Prim.Constraint is not built-in syntaxSimon Peyton Jones2015-04-071-14/+17
* Replace .lhs with .hs in compiler commentsYuri de Wit2015-02-091-2/+2
* compiler: de-lhs prelude/Austin Seipp2014-12-031-0/+784