summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core
Commit message (Expand)AuthorAgeFilesLines
* compiler: Use compact representation for SourceTextZubin Duggal2023-05-162-3/+5
* Migrate errors to diagnostics in GHC.Tc.Modulesheaf2023-05-151-5/+5
* Split DynFlags structure into own moduleOleg Grenrus2023-05-153-3/+3
* Fix bad multiplicity role in tyConAppFunCo_maybesheaf2023-05-133-4/+10
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-128-58/+73
* Move checkAxInstCo to GHC.Core.LintAdam Gundry2023-05-122-57/+64
* Less coercion optimization for non-newtype axiomsAdam Gundry2023-05-121-5/+85
* Fix coercion optimisation for SelCo (#23362)Krzysztof Gogolewski2023-05-121-3/+12
* Don't panic in mkNewTyConRhssheaf2023-05-121-1/+1
* Add fused multiply-add instructionssheaf2023-05-111-0/+156
* linear types: Don't add external names to the usage envKrzysztof Gogolewski2023-05-042-4/+10
* Add the Unsatisfiable classsheaf2023-04-291-4/+7
* DmdAnal: Unleash demand signatures of free RULE and unfolding binders (#23208)Sebastian Graf2023-04-262-92/+132
* Misc cleanupKrzysztof Gogolewski2023-04-175-25/+23
* Transfer DFunId_ness onto specialised bindingsSimon Peyton Jones2023-04-161-41/+78
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-146-67/+150
* Make WordQuotRem2Op ok-for-speculation tooSylvain Henry2023-04-131-2/+4
* Add quot folding rule (#22152)Sylvain Henry2023-04-131-15/+82
* Add quotRem rules (#22152)Sylvain Henry2023-04-132-0/+65
* Clarify a couple of Notes about 'nospec'Simon Peyton Jones2023-04-111-1/+3
* Fix unification with oversaturated type familiesKrzysztof Gogolewski2023-04-041-29/+115
* Handle records in the renamersheaf2023-03-296-65/+34
* 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
View Lorry Controller Status