summaryrefslogtreecommitdiff
path: root/compiler/prelude/TysWiredIn.hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Refactoring onlySimon Peyton Jones2015-12-241-2/+2
* Fix super-class cycle checkSimon Peyton Jones2015-12-231-0/+1
* Encode strictness in GHC generics metadataRyanGlScott2015-12-211-1/+7
* Note [The equality types story] in TysPrimRichard Eisenberg2015-12-161-30/+1
* Narrow scope of special-case for unqualified printing of names in core librariesBen Gamari2015-12-151-1/+2
* Comments on equality types and classesSimon Peyton Jones2015-12-151-4/+46
* TysWiredIn: Fix a comment - Note [TYPE] is in TysPrimÖmer Sinan Ağacan2015-12-141-1/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-170/+226
* Generate Typeable info at definition sitesBen Gamari2015-10-301-19/+36
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-36/+19
* Generate Typeable info at definition sitesBen Gamari2015-10-291-19/+36
* Record pattern synonymsMatthew Pickering2015-10-291-1/+1
* Injective type familiesJan Stolarek2015-09-031-6/+32
* Use IP based CallStack in error and undefinedEric Seidel2015-09-021-4/+70
* TysWiredIn: Shuffle code aroundBen Gamari2015-08-271-73/+71
View Lorry Controller Status