summaryrefslogtreecommitdiff
path: root/compiler/GHC
Commit message (Expand)AuthorAgeFilesLines
* Use mutable update to defer out-of-scope errorsRichard Eisenberg2020-12-2513-52/+99
* Use `hscFrontendHook` againJohn Ericson2020-12-241-2/+5
* Refactor renamer datastructuresAdam Gundry2020-12-2444-729/+1019
* Require ScopedTypeVariables+TypeApplications to use type applications in patt...Ryan Scott2020-12-241-1/+16
* Clone the binders of a SAKS where necessarySimon Peyton Jones2020-12-243-28/+37
* Support package qualifier in Prelude importSylvain Henry2020-12-231-5/+9
* WorkWrap: Unbox constructors with existentials (#18982)Sebastian Graf2020-12-2310-225/+219
* DmdAnal: Keep alive RULE vars in LetUp (#18971)Sebastian Graf2020-12-233-85/+67
* Fix another haddock parse errorMatthew Pickering2020-12-221-1/+1
* Fix Haddock parse error in GHC.Parser.PostProcess.HaddockMatthew Pickering2020-12-201-2/+2
* Fix printing in -ddump-rule-rewrites (#18668)Krzysztof Gogolewski2020-12-201-1/+2
* Kill floatEqualities completelySimon Peyton Jones2020-12-2014-933/+933
* Improve inference with linear typesKrzysztof Gogolewski2020-12-201-6/+7
* Add two warnings to -WallTom Ellis2020-12-191-1/+3
* Make noinline more reliableSimon Peyton Jones2020-12-193-11/+39
* Quick Look: zonk result typeSimon Peyton Jones2020-12-192-19/+72
* Cite "Kind Inference for Datatypes"Richard Eisenberg2020-12-181-0/+3
* primops: Document semantics of Float/Int conversionsBen Gamari2020-12-181-0/+12
* Fix #19044 by tweaking unification in inst lookupRichard Eisenberg2020-12-182-52/+132
* Rename parser Error and Warning typesAlfredo Di Napoli2020-12-1811-352/+353
* Split Driver.Env moduleAlfredo Di Napoli2020-12-182-134/+153
* Use HsOuterExplicit in instance sigs in deriving-generated codeRyan Scott2020-12-186-44/+185
* Unfortunate dirty hack to overcome #18998.Richard Eisenberg2020-12-171-1/+33
* Reject dodgy scoping in associated family instance RHSesRyan Scott2020-12-171-69/+179
* Force module recompilation if '*' prefix was used to load modules in ghci (#8...nineonine2020-12-171-3/+10
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-1513-304/+107
* Implement BoxedRep proposalAndrew Martin2020-12-1413-107/+304
* Optimise nullary type constructor usagewip/tyconapp-optsBen Gamari2020-12-1411-53/+193
* Optimize dumping of consecutive whitespace.wip/andreask/opt_dumpsAndreas Klebinger2020-12-145-19/+65
* Move Unit related fields from DynFlags to HscEnvSylvain Henry2020-12-1446-1131/+1200
* Revert "Optimise nullary type constructor usage"Ben Gamari2020-12-1411-193/+53
* Optimise nullary type constructor usageBen Gamari2020-12-1411-53/+193
* Implement type applications in patternsCale Gibbard2020-12-1431-171/+404
* Demand: Simplify `CU(U)` to `U` (#19005)Sebastian Graf2020-12-122-28/+40
* DmdAnal: Annotate top-level function bindings with demands (#18894)Sebastian Graf2020-12-1210-155/+294
* Move SizedSeq into ghc-bootSylvain Henry2020-12-113-5/+4
* Parser: move parser utils into their own moduleSylvain Henry2020-12-112-58/+58
* Arrows: correctly query arrow methods (#17423)Sylvain Henry2020-12-111-12/+16
* Delete outdated Note [Kind-checking tyvar binders for associated types]Ryan Scott2020-12-112-24/+0
* Display FFI labels (fix #18539)Sylvain Henry2020-12-111-7/+9
* GHC.Cmm.Opt: Be stricter in results.Andreas Klebinger2020-12-081-51/+51
* Cmm.Sink: Optimize retaining of assignments, live sets.Andreas Klebinger2020-12-084-52/+173
* Cmm: Make a few types and utility function slightly stricter.Andreas Klebinger2020-12-082-9/+11
* CmmSink: Force inlining of foldRegsDefdAndreas Klebinger2020-12-081-6/+45
* CodeGen: Make folds User/DefinerOfRegs INLINEABLE.Andreas Klebinger2020-12-082-0/+7
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-085-197/+384
* Fix bad span calculations of post qualified importsShayne Fletcher2020-12-051-8/+15
* Rename the flattener to become the rewriter.Richard Eisenberg2020-12-0115-491/+458
* Remove flattening variablesRichard Eisenberg2020-12-0141-3570/+3078
* Move core flattening algorithm to Core.UnifyRichard Eisenberg2020-12-0115-691/+728