summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core
Commit message (Expand)AuthorAgeFilesLines
* Fix a buglet in Simplify.simplCastwip/T18347Simon Peyton Jones2020-06-183-13/+21
* 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
* Lint should say when it is checking a ruleBen Price2020-05-211-1/+5
* Explicit SpecificityGert-Jan Bottu2020-05-2110-59/+93
* Remove duplicate Note [When to print foralls] in GHC.Core.TyCo.Pprwip/duplicate-forall-printing-notesRyan Scott2020-05-171-19/+2
* DmdAnal: Improve handling of precise exceptionsSebastian Graf2020-05-1515-130/+167
* Use Data.IntMap.disjointSimon Jakobi2020-05-143-6/+6
* Improve some folds over Uniq[D]FMSimon Jakobi2020-05-146-17/+19
* Document (->) using inferred quantification for its runtime representations.Baldur Blöndal2020-05-133-4/+10
* CprAnal: Don't attach CPR sigs to expandable bindings (#18154)Sebastian Graf2020-05-131-3/+63
* Fix unboxed-sums GC ptr-slot rubbish value (#17791)Sylvain Henry2020-05-091-16/+58
* Fix specialisation for DFunsSimon Peyton Jones2020-05-082-47/+71
* Make isTauTy detect higher-rank contextsRyan Scott2020-05-061-9/+11
* Remove SpecConstrAnnotation (#13681)Sylvain Henry2020-05-051-78/+25
* Flatten nested casts in the simple optimizerAlexis King2020-05-031-4/+7
* Fully remove PprDebugSylvain Henry2020-05-013-6/+9
* Remove PprStyle param of logging actionsSylvain Henry2020-05-013-5/+6
* Refactor PprDebug handlingSylvain Henry2020-05-015-14/+14
* Mark rule args as non-tail-calledSimon Peyton Jones2020-04-302-32/+32
* Unit: split and rename modulesSylvain Henry2020-04-3011-11/+12
* Refactoring unit management codeSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-2662-295/+295
* Mark DataCon wrappers CONLIKEAlexis King2020-04-222-10/+68
* Add missing addInScope call for letrec binders in OccurAnalAlexis King2020-04-191-3/+5
* Modules (#13009)Sylvain Henry2020-04-1827-62/+63
View Lorry Controller Status