summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core
Commit message (Expand)AuthorAgeFilesLines
* Account for TYPE vs CONSTRAINT in mkSelCoSimon Peyton Jones2023-02-283-7/+46
* Take more care with unlifted bindings in the specialiserSimon Peyton Jones2023-02-281-2/+27
* Account for local rules in specImportsSimon Peyton Jones2023-02-282-30/+53
* Don't specialise incoherent instance applicationsGergő Érdi2023-02-271-48/+207
* Fix shadowing bug in prepareAltsSimon Peyton Jones2023-02-242-13/+26
* Don't generate datacon wrappers for `type data` declarationsRyan Scott2023-02-201-3/+35
* Expand synonyms in RoughMapsheaf2023-02-161-1/+5
* Narrow the dont-decompose-newtype testSimon Peyton Jones2023-02-161-1/+1
* Update outdated references to notesSimon Hengel2023-02-141-1/+1
* Refactor the simplifier a bit to fix #22761Simon Peyton Jones2023-02-107-159/+217
* Revert "Don't keep exit join points so much"Matthew Pickering2023-02-085-113/+41
* Update kinds in comments in GHC.Core.TyConromes2023-02-071-20/+20
* Minor refactorKrzysztof Gogolewski2023-02-043-12/+10
* Fix CallerCC potentially shadowing other cost centres.Andreas Klebinger2023-02-032-2/+2
* compiler: Implement higher order patterns in the rule matcherJaro Reinders2023-02-021-8/+176
* Treat existentials correctly in dubiousDataConInstArgTysSimon Peyton Jones2023-02-011-8/+17
* Improve treatment of type applications in patternswip/T19847Simon Peyton Jones2023-02-011-0/+1
* Support "unusable UNPACK pragma" warning with -O0Krzysztof Gogolewski2023-01-311-6/+44
* Improve exprOkForSpeculation for classopsSimon Peyton Jones2023-01-317-37/+93
* Take account of loop breakers in specLookupRuleSimon Peyton Jones2023-01-305-40/+37
* Assorted changes to avoid Data.List.{head,tail}Bodigrim2023-01-281-1/+1
* Report family instance orphans correctlySimon Peyton Jones2023-01-272-16/+52
* Detect family instance orphans correctlySimon Peyton Jones2023-01-272-14/+18
* Do newtype unwrapping in the canonicaliser and rewriterRichard Eisenberg2023-01-261-1/+1
* Fix in-scope set in specImportsSimon Peyton Jones2023-01-251-35/+51
* Fix Lint check for duplicate external namesKrzysztof Gogolewski2023-01-241-6/+5
* 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
View Lorry Controller Status