Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Comments only | Simon Peyton Jones | 2018-03-27 | 1 | -0/+4 |
* | compiler: introduce custom "GhcPrelude" Prelude | Herbert Valerio Riedel | 2017-09-19 | 1 | -0/+2 |
* | Eliminate ListSetOps from imp_trust_pkgs | David Feuer | 2017-03-02 | 1 | -7/+7 |
* | COMPLETE pragmas for enhanced pattern exhaustiveness checking | Matthew Pickering | 2017-01-26 | 1 | -7/+6 |
* | Overhaul the Overhauled Pattern Match Checker | George Karachalias | 2016-02-04 | 1 | -10/+24 |
* | pmcheck: Comments about undecidability of literal equality | George Karachalias | 2015-12-05 | 1 | -0/+2 |
* | pmcheck: Comments about term equality representation | George Karachalias | 2015-12-05 | 1 | -1/+2 |
* | Remove unused import in deSugar/TmOracle.hs | George Karachalias | 2015-12-04 | 1 | -1/+0 |
* | Improve performance for PM check on literals (Fixes #11160 and #11161) | George Karachalias | 2015-12-04 | 1 | -230/+17 |
* | Major Overhaul of Pattern Match Checking (Fixes #595) | George Karachalias | 2015-12-03 | 1 | -0/+455 |