From 1cc5ce6ca9df93d5206e175140726d45254cf0c5 Mon Sep 17 00:00:00 2001 From: John Doty Date: Sun, 4 Feb 2024 20:22:31 -0800 Subject: [PATCH] [fine] Clean up warnings --- fine/src/semantics.rs | 26 +++++++++++++------------- 1 file changed, 13 insertions(+), 13 deletions(-) diff --git a/fine/src/semantics.rs b/fine/src/semantics.rs index 2620f116..1450eec8 100644 --- a/fine/src/semantics.rs +++ b/fine/src/semantics.rs @@ -2038,7 +2038,7 @@ pub fn check(s: &Semantics) { TreeKind::Pattern => check_pattern(s, tree), TreeKind::WildcardPattern => {} - TreeKind::MatchArm => check_match_arm(s, tree), + TreeKind::MatchArm => {} TreeKind::MatchBody => check_match_body(s, t, tree), 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 arms: Vec<_> = tree - .children_of_kind(s.syntax_tree, TreeKind::MatchArm) - .collect(); + // TODO: completeness checks - 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? - } - } + // let arms: Vec<_> = tree + // .children_of_kind(s.syntax_tree, TreeKind::MatchArm) + // .collect(); + + // 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)] mod tests { use super::*;