Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Clean up, more docs. | Dawer | 2021-05-31 | 2 | -87/+371 |
| | |||||
* | Check pattern types. | Dawer | 2021-05-31 | 1 | -1/+1 |
| | |||||
* | Expand binding patterns. | Dawer | 2021-05-31 | 1 | -4/+14 |
| | |||||
* | Fix visibility warnings | Dawer | 2021-05-31 | 2 | -3/+3 |
| | |||||
* | Lower binding pattern | Dawer | 2021-05-31 | 1 | -6/+1 |
| | |||||
* | Lower bool literals | Dawer | 2021-05-31 | 1 | -13/+10 |
| | |||||
* | Treat ctor of unhandled type as non-exhaustive. | Dawer | 2021-05-31 | 1 | -4/+6 |
| | |||||
* | Fix panics on pattern_arena.borrow with ugly cloning | Dawer | 2021-05-31 | 2 | -16/+15 |
| | |||||
* | Basic lowering hir_def::exrp::Pat -> typed HIR. | Dawer | 2021-05-31 | 3 | -155/+166 |
| | | | | Pattern arena is broken | ||||
* | Handle unordered fields in struct patterns | Dawer | 2021-05-31 | 1 | -2/+12 |
| | |||||
* | Complete field replacing | Dawer | 2021-05-31 | 1 | -2/+7 |
| | |||||
* | Support bool literal patterns | Dawer | 2021-05-31 | 1 | -9/+156 |
| | |||||
* | Check enum patterns | Dawer | 2021-05-31 | 2 | -6/+79 |
| | |||||
* | Build wildcard witnesses instead of panicking | Dawer | 2021-05-31 | 1 | -8/+8 |
| | |||||
* | Implement struct ctor application | Dawer | 2021-05-31 | 2 | -61/+70 |
| | |||||
* | Add remaining Constructor variants | Dawer | 2021-05-31 | 1 | -14/+56 |
| | |||||
* | Complete usefulness::SubPatSet impl | Dawer | 2021-05-31 | 1 | -3/+71 |
| | |||||
* | List useless patterns in a useful match arm | Dawer | 2021-05-31 | 1 | -9/+58 |
| | |||||
* | Remove unneeded indirection on PatCtxt | Dawer | 2021-05-31 | 2 | -22/+22 |
| | |||||
* | Enable generation of non-exhaustiveness witnesses | Dawer | 2021-05-31 | 2 | -12/+74 |
| | |||||
* | Update match checking. | Dawer | 2021-05-31 | 2 | -0/+1363 |
fn is_useful , more skeletons Specify a lifetime on pattern references impl PatStack fill impl Matrix PatStack::pop_head_constructor Index-based approach struct PatCtxt fields construction fn Fields::wildcards split wildcard fn Constructor::is_covered_by_any(..) fn Matrix::specialize_constructor(..) impl Usefulness Initial work on witness construction Reorganize files Replace match checking diagnostic Handle types of expanded patterns unit match checking go brrr |