| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Allow (~) in the head of a quantified constraints | Simon Peyton Jones | 2018-09-13 | 5 | -0/+66 |
| * | More refactoring in TcValidity | Simon Peyton Jones | 2018-07-10 | 3 | -0/+16 |
| * | Refactor validity checking for constraints | Simon Peyton Jones | 2018-07-05 | 3 | -0/+28 |
| * | Fix TcLevel manipulation in TcDerivInfer.simplifyDeriv | Simon Peyton Jones | 2018-06-26 | 3 | -0/+43 |
| * | Instances in no-evidence implications | Simon Peyton Jones | 2018-06-22 | 4 | -0/+95 |
| * | Add "quantified constraint" context in error message, fix #15231. | HE, Tao | 2018-06-15 | 3 | -0/+23 |
| * | Remove duplicate quantified constraints | Simon Peyton Jones | 2018-06-11 | 2 | -0/+70 |
| * | Implement QuantifiedConstraints | Simon Peyton Jones | 2018-06-04 | 11 | -0/+301 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |