mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-09-17 14:47:21 +03:00
[sc-441] Fix CI warnings
This commit is contained in:
parent
0fc957ea6e
commit
7b859fc41e
@ -42,6 +42,7 @@
|
|||||||
"namegen",
|
"namegen",
|
||||||
"nams",
|
"nams",
|
||||||
"numop",
|
"numop",
|
||||||
|
"nums",
|
||||||
"oper",
|
"oper",
|
||||||
"opre",
|
"opre",
|
||||||
"oprune",
|
"oprune",
|
||||||
|
@ -405,12 +405,10 @@ where
|
|||||||
.map(Pattern::Lst)
|
.map(Pattern::Lst)
|
||||||
.boxed();
|
.boxed();
|
||||||
|
|
||||||
let num_val = any()
|
let num_val = any().filter(|t| matches!(t, Token::Num(_))).map(|t| {
|
||||||
.filter(|t| matches!(t, Token::Num(_)))
|
let Token::Num(n) = t else { unreachable!() };
|
||||||
.map(|t| {
|
n
|
||||||
let Token::Num(n) = t else { unreachable!() };
|
});
|
||||||
n
|
|
||||||
});
|
|
||||||
|
|
||||||
let num = num_val.map(|n| Pattern::Num(NumCtr::Num(n))).labelled("<Num>");
|
let num = num_val.map(|n| Pattern::Num(NumCtr::Num(n))).labelled("<Num>");
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user