DeCarabas/oden
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

[fine] Clean up warnings

Browse source
This commit is contained in:
John Doty 2024-02-04 20:22:31 -08:00
parent a8ab907eee
commit 1cc5ce6ca9
1 changed files with 13 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

26
fine/src/semantics.rs
View file

@ -2038,7 +2038,7 @@ pub fn check(s: &Semantics) {
TreeKind::Pattern => check_pattern(s, tree), TreeKind::Pattern => check_pattern(s, tree),
TreeKind::WildcardPattern => {} TreeKind::WildcardPattern => {}
TreeKind::MatchArm => check_match_arm(s, tree), TreeKind::MatchArm => {}
TreeKind::MatchBody => check_match_body(s, t, tree), TreeKind::MatchBody => check_match_body(s, t, tree),
TreeKind::MatchExpression => {} TreeKind::MatchExpression => {}
} }
@ -2236,23 +2236,23 @@ fn check_pattern(s: &Semantics, tree: &Tree) {
} }
} }
fn check_match_body(s: &Semantics, t: TreeRef, tree: &Tree) { fn check_match_body(s: &Semantics, t: TreeRef, _tree: &Tree) {
let _ = s.type_of(t); // Checks arm count and compatibility. let _ = s.type_of(t); // Checks arm count and compatibility.
let arms: Vec<_> = tree // TODO: completeness checks
.children_of_kind(s.syntax_tree, TreeKind::MatchArm)
.collect();
if arms.len() > 0 { // let arms: Vec<_> = tree
for arm in &arms[1..] { // .children_of_kind(s.syntax_tree, TreeKind::MatchArm)
// TODO: How do I know if it's complete? // .collect();
// TODO: How do I know if it's redundant?
} // if arms.len() > 0 {
} // for arm in &arms[1..] {
// // TODO: How do I know if it's complete?
// // TODO: How do I know if it's redundant?
// }
// }
} }
fn check_match_arm(s: &Semantics, tree: &Tree) {}
#[cfg(test)] #[cfg(test)]
mod tests { mod tests {
use super::*; use super::*;