summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core
Commit message (Expand)AuthorAgeFilesLines
* 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
* GHC.Core.Opt renamingSylvain Henry2020-04-1833-188/+188
* Fix #18065 by fixing an InstCo oversight in Core LintRyan Scott2020-04-171-6/+6
* Fix #18052 by using pprPrefixOcc in more placesRyan Scott2020-04-151-5/+9
* Change zipWith to zipWithEqual in a few placesKrzysztof Gogolewski2020-04-145-12/+15
* Use conLikeUserTyVarBinders to quantify field selector typesRyan Scott2020-04-122-1/+45
* Significant refactor of LintSimon Peyton Jones2020-04-122-518/+532
* DmdAnal: No need to attach a StrictSig to DataCon workersSebastian Graf2020-04-093-5/+23
* Special case `isConstraintKindCon` on `AlgTyCon`Sebastian Graf2020-04-092-4/+10
* Modules: type-checker (#13009)Sylvain Henry2020-04-0721-82/+82
* simplifier: Kill off ufKeenessFactorBen Gamari2020-04-071-15/+20
* Refactoring onlySimon Peyton Jones2020-04-061-25/+36
* Fix an tricky specialiser loopSimon Peyton Jones2020-04-061-123/+206
* Major improvements to the specialiserSimon Peyton Jones2020-04-033-388/+527
* Preserve precise exceptions in strictness analysisSebastian Graf2020-04-021-3/+6
* Re-engineer the binder-swap transformationSimon Peyton Jones2020-04-028-592/+596
* Clean up "Eta reduction for data families" NotesRyan Scott2020-04-014-14/+21
View Lorry Controller Status