summaryrefslogtreecommitdiff
path: root/compiler/prelude/TysWiredIn.hs-boot
Commit message (Expand)AuthorAgeFilesLines
* Checkpoint after renamingwip/t11715Richard Eisenberg2017-01-301-0/+1
* Checkpoint. Stage 2 compiles + works.Richard Eisenberg2017-01-301-1/+2
* Work toward adding new `Visibility` parameter.Richard Eisenberg2017-01-301-2/+4
* Update levity polymorphismRichard Eisenberg2017-01-191-4/+5
* Kill Type pretty-printerBen Gamari2016-11-131-1/+1
* Implement unboxed sum primitive typeÖmer Sinan Ağacan2016-07-211-0/+2
* s/Invisible/Inferred/g s/Visible/Required/gRichard Eisenberg2016-06-251-2/+2
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-0/+4
* Default RuntimeRep variables unless -fprint-explicit-runtime-repsBen Gamari2016-03-241-0/+1
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-3/+19
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-3/+7
* Major Overhaul of Pattern Match Checking (Fixes #595)George Karachalias2015-12-031-1/+1
* compiler: de-lhs prelude/Austin Seipp2014-12-031-0/+9
View Lorry Controller Status