summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core
Commit message (Expand)AuthorAgeFilesLines
* Fix #22742Simon Peyton Jones2023-01-231-4/+7
* Separate core inlining logic from `Unfolding` type.Andreas Klebinger2023-01-166-572/+601
* Add a missing checkEscapingKindSimon Peyton Jones2023-01-131-1/+1
* Fix contification with stable unfoldings (#22428)Sebastian Graf2023-01-122-241/+401
* Fix finaliseArgBoxities for OPAQUE functionSimon Peyton Jones2023-01-111-22/+37
* Fix void-arg-adding mechanism for worker/wrapperSimon Peyton Jones2023-01-114-77/+133
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-112-6/+5
* Misc cleanupKrzysztof Gogolewski2023-01-113-13/+10
* Handle shadowing in DmdAnal (#22718)Sebastian Graf2023-01-091-7/+31
* Make FloatIn robust to shadowingSimon Peyton Jones2023-01-071-103/+158
* Misc cleanupKrzysztof Gogolewski2023-01-054-9/+6
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-244-249/+31
* Fix unifier bug: failing to decompose over-saturated type familySimon Peyton Jones2022-12-221-13/+15
* Refactor mkRuntimeErrorSimon Peyton Jones2022-12-225-55/+117
* Fix shadowing lacuna in OccurAnalSimon Peyton Jones2022-12-212-23/+34
* Abstract over the right free varsSimon Peyton Jones2022-12-213-53/+118
* Fix bogus test in LintSimon Peyton Jones2022-12-154-79/+55
* Fix loop in the interface representation of some `Unfolding` fieldsGergő Érdi2022-12-139-59/+83
* hlint: Removed redundant UnboxedSums pragmasMatthew Pickering2022-12-091-1/+0
* Do not strictify a DFun's parameter dictionaries (#22549)Sebastian Graf2022-12-081-38/+62
* Fix linearity checking in LintKrzysztof Gogolewski2022-12-021-15/+22
* Refactor TyCon to have a top-level productSimon Peyton Jones2022-12-024-501/+455
* Add a missing varToCoreExpr in etaBodyForJoinPointSimon Peyton Jones2022-12-012-34/+59
* DmdAnal: Reflect the `seq` of strict fields of a DataCon worker (#22475)Sebastian Graf2022-11-303-17/+34
* Properly cast values when writing/reading unboxed sums.Andreas Klebinger2022-11-301-0/+20
* Use mkNakedFunTy in tcPatSynSigSimon Peyton Jones2022-11-303-7/+7
* Be a bit more selective about floating bottoming expressionsSimon Peyton Jones2022-11-291-43/+60
* Fix decomposition of TyConAppswip/T22331Simon Peyton Jones2022-11-251-8/+9
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-255-32/+40
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-2310-24/+15
* Expand Note [Linear types] with the stance on linting linearityArnaud Spiwack2022-11-232-39/+146
* Optimize getLevity.Andreas Klebinger2022-11-221-3/+8
* Be more careful when reporting unbound RULE bindersSimon Peyton Jones2022-11-192-2/+2
* Simplifier: Consider `seq` as a `BoringCtxt` (#22317)Sebastian Graf2022-11-192-8/+61
* Implement UNPACK support for sum types.Madeline Haraj2022-11-142-4/+4
* Fix a trivial typo in dataConNonlinearTypewip/T22416Simon Peyton Jones2022-11-122-7/+11
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-1147-3285/+3853
* Weaken wrinkle 1 of Note [Scrutinee Constant Folding]Matthew Craven2022-11-111-16/+101
* Use a more efficient printer for code generation (#21853)Krzysztof Gogolewski2022-11-111-0/+1
* Add a fast path for data constructor workersSimon Peyton Jones2022-11-112-18/+54
* Boxity: Handle argument budget of unboxed tuples correctly (#21737)Sebastian Graf2022-11-102-50/+174
* WorkWrap: Unboxing unboxed tuples is not always useful (#22388)Sebastian Graf2022-11-101-12/+28
* Make indexError work betterSimon Peyton Jones2022-11-101-0/+3
* Fire RULES in the SpecialiserSimon Peyton Jones2022-11-108-169/+335
* Fix TypeData issues (fixes #22315 and #22332)Ross Paterson2022-11-083-9/+44
* Define `Infinite` list and use where appropriate.M Farkas-Dyck2022-11-086-56/+47
* Minor refactor around FastStringsKrzysztof Gogolewski2022-11-053-3/+6
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-0317-18/+0
* Minor SDoc-related cleanupKrzysztof Gogolewski2022-10-281-3/+3
* Add missing dict binds to specialiserSimon Peyton Jones2022-10-272-14/+13
View Lorry Controller Status