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 |