Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Refactor coercion rule | ningning | 2018-07-09 | 3 | -12/+23 |
* | Simplify lintIdUnfolding | Matthew Pickering | 2018-07-06 | 1 | -10/+3 |
* | Make a variant of mkCastErr for kind coercions | Ryan Scott | 2018-07-06 | 1 | -7/+25 |
* | A few typofixes in comments | Gabor Greif | 2018-06-29 | 1 | -1/+1 |
* | Typofixes in docs and comments [ci skip] | Gabor Greif | 2018-06-18 | 2 | -2/+2 |
* | Built-in Natural literals in Core | Sylvain Henry | 2018-06-15 | 4 | -25/+83 |
* | Fix corner case in typeKind, plus refactoring | Simon Peyton Jones | 2018-06-15 | 2 | -27/+22 |
* | Make seq# evaluatedness look through casts | David Feuer | 2018-06-11 | 1 | -1/+2 |
* | WorkWrap: Rip out unsafeGlobalDynFlags usage in mkWwInlineRule | Ben Gamari | 2018-06-07 | 1 | -3/+3 |
* | Don't use unsafeGlobalDynFlags in optCoercion | Ben Gamari | 2018-06-07 | 2 | -32/+38 |
* | Let the simplifier know that seq# forces | David Feuer | 2018-06-06 | 1 | -1/+11 |
* | Expand type synonyms when Linting a forall | Simon Peyton Jones | 2018-06-04 | 1 | -7/+30 |
* | vectorise: Put it out of its misery | Ben Gamari | 2018-06-02 | 5 | -70/+5 |
* | Optimizations for CmmBlockElim. | klebinger.andreas@gmx.at | 2018-06-02 | 1 | -0/+2 |
* | Define MCoercion type | ningning | 2018-05-30 | 2 | -14/+15 |
* | Comments about the substition invariant | Simon Peyton Jones | 2018-05-25 | 1 | -20/+14 |
* | Revert "Simplify callSiteInline a little" | Ben Gamari | 2018-05-15 | 1 | -16/+17 |
* | Fix performance regressions from #14737 | Tobias Dammers | 2018-05-14 | 1 | -0/+6 |
* | Add note documenting refineDefaultAlt | Matthew Pickering | 2018-05-13 | 1 | -0/+88 |
* | Fix #15038 | Ömer Sinan Ağacan | 2018-05-10 | 1 | -2/+34 |
* | Split TrieMap into a general (TrieMap) and core specific (CoreTrieMap) module. | klebinger.andreas@gmx.at | 2018-05-05 | 1 | -365/+27 |
* | Simplify callSiteInline a little | Simon Peyton Jones | 2018-05-04 | 1 | -17/+16 |
* | Set arity for absentError | David Feuer | 2018-05-02 | 1 | -20/+23 |
* | Preserve join-point arity in CoreOpt | Simon Peyton Jones | 2018-05-01 | 1 | -2/+21 |
* | Don't crash when pretty-printing bad joins | Simon Peyton Jones | 2018-05-01 | 1 | -1/+9 |
* | Better linting for types | Simon Peyton Jones | 2018-04-27 | 1 | -72/+97 |
* | Comments only: the FVAnn invariant | Simon Peyton Jones | 2018-04-27 | 1 | -6/+19 |
* | Remove unnecessary check in simplCast | Tobias Dammers | 2018-04-20 | 1 | -4/+8 |
* | Caching coercion roles in NthCo and coercionKindsRole refactoring | Tobias Dammers | 2018-04-20 | 4 | -17/+19 |
* | Lint types in newFamInst | Ryan Scott | 2018-04-19 | 1 | -29/+83 |
* | Discard reflexive casts during Simplify | Richard Eisenberg | 2018-04-10 | 1 | -20/+28 |
* | CoreUtils.filterAlts: Correct docs | Simon Jakobi | 2018-04-07 | 1 | -2/+0 |
* | Improve documentation for refineDefaultAlt | Simon Jakobi | 2018-04-07 | 1 | -5/+6 |
* | Add new debugging flag -dinline-check | Ben Gamari | 2018-03-25 | 1 | -9/+15 |
* | Fix seq# case of exprOkForSpeculation | Simon Peyton Jones | 2018-03-20 | 1 | -1/+23 |
* | Allow top level ticked string literals | Bartosz Nitka | 2018-03-06 | 3 | -15/+30 |
* | Comments only | Simon Peyton Jones | 2018-02-27 | 1 | -0/+2 |
* | Tiny refactor in Core Lint | Simon Peyton Jones | 2018-02-27 | 1 | -2/+3 |
* | Collect CCs in CorePrep, including CCs in unfoldings | Ömer Sinan Ağacan | 2018-02-13 | 1 | -5/+53 |
* | Fix utterly bogus TagToEnum rule in caseRules | Simon Peyton Jones | 2018-02-07 | 1 | -1/+1 |
* | Add -ddump-ds-preopt | Simon Peyton Jones | 2018-02-01 | 1 | -1/+1 |
* | Fix the lone-variable case in callSiteInline | Simon Peyton Jones | 2018-01-25 | 2 | -34/+77 |
* | Comments only | Simon Peyton Jones | 2018-01-25 | 1 | -3/+3 |
* | Add new mbmi and mbmi2 compiler flags | John Ky | 2018-01-21 | 1 | -1/+0 |
* | Typos in comments | Gabor Greif | 2018-01-17 | 1 | -1/+1 |
* | Fix quadratic behavior of prepareAlts | Bartosz Nitka | 2018-01-15 | 1 | -4/+11 |
* | CoreLint: typo in a comment | Ömer Sinan Ağacan | 2018-01-15 | 1 | -2/+2 |
* | Kill off irrefutable pattern errors | David Feuer | 2018-01-15 | 1 | -6/+3 |
* | Fix join-point decision | Simon Peyton Jones | 2018-01-09 | 1 | -42/+2 |
* | Typos in comments | Gabor Greif | 2018-01-03 | 2 | -3/+3 |