summaryrefslogtreecommitdiff
path: root/compiler/prelude/TysWiredIn.hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Implement unboxed sum primitive typeÖmer Sinan Ağacan2016-07-211-8/+113
* Revert "Clean up interaction between name cache and built-in syntax"Ben Gamari2016-07-201-17/+5
* Clean up interaction between name cache and built-in syntaxBen Gamari2016-07-201-31/+43
* IfaceEnv: Only check for built-in OccNames if mod is GHC.TypesBen Gamari2016-07-161-24/+43
* TysWiredIn: Use UniqFM lookup for built-in OccNamesBen Gamari2016-07-101-27/+25
* Axe RecFlag on TyCons.Edward Z. Yang2016-06-301-25/+24
* s/Invisible/Inferred/g s/Visible/Required/gRichard Eisenberg2016-06-251-1/+1
View Lorry Controller Status