summaryrefslogtreecommitdiff
path: root/compiler/coreSyn
Commit message (Expand)AuthorAgeFilesLines
* Refactor coercion ruleningning2018-07-093-12/+23
* Simplify lintIdUnfoldingMatthew Pickering2018-07-061-10/+3
* Make a variant of mkCastErr for kind coercionsRyan Scott2018-07-061-7/+25
* A few typofixes in commentsGabor Greif2018-06-291-1/+1
* Typofixes in docs and comments [ci skip]Gabor Greif2018-06-182-2/+2
* Built-in Natural literals in CoreSylvain Henry2018-06-154-25/+83
* Fix corner case in typeKind, plus refactoringSimon Peyton Jones2018-06-152-27/+22
* Make seq# evaluatedness look through castsDavid Feuer2018-06-111-1/+2
* WorkWrap: Rip out unsafeGlobalDynFlags usage in mkWwInlineRuleBen Gamari2018-06-071-3/+3
* Don't use unsafeGlobalDynFlags in optCoercionBen Gamari2018-06-072-32/+38
* Let the simplifier know that seq# forcesDavid Feuer2018-06-061-1/+11
* Expand type synonyms when Linting a forallSimon Peyton Jones2018-06-041-7/+30
* vectorise: Put it out of its miseryBen Gamari2018-06-025-70/+5
* Optimizations for CmmBlockElim.klebinger.andreas@gmx.at2018-06-021-0/+2
* 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