| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 | 1 | -1/+1 |
| | | |||||
| * | Fix panics on pattern_arena.borrow with ugly cloning | Dawer | 2021-05-31 | 1 | -6/+6 |
| | | |||||
| * | Basic lowering hir_def::exrp::Pat -> typed HIR. | Dawer | 2021-05-31 | 1 | -48/+33 |
| | | | | | Pattern arena is broken | ||||
| * | Check enum patterns | Dawer | 2021-05-31 | 1 | -1/+20 |
| | | |||||
| * | Implement struct ctor application | Dawer | 2021-05-31 | 1 | -6/+2 |
| | | |||||
| * | 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 | 1 | -10/+10 |
| | | |||||
| * | Enable generation of non-exhaustiveness witnesses | Dawer | 2021-05-31 | 1 | -11/+73 |
| | | |||||
| * | Update match checking. | Dawer | 2021-05-31 | 1 | -0/+736 |
| 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 | |||||
 |
index : rust-analyzer | |
| [FORK] modified to work on wasm targets |
| aboutsummaryrefslogtreecommitdiff |