summaryrefslogtreecommitdiff
path: root/compiler/GHC
Commit message (Expand)AuthorAgeFilesLines
* Add isInjectiveTyCon check to opt_univ (fixes #19509)Adam Gundry2021-04-141-0/+18
* Prelude: Fix version bound on Bits importPeter Trommler2021-04-141-2/+1
* Always generate ModDetails from ModIfaceMatthew Pickering2021-04-145-190/+73
* Add {lifted,unlifted}DataConKey to pretendNameIsInScope's list of NamesRyan Scott2021-04-131-1/+6
* Make the specialiser handle polymorphic specialisationSimon Peyton Jones2021-04-131-50/+172
* template-haskell: Run TH splices with err_vars from current contextMatthew Pickering2021-04-121-1/+5
* More accurate SrcSpan when reporting redundant constraintsSimon Peyton Jones2021-04-1213-51/+89
* Fix magicDict in ghci (and in the presence of other ticks)Matthew Pickering2021-04-102-2/+7
* Add missing relational constant folding for sized numeric typesJohn Ericson2021-04-101-11/+67
* Allow C-- to scrutinize non-native-size wordsJohn Ericson2021-04-103-10/+17
* Constants: add a note and fix minor doc glitchesSylvain Henry2021-04-102-26/+76
* Read constants header instead of global platformConstantsSylvain Henry2021-04-107-27/+64
* Enhance pretty-printing perfSylvain Henry2021-04-104-58/+136
* Test #19665 as expect_broken, with commentaryRichard Eisenberg2021-04-102-8/+14
* Clarify commentary around the constraint solverRichard Eisenberg2021-04-103-32/+104
* Kick out fewer equalities by thinking harderRichard Eisenberg2021-04-102-27/+44
* Tweak kick-out condition K2b to deal with LHSsRichard Eisenberg2021-04-103-52/+180
* Don't tidy type in pprTypeForUserMatthew Pickering2021-04-091-15/+2
* Avoid repeated zonking and tidying of types in `relevant_bindings`Matthew Pickering2021-04-091-41/+81
* Re-export GHC.Bits from GHC.Prelude with custom shift implementation.Andreas Klebinger2021-04-0938-53/+76
* CoreTidy: handle special cases to preserve more sharing.Sylvain Henry2021-04-091-1/+2
* CoreTidy: enhance strictness noteBen Gamari2021-04-091-5/+15
* Move Iface.Load errors into Iface.Errors moduleAlfredo Di Napoli2021-04-082-320/+340
* Fix #19649 by using filterInScopeM in rnFamEqnRyan Scott2021-04-082-5/+18
* Make sure result of demand analysis is forced promptlyMatthew Pickering2021-04-083-89/+160
* Some extra strictness in Demand.hsMatthew Pickering2021-04-082-3/+13
* Make sure mergeWithKey is inlined and applied strictlyMatthew Pickering2021-04-082-6/+15
* Make updTcRef force the resultMatthew Pickering2021-04-081-2/+1
* Use DmdEnv rather than VarEnv DmdEnvMatthew Pickering2021-04-081-1/+1
* Don't retain reference to whole TcLclEnv in SkolemTVMatthew Pickering2021-04-081-1/+2
* Stop retaining SimplEnvs in unforced UnfoldingsMatthew Pickering2021-04-082-4/+8
* Change foldl' to inline when partially applied (#19534)James Foster2021-04-071-1/+1
* Remove dynamic-by-default (#16782)Sylvain Henry2021-04-071-12/+1
* Make specialisation a bit more aggressiveSimon Peyton Jones2021-04-071-17/+39
* One-Shotify GHC.Utils.Monad.State (#18202)Andreas Klebinger2021-04-051-1/+15
* fix sub-word literals in GHCiLuite Stegeman2021-04-051-9/+26
* Correct warning for deprecated and unrecognised flagsAlfredo Di Napoli2021-04-051-13/+3
* Introduce SevIgnore Severity to suppress warningsAlfredo Di Napoli2021-04-0525-170/+177
* Add special case to stripStgTicksTop for []Matthew Pickering2021-04-051-0/+2
* Implement proposal 403: Lexer cleanupOleg Grenrus2021-04-051-7/+7
* Compute Severity of diagnostics at birthAlfredo Di Napoli2021-04-0123-438/+451
* Add missing axiom exports for CharToNat/NatToCharVladislav Zavialov2021-04-011-0/+2
* Move the EPS into UnitEnvSylvain Henry2021-04-017-18/+18
* Move HPT in UnitEnvSylvain Henry2021-04-018-52/+69
* Move unit DBs in UnitEnvSylvain Henry2021-04-018-31/+47
* Properly initialise UnitEnvSylvain Henry2021-04-012-5/+25
* Encapsulate the EPS IORef in a newtypeSylvain Henry2021-04-017-42/+56
* Data.List specialization to []Oleg Grenrus2021-04-011-1/+4
* Avoid fundep-caused loop in the typecheckerSimon Peyton Jones2021-03-314-47/+140
* EPA : Rename AnnComment to EpaCommentAlan Zimmerman2021-03-314-87/+92
View Lorry Controller Status