| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Move pattern match checker modules to GHC.HsToCore.PmCheck | Sebastian Graf | 2019-09-30 | 1 | -1/+1 |
| * | Encode shape information in `PmOracle` | Sebastian Graf | 2019-09-16 | 1 | -1/+1 |
| * | TmOracle: Replace negative term equalities by refutable PmAltCons | Sebastian Graf | 2019-06-07 | 1 | -0/+15 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |