summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core
Commit message (Expand)AuthorAgeFilesLines
* Fix naturalToFloat/DoubleSylvain Henry2021-06-191-7/+27
* Add comments explaining why #19833 is wrongSimon Peyton Jones2021-06-191-36/+45
* Improve pretty-printing of coercionsSimon Peyton Jones2021-06-181-1/+1
* Improve abstractVars quantification orderingSimon Peyton Jones2021-06-181-5/+11
* Enhance cast worker/wrapper for INLINABLESimon Peyton Jones2021-06-184-100/+193
* Fix INLINE pragmas in desugarerSimon Peyton Jones2021-06-101-9/+17
* Reword: representation instead of levitysheaf2021-06-109-67/+75
* Do not add unfoldings to lambda-bindersSimon Peyton Jones2021-06-104-88/+21
* Make Logger independent of DynFlagsSylvain Henry2021-06-0710-231/+149
* Drop absent bindings in worker/wrapperSimon Peyton Jones2021-06-056-75/+138
* Re-do rubbish literalsSimon Peyton Jones2021-06-054-22/+38
* Avoid useless w/w split, take 2Simon Peyton Jones2021-06-052-20/+22
* WW: Mark absent errors as diverging againSebastian Graf2021-06-023-42/+43
* Use GHC's State monad consistentlyBen Gamari2021-05-291-1/+1
* Split GHC.Utils.Monad.State into .Strict and .LazyBen Gamari2021-05-291-1/+1
* Fix and slight improvement to datacon worker/wrapper notesSylvain Henry2021-05-291-0/+3
* Bignum: match on DataCon workers in rules (#19892)Sylvain Henry2021-05-291-7/+26
* Enable strict dicts by default at -O2.Andreas Klebinger2021-05-271-17/+55
* 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
View Lorry Controller Status