| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Modules: Utils and Data (#13009) | Sylvain Henry | 2020-04-26 | 1 | -1/+1 |
| * | Modules: type-checker (#13009) | Sylvain Henry | 2020-04-07 | 1 | -1/+1 |
| * | Modules: Types (#13009) | Sylvain Henry | 2020-03-29 | 1 | -2/+2 |
| * | Modules: Core (#13009) | Sylvain Henry | 2020-03-16 | 1 | -5/+5 |
| * | Re-implement unsafe coercions in terms of unsafe equality proofs | Simon Peyton Jones | 2020-02-20 | 1 | -2/+0 |
| * | PmCheck: Only ever check constantly many models against a single pattern | Sebastian Graf | 2019-09-25 | 1 | -1/+0 |
| * | Caching coercion roles in NthCo and coercionKindsRole refactoring | Tobias Dammers | 2018-04-20 | 1 | -1/+1 |
| * | Reduce default for -fmax-pmcheck-iterations from 1e7 to 2e6 | Herbert Valerio Riedel | 2016-04-10 | 1 | -0/+1 |
| * | Overhaul the Overhauled Pattern Match Checker | George Karachalias | 2016-02-04 | 1 | -0/+189 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |