summaryrefslogtreecommitdiff
path: root/compiler/prelude/TysWiredIn.hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-81/+86
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-8/+7
* Reduce special-casing for nullary unboxed tupleSimon Peyton Jones2016-05-261-7/+4
* Kill the magic of AnyBen Gamari2016-03-301-0/+87
* Track specified/invisible more carefully.Richard Eisenberg2016-03-211-3/+3
* Fix the name of the Word16ElemRep wired-in dataconmniip2016-03-141-1/+1
* Fix and refactor strict pattern bindingsSimon Peyton Jones2016-02-261-12/+48
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-54/+213
* Unwire Typeable representation typesBen Gamari2016-02-181-61/+1
* Another batch of typo fixes in non-codeGabor Greif2016-02-111-1/+1
* Rework derivation of type representations for wired-in thingsBen Gamari2016-01-201-48/+65
* un-wire-in error, undefined, CallStack, and IPEric Seidel2016-01-181-66/+0
* Add missing type representationsBen Gamari2016-01-131-1/+52
* Visible type applicationRichard Eisenberg2015-12-241-3/+3
View Lorry Controller Status