summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core
Commit message (Expand)AuthorAgeFilesLines
* Use ShortByteString for FastStringDaniel Gröber2020-07-222-4/+7
* Fix minor typos in a Core.hs noteChaitanya Koparkar2020-07-181-1/+1
* Refactor the simplification of join bindersSimon Peyton Jones2020-07-183-111/+129
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-183-29/+23
* Explain why keeping DynFlags in AnalEnv saves allocation.Andreas Klebinger2020-07-141-1/+19
* Reduce result discount in conSizeSimon Peyton Jones2020-07-131-16/+34
* Use dumpStyle when printing inliningsSimon Peyton Jones2020-07-131-1/+1
* Give Uniq[D]FM a phantom type for its key.Andreas Klebinger2020-07-125-12/+34
* Improve eta-expansion using ArityTypeSimon Peyton Jones2020-07-113-185/+243
* Make arityType deal with join pointsSimon Peyton Jones2020-07-101-4/+93
* Define multiShotIO and use it in mkSplitUniqueSupplySimon Peyton Jones2020-07-101-13/+35
* DynFlags: avoid the use of sdocWithDynFlags in GHC.Core.Rules (#17957)Sylvain Henry2020-07-034-28/+39
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-036-65/+227
* Improve debug tracing for substitutionSimon Peyton Jones2020-07-018-58/+59
* Fix a typo in LintSimon Peyton Jones2020-06-281-7/+7
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-2811-12/+12
* Use NHsCoreTy to embed types into GND-generated codeRyan Scott2020-06-281-4/+4
* Better loop detection in findTypeShapeSimon Peyton Jones2020-06-272-24/+38
* Fix ghc-bignum exceptionsSylvain Henry2020-06-271-3/+36
* GHC.Core.Unify: Make UM actions one-shot by defaultwip/oneshot-unifySebastian Graf2020-06-251-3/+83
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-2518-61/+61
* Two small tweaks to Coercion.simplifyArgsWorkerSimon Peyton Jones2020-06-231-1/+5
* Fix a buglet in Simplify.simplCastSimon Peyton Jones2020-06-233-13/+21
* DynFlags: store default depth in SDocContext (#17957)Sylvain Henry2020-06-181-1/+1
* Update compilerSylvain Henry2020-06-174-268/+202
* Various performance improvementsKrzysztof Gogolewski2020-06-1732-434/+483
* Linear types (#15981)Krzysztof Gogolewski2020-06-1748-543/+1771
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-132-13/+42
* Trim the demand for recursive product typesSimon Peyton Jones2020-06-132-137/+198
* Rename Package into UnitSylvain Henry2020-06-131-1/+1
* Implement cast worker/wrapper properlySimon Peyton Jones2020-06-1012-298/+454
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-1014-26/+26
* OccurAnal: Avoid exponential behavior due to where clausesBen Gamari2020-06-071-9/+16
* Simplify bindLHsTyVarBndrs and bindHsQTyVarswip/simply-bind-tyvarsRyan Scott2020-06-053-3/+3
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-052-2/+17
* Rename the singleton tuple GHC.Tuple.Unit to GHC.Tuple.SoloTom Ellis2020-06-011-2/+2
* Modify file paths to module paths for new module hierarchyTakenobu Tani2020-06-016-6/+6
* Clean up file paths for new module hierarchyTakenobu Tani2020-06-016-6/+6
* Add `isInScope` check to `lintCoercion`fendor2020-06-011-1/+6
* Allow simplification through runRW#Ben Gamari2020-05-294-34/+148
* Do not float join points in exprIsConApp_maybeSimon Peyton Jones2020-05-291-0/+27
* Make Lint check return type of a join pointSimon Peyton Jones2020-05-291-7/+31
* Fix "build/elem" RULE.Andreas Klebinger2020-05-291-13/+37
* FloatOut: Only eta-expand dead-end RHS if arity will increase (#18231)Sebastian Graf2020-05-282-3/+7
* Avoid unnecessary allocations due to tracing utilitiesBen Gamari2020-05-282-1/+8
* GHC.Core.Unfold: Refactor traceInlineBen Gamari2020-05-281-9/+10
* Make WorkWrap.Lib.isWorkerSmallEnough aware of the old aritySebastian Graf2020-05-263-8/+12
* Rename GHC.Core.Arity into GHC.Core.Opt.AritySylvain Henry2020-05-2414-23/+23
* simplCore: Ignore ticks in rule templatesBen Gamari2020-05-232-2/+30
* Implement cstringLength# and FinalPtrAndrew Martin2020-05-231-0/+27
View Lorry Controller Status