summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core
Commit message (Expand)AuthorAgeFilesLines
* constant folding: Make shiftRule for Word8/16/32# types return correct typeMatthew Pickering2021-05-191-6/+6
* Make setBndrsDemandInfo work with only type variablesMatthew Pickering2021-05-191-4/+4
* CPR: Detect constructed products in `runRW#` apps (#19822)Sebastian Graf2021-05-191-23/+43
* Remove transitive information about modules and packages from interface filesMatthew Pickering2021-05-192-2/+2
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-1247-58/+41
* Fully remove HsVersions.hSylvain Henry2021-05-1248-151/+52
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-1237-307/+342
* W/W: Always zap useless idInfos.Andreas Klebinger2021-05-121-2/+28
* Fix strictness and arity info in SpecConstrSimon Peyton Jones2021-05-112-60/+85
* Document unfolding treatment of simplLamBndr.Andreas Klebinger2021-05-111-3/+5
* Don't warn about ClassOp bindings not specialising.Andreas Klebinger2021-05-111-0/+34
* Minor refactoring in WorkWrapSimon Peyton Jones2021-05-111-15/+7
* Expand Note [Data con representation].Andreas Klebinger2021-05-111-4/+30
* Fix newtype eta-reductionSimon Peyton Jones2021-05-071-12/+18
* Allow visible type application for levity-poly data consSimon Peyton Jones2021-05-073-17/+30
* Persist CorePrepProv into IfaceUnivCoProvSimon Peyton Jones2021-05-049-26/+30
* Make sized division primops ok-for-spec (#19026)Sylvain Henry2021-04-301-14/+1
* Bring tcTyConScopedTyVars into scope in tcClassDecl2Ryan Scott2021-04-301-0/+30
* Replace (ptext .. sLit) with `text`Sylvain Henry2021-04-296-15/+11
* Expand synonyms in mkCastTy when necessaryRyan Scott2021-04-291-20/+51
* Redesign withDict (formerly magicDict)Ryan Scott2021-04-291-21/+3
* Introduce -ddump-verbose-inliningsBen Gamari2021-04-271-1/+1
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-04-2611-3/+30
* Fix occAnalAppSimon Peyton Jones2021-04-201-5/+13
* Worker/wrapper: Refactor CPR WW to work for nested CPR (#18174)wip/nested-cpr-wwSebastian Graf2021-04-202-296/+464
* Worker/wrapper: Consistent namesSebastian Graf2021-04-207-16/+16
* Refactor around `wantToUnbox`Sebastian Graf2021-04-203-81/+69
* Factor out DynFlags from WorkWrap.UtilsSebastian Graf2021-04-206-112/+148
* Fix Haddock referenceBen Gamari2021-04-181-1/+1
* Improvements in SpecConstrwip/T19672Simon Peyton Jones2021-04-172-90/+132
* Add isInjectiveTyCon check to opt_univ (fixes #19509)Adam Gundry2021-04-141-0/+18
* Make the specialiser handle polymorphic specialisationSimon Peyton Jones2021-04-131-50/+172
* Fix magicDict in ghci (and in the presence of other ticks)Matthew Pickering2021-04-101-2/+2
* Add missing relational constant folding for sized numeric typesJohn Ericson2021-04-101-11/+67
* Re-export GHC.Bits from GHC.Prelude with custom shift implementation.Andreas Klebinger2021-04-091-13/+12
* CoreTidy: handle special cases to preserve more sharing.Sylvain Henry2021-04-091-1/+2
* CoreTidy: enhance strictness noteBen Gamari2021-04-091-5/+15
* Make sure result of demand analysis is forced promptlyMatthew Pickering2021-04-082-84/+154
* 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
* Make specialisation a bit more aggressiveSimon Peyton Jones2021-04-071-17/+39
* Compute Severity of diagnostics at birthAlfredo Di Napoli2021-04-013-3/+5
* EPA : rename 'api annotations' to 'exact print annotations'Alan Zimmerman2021-03-312-2/+2
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-294-24/+21
* Rename StrictSig to DmdSig (#19597)Sebastian Graf2021-03-2819-88/+88
* Rubbish literals for all representations (#18983)Sebastian Graf2021-03-264-142/+177
* Add compiler linting to CIHécate2021-03-254-5/+2
* Fix the binder-swap transformation in OccurAnalSimon Peyton Jones2021-03-242-53/+116
* Nested CPR light (#19398)Sebastian Graf2021-03-203-395/+486
* Make the simplifier slightly stricter.Andreas Klebinger2021-03-204-48/+117
View Lorry Controller Status