summaryrefslogtreecommitdiff
path: root/compiler/coreSyn
Commit message (Expand)AuthorAgeFilesLines
* Define MCoercion typeningning2018-05-302-14/+15
* Comments about the substition invariantSimon Peyton Jones2018-05-251-20/+14
* Revert "Simplify callSiteInline a little"Ben Gamari2018-05-151-16/+17
* Fix performance regressions from #14737Tobias Dammers2018-05-141-0/+6
* Add note documenting refineDefaultAltMatthew Pickering2018-05-131-0/+88
* Fix #15038Ömer Sinan Ağacan2018-05-101-2/+34
* Split TrieMap into a general (TrieMap) and core specific (CoreTrieMap) module.klebinger.andreas@gmx.at2018-05-051-365/+27
* Simplify callSiteInline a littleSimon Peyton Jones2018-05-041-17/+16
* Set arity for absentErrorDavid Feuer2018-05-021-20/+23
* Preserve join-point arity in CoreOptSimon Peyton Jones2018-05-011-2/+21
* Don't crash when pretty-printing bad joinsSimon Peyton Jones2018-05-011-1/+9
* Better linting for typesSimon Peyton Jones2018-04-271-72/+97
* Comments only: the FVAnn invariantSimon Peyton Jones2018-04-271-6/+19
* Remove unnecessary check in simplCastTobias Dammers2018-04-201-4/+8
* Caching coercion roles in NthCo and coercionKindsRole refactoringTobias Dammers2018-04-204-17/+19
* Lint types in newFamInstRyan Scott2018-04-191-29/+83
* Discard reflexive casts during SimplifyRichard Eisenberg2018-04-101-20/+28
* CoreUtils.filterAlts: Correct docsSimon Jakobi2018-04-071-2/+0
* Improve documentation for refineDefaultAltSimon Jakobi2018-04-071-5/+6
* Add new debugging flag -dinline-checkBen Gamari2018-03-251-9/+15
* Fix seq# case of exprOkForSpeculationSimon Peyton Jones2018-03-201-1/+23
* Allow top level ticked string literalsBartosz Nitka2018-03-063-15/+30
* Comments onlySimon Peyton Jones2018-02-271-0/+2
* Tiny refactor in Core LintSimon Peyton Jones2018-02-271-2/+3
* Collect CCs in CorePrep, including CCs in unfoldingsÖmer Sinan Ağacan2018-02-131-5/+53
* Fix utterly bogus TagToEnum rule in caseRulesSimon Peyton Jones2018-02-071-1/+1
* Add -ddump-ds-preoptSimon Peyton Jones2018-02-011-1/+1
* Fix the lone-variable case in callSiteInlineSimon Peyton Jones2018-01-252-34/+77
* Comments onlySimon Peyton Jones2018-01-251-3/+3
* Add new mbmi and mbmi2 compiler flagsJohn Ky2018-01-211-1/+0
* Typos in commentsGabor Greif2018-01-171-1/+1
* Fix quadratic behavior of prepareAltsBartosz Nitka2018-01-151-4/+11
* CoreLint: typo in a commentÖmer Sinan Ağacan2018-01-151-2/+2
* Kill off irrefutable pattern errorsDavid Feuer2018-01-151-6/+3
* Fix join-point decisionSimon Peyton Jones2018-01-091-42/+2
* Typos in commentsGabor Greif2018-01-032-3/+3
* Get evaluated-ness right in the back endSimon Peyton Jones2018-01-032-56/+95
* Rewrite Note [The polymorphism rule of join points]Joachim Breitner2018-01-021-19/+50
* Typos in comments [ci skip]Gabor Greif2017-12-281-1/+1
* Refactor coercion holesSimon Peyton Jones2017-12-212-3/+6
* Stop runRW# being magicSimon Peyton Jones2017-12-191-1/+42
* Get rid of some stuttering in comments and docsGabor Greif2017-12-192-4/+4
* Typofix in commentGabor Greif2017-12-131-1/+1
* Occurrrence analysis improvements for NOINLINE functionsSimon Peyton Jones2017-12-081-2/+4
* Revert "Add new mbmi and mbmi2 compiler flags"Ben Gamari2017-11-221-0/+1
* Adjust AltCon Ord instance to match Core linter requirements.klebinger.andreas@gmx.at2017-11-151-4/+5
* Add new mbmi and mbmi2 compiler flagsJohn Ky2017-11-151-1/+0
* Remove unreliable Core Lint empty case checksDavid Feuer2017-11-091-19/+38
* Invoke lintUnfolding only on top-level unfoldings (#14430)Joachim Breitner2017-11-081-2/+10
* Allow packing constructor fieldsMichal Terepeta2017-10-291-2/+2
View Lorry Controller Status