| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Move pattern match checker modules to GHC.HsToCore.PmCheck | Sebastian Graf | 2019-09-30 | 1 | -1548/+0 |
| * | PmCheck: No ConLike instantiation in pmcheck | Sebastian Graf | 2019-09-28 | 1 | -200/+45 |
| * | PmCheck: Only ever check constantly many models against a single pattern | Sebastian Graf | 2019-09-25 | 1 | -26/+9 |
| * | Some leftovers from !1732. Comments only [skip ci] | Sebastian Graf | 2019-09-24 | 1 | -1/+2 |
| * | PredType for type constraints in the pattern match checker instead of EvVar | Sebastian Graf | 2019-09-21 | 1 | -81/+90 |
| * | Fix PmOracle.addVarCoreCt in-scope set | Simon Peyton Jones | 2019-09-20 | 1 | -3/+9 |
| * | Extract PmTypes module from PmExpr and PmOracle | Sebastian Graf | 2019-09-19 | 1 | -179/+11 |
| * | Encode shape information in `PmOracle` | Sebastian Graf | 2019-09-16 | 1 | -0/+1872 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |