summaryrefslogtreecommitdiff
path: root/compiler/prelude/TysWiredIn.hs
Commit message (Expand)AuthorAgeFilesLines
* Add Note [RuntimeRep and PrimRep] in RepTypeRichard Eisenberg2019-07-291-0/+6
* Create {Int,Word}32RepJohn Ericson2019-07-171-20/+29
* Replace nOfThem by replicateKrzysztof Gogolewski2019-03-191-3/+3
* Visible dependent quantificationRyan Scott2019-03-011-1/+0
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-11/+28
* Use ByteString to represent Cmm string literals (#16198)Sylvain Henry2019-01-311-1/+1
* Minor refactor [ci skip]Gabor Greif2019-01-231-1/+1
* Introduce Int16# and Word16#Abhiroop Sarkar2018-11-171-6/+9
* Add Int8# and Word8#Michal Terepeta2018-11-021-11/+22
* Add RubbishLit for absent bindings of UnliftedRepSebastian Graf2018-10-141-1/+1
* Revert "Add Int8# and Word8#"Ben Gamari2018-10-091-22/+11
* Add Int8# and Word8#Michal Terepeta2018-10-071-11/+22
* Improve generated `GHC.Prim` docsAlec Theriault2018-10-041-0/+3
* Don't show constraint tuples in errors (#14907)Alec Theriault2018-09-251-0/+14
* Coercion Quantificationningning2018-09-151-5/+5
* Refactor (~) to reduce the suerpclass stackSimon Peyton Jones2018-07-271-20/+52
* More refactoring in TcValiditySimon Peyton Jones2018-07-101-1/+1
* Built-in Natural literals in CoreSylvain Henry2018-06-151-3/+3
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-21/+3
* Fix #15214 by listing (~) in isBuiltInOcc_maybeRyan Scott2018-06-021-0/+3
* vectorise: Put it out of its miseryBen Gamari2018-06-021-88/+1
* Lift constructor tag allocation out of a loopBartosz Nitka2018-01-101-1/+9
* Cache the number of data cons in DataTyCon and SumTyConBartosz Nitka2018-01-041-35/+30
* Rename HEq_sc and Coercible_sc to heq_sel and coercible_selMatthew Pickering2018-01-021-2/+2
* Imrpove comments about equality typesSimon Peyton Jones2017-11-081-1/+1
* Track the order of user-written tyvars in DataConRyan Scott2017-10-031-7/+12
* Deal with large extra-contraints wildcardsSimon Peyton Jones2017-09-251-3/+4
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Small refactor of getRuntimeRepSimon Peyton Jones2017-08-291-2/+2
* Drop GHC 7.10 compatibilityRyan Scott2017-08-011-18/+5
* Make ':info Coercible' display an arbitrary string (fixes #12390)Patrick Dougherty2017-07-111-1/+1
* A few typos [ci skip]Gabor Greif2017-06-021-1/+1
* Disable Typeable binding generation for unboxed sumsBen Gamari2017-02-181-2/+5
* Type-indexed TypeableBen Gamari2017-02-181-2/+2
* Typos [ci skip]Gabor Greif2017-02-151-1/+1
* base: Derive Enum, Bounded for VecCount, VecElemBen Gamari2017-02-011-2/+2
* Update levity polymorphismRichard Eisenberg2017-01-191-54/+131
* Float unboxed expressions by boxingSimon Peyton Jones2016-12-231-0/+28
* Introduce unboxedSum{Data,Type}Name to template-haskellRyan Scott2016-12-181-1/+1
* Make unboxedTuple{Type,Data}Name support 0- and 1-tuplesRyan Scott2016-12-151-0/+1
* Revert "Float unboxed expressions by boxing"Ben Gamari2016-12-131-28/+0
* Float unboxed expressions by boxingSimon Peyton Jones2016-12-121-0/+28
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-12/+18
* Kill Type pretty-printerBen Gamari2016-11-131-2/+5
* Take account of injectivity when doing fundepsSimon Peyton Jones2016-11-041-0/+5
* Refactor occurrence-check logicSimon Peyton Jones2016-10-211-3/+3
* Clean up handling of known-key Names in interface filesBen Gamari2016-10-131-15/+61
* TysWiredIn: Use dataConWorkerUnique instead of incrUniqueBen Gamari2016-08-311-2/+2
* Fix and document Unique generation for sum TyCon and DataConsÖmer Sinan Ağacan2016-07-211-4/+15
* Comments onlySimon Peyton Jones2016-07-211-9/+19