[sc-441] Fix CI warnings

HigherOrderCO · Feb 27, 2024 · 7b859fc · 7b859fc
1 parent 0fc957e
commit 7b859fc
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 6 deletions.
diff --git a/cspell.json b/cspell.json
@@ -42,6 +42,7 @@
     "namegen",
     "nams",
     "numop",
+    "nums",
     "oper",
     "opre",
     "oprune",

diff --git a/src/term/parser/parser.rs b/src/term/parser/parser.rs
@@ -405,12 +405,10 @@ where
       .map(Pattern::Lst)
       .boxed();
 
-    let num_val = any()
-      .filter(|t| matches!(t, Token::Num(_)))
-      .map(|t| {
-        let Token::Num(n) = t else { unreachable!() };
-        n
-      });
+    let num_val = any().filter(|t| matches!(t, Token::Num(_))).map(|t| {
+      let Token::Num(n) = t else { unreachable!() };
+      n
+    });
 
     let num = num_val.map(|n| Pattern::Num(NumCtr::Num(n))).labelled("<Num>");
-Original file line number
+Diff line change
@@ Expand Up / @@ -42,6 +42,7 @@ @@
         "namegen",
         "nams",
         "numop",
+        "nums",
         "oper",
         "opre",
         "oprune",
@@ Expand Down @@