| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Move pattern match checker modules to GHC.HsToCore.PmCheck | Sebastian Graf | 2019-09-30 | 1 | -220/+0 |
| * | PmCheck: Look at precendence to give type signatures to some wildcards | Sebastian Graf | 2019-09-27 | 1 | -16/+35 |
| * | Extract PmTypes module from PmExpr and PmOracle | Sebastian Graf | 2019-09-19 | 1 | -18/+18 |
| * | Encode shape information in `PmOracle` | Sebastian Graf | 2019-09-16 | 1 | -122/+132 |
| * | TmOracle: Replace negative term equalities by refutable PmAltCons | Sebastian Graf | 2019-06-07 | 1 | -0/+191 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |