| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Missing fields: enhance error messages (#18869) | Sylvain Henry | 2021-01-17 | 1 | -1/+1 |
| * | Show missing field types (#18869) | Sylvain Henry | 2021-01-17 | 2 | -2/+4 |
| * | Add two warnings to -Wall | Tom Ellis | 2020-12-19 | 2 | -3/+3 |
| * | Optimise nullary type constructor usagewip/tyconapp-opts | Ben Gamari | 2020-12-14 | 1 | -3/+3 |
| * | Revert "Optimise nullary type constructor usage" | Ben Gamari | 2020-12-14 | 1 | -3/+3 |
| * | Optimise nullary type constructor usage | Ben Gamari | 2020-12-14 | 1 | -3/+3 |
| * | Demand: Interleave usage and strictness demands (#18903) | Sebastian Graf | 2020-11-20 | 1 | -1/+1 |
| * | PmCheck: Print types of uncovered patterns (#18932) | Sebastian Graf | 2020-11-18 | 6 | -8/+9 |
| * | PmCheck: Big refactor using guard tree variants more closely following source... | Sebastian Graf | 2020-09-10 | 1 | -0/+8 |
| * | Reduce result discount in conSize | Simon Peyton Jones | 2020-07-13 | 2 | -2/+2 |
| * | Implement cast worker/wrapper properly | Simon Peyton Jones | 2020-06-10 | 1 | -1/+1 |
| * | Simple subsumptionwip/T17775 | Simon Peyton Jones | 2020-06-05 | 1 | -1/+1 |
| * | Flatten nested casts in the simple optimizer | Alexis King | 2020-05-03 | 2 | -0/+15 |
| * | Mark DataCon wrappers CONLIKE | Alexis King | 2020-04-22 | 1 | -1/+4 |
| * | Treat coercions as arguments for floating and inlining | Alexis King | 2020-02-26 | 1 | -4/+1 |
| * | Separate CPR analysis from the Demand analyserwip/sep-cpr | Sebastian Graf | 2020-02-12 | 1 | -2/+2 |
| * | Do CafInfo/SRT analysis in Cmm | Ömer Sinan Ağacan | 2020-01-31 | 1 | -13/+13 |
| * | PmCheck: Formulate as translation between Clause Trees | Sebastian Graf | 2020-01-25 | 5 | -6/+42 |
| * | Print Core type applications with no whitespace after @ (#17643) | Ryan Scott | 2020-01-08 | 3 | -10/+10 |
| * | Fix typos, via a Levenshtein-style corrector | Brian Wignall | 2020-01-04 | 2 | -2/+2 |
| * | Fix typos, using Wikipedia list of common typos | Brian Wignall | 2019-11-28 | 1 | -1/+1 |
| * | Whitespace forward compatibility for proposal #229 | Vladislav Zavialov | 2019-10-30 | 1 | -1/+1 |
| * | Make small INLINE functions behave properly | Ömer Sinan Ağacan | 2019-10-01 | 1 | -1/+4 |
| * | PmCheck: Look at precendence to give type signatures to some wildcards | Sebastian Graf | 2019-09-27 | 1 | -1/+1 |
| * | Encode shape information in `PmOracle` | Sebastian Graf | 2019-09-16 | 4 | -0/+22 |
| * | Make add_info attach unfoldings (#16615) | Tobias Dammers | 2019-08-15 | 3 | -10/+21 |
| * | Add test cases for #16615 | Tobias Dammers | 2019-08-15 | 4 | -0/+43 |
| * | Update Trac ticket URLs to point to GitLab | Ryan Scott | 2019-03-15 | 6 | -6/+6 |
| * | Improve the very simple optimiser slightly | Simon Peyton Jones | 2019-02-20 | 4 | -0/+11 |
| * | Make constructor wrappers inline only during the final phase | Arnaud Spiwack | 2019-02-19 | 1 | -4/+1 |
| * | Remove ExnStr and ThrowsExn business | Sebastian Graf | 2019-02-01 | 1 | -1/+1 |
| * | testsuite: Use makefile_test | Ben Gamari | 2019-01-30 | 1 | -4/+3 |
| * | Revert "Batch merge" | Ben Gamari | 2019-01-30 | 1 | -3/+4 |
| * | Batch merge | Ben Gamari | 2019-01-30 | 1 | -4/+3 |
| * | Enable -Wcompat=error in the testsuite | Vladislav Zavialov | 2018-10-15 | 2 | -2/+5 |
| * | Fix broken test T14547. | HE, Tao | 2018-06-04 | 1 | -1/+1 |
| * | testsuite: Really mark T14547 as broken | Ben Gamari | 2018-06-03 | 1 | -1/+0 |
| * | testsuite: Mark T14547 as broken | Ben Gamari | 2018-06-03 | 1 | -0/+1 |
| * | Improve exhaustiveness checking for literal values and patterns, fix #14546 | HE, Tao | 2018-06-03 | 7 | -0/+159 |
| * | Fix #15039 by pretty-printing equalities more systematically | Ryan Scott | 2018-05-16 | 1 | -4/+2 |
| * | Normalize the element type of ListPat, fix #14547 | HE, Tao | 2018-05-08 | 2 | -0/+16 |
| * | Revert "Normalize the element type of ListPat, fix #14547" | Ben Gamari | 2018-05-08 | 2 | -16/+0 |
| * | Normalize the element type of ListPat, fix #14547 | Ben Gamari | 2018-05-08 | 2 | -0/+16 |
| * | Revert "Normalize the element type of ListPat, fix #14547" | Ben Gamari | 2018-05-08 | 2 | -16/+0 |
| * | Normalize the element type of ListPat, fix #14547 | HE, Tao | 2018-05-05 | 2 | -0/+16 |
| * | Add a test for #14815: | Ömer Sinan Ağacan | 2018-04-19 | 4 | -2/+57 |
| * | Improve exhaustive checking for guards in pattern bindings and MultiIf. | HE, Tao | 2018-03-02 | 5 | -0/+30 |
| * | Get evaluated-ness right in the back end | Simon Peyton Jones | 2018-01-03 | 1 | -16/+16 |
| * | Fix #14135 by validity checking matches | Carlos Tomé | 2017-12-14 | 3 | -0/+21 |
| * | Fix missing fields warnings in empty record construction, fix #13870 | HE, Tao | 2017-09-15 | 3 | -0/+25 |
