summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* Broaden the in-scope sets for liftEnvSubst and composeTCvSubstRyan Scott2022-10-262-3/+13
* Cleanup String/FastString conversionsKrzysztof Gogolewski2022-10-251-19/+19
* Enable popcount rewrite rule when cross-compilingSylvain Henry2022-10-251-1/+1
* Numeric exceptions: replace FFI calls with primopsSylvain Henry2022-10-251-31/+2
* Make the specialiser handle polymorphic specialisationSimon Peyton Jones2022-10-254-65/+261
* Fix binder-swap bugSimon Peyton Jones2022-10-255-104/+162
* Delete `eqExpr`, since GHC 9.4 has been released.M Farkas-Dyck2022-10-213-13/+5
* Scrub some partiality in `GHC.Core.Opt.Simplify.Utils`.M Farkas-Dyck2022-10-211-8/+9
* Scrub various partiality involving lists (again).M Farkas-Dyck2022-10-195-21/+34
* Make `Functor` a superclass of `TrieMap`, which lets us derive the `map` func...M Farkas-Dyck2022-10-182-67/+77
* Avoid allocating intermediate lists for non recursive bindings.Andreas Klebinger2022-10-176-13/+33
* DmdAnal: Look through unfoldings of DataCon wrappers (#22241)Sebastian Graf2022-10-172-1/+47
* Make SpecConstr bale out less oftenSimon Peyton Jones2022-10-111-67/+85
* Don't keep exit join points so muchSimon Peyton Jones2022-10-115-41/+113
* Make rewrite rules "win" over inliningwip/T21851-rule-winSimon Peyton Jones2022-10-102-157/+216
View Lorry Controller Status