Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Basic lowering hir_def::exrp::Pat -> typed HIR. | Dawer | 2021-05-31 | 1 | -0/+191 |
| | | | | Pattern arena is broken | ||||
* | Support bool literal patterns | Dawer | 2021-05-31 | 1 | -0/+26 |
| | |||||
* | Check enum patterns | Dawer | 2021-05-31 | 1 | -0/+45 |
| | |||||
* | Implement struct ctor application | Dawer | 2021-05-31 | 1 | -6/+49 |
| | |||||
* | Update match checking. | Dawer | 2021-05-31 | 1 | -0/+36 |
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 |