summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core
Commit message (Expand)AuthorAgeFilesLines
* Make exprIsConApp_maybe a bit clevererwip/T23159Simon Peyton Jones2023-03-271-8/+54
* Add structured error messages for GHC.Tc.Utils.EnvTorsten Schmits2023-03-211-6/+18
* Simplifier: `countValArgs` should not count Type args (#23102)Sebastian Graf2023-03-131-1/+1
* Simplify: Move `wantEtaExpansion` before expensive `do_eta_expand` checkSebastian Graf2023-03-101-5/+6
* DmdAnal: Fix a panic on OPAQUE and trivial/PAP RHS (#22997)Sebastian Graf2023-03-101-10/+12
* Constraint simplification loop now depends on `ExpansionFuel`Apoorv Ingle2023-03-061-2/+5
* More fixes for `type data` declarationsSimon Peyton Jones2023-03-034-10/+36
* Get the right in-scope set in etaBodyForJoinPointSimon Peyton Jones2023-03-021-4/+11
* constant folding: Correct type of decodeDouble_Int64 ruleMatthew Pickering2023-03-021-5/+1
* 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
View Lorry Controller Status