|
@@ -137,6 +137,7 @@ pub Pat: Pat = {
|
|
"_" => Pat::Wildcard,
|
|
"_" => Pat::Wildcard,
|
|
<Literal> => Pat::Lit(<>),
|
|
<Literal> => Pat::Lit(<>),
|
|
<Name> => Pat::Var(<>),
|
|
<Name> => Pat::Var(<>),
|
|
|
|
+ "<" ">" => Pat::Tup(Vec::new()),
|
|
"<" <mut ps:(<Pat> ",")*> <p:Pat> ">" => {
|
|
"<" <mut ps:(<Pat> ",")*> <p:Pat> ">" => {
|
|
ps.push(p);
|
|
ps.push(p);
|
|
Pat::Tup(ps)
|
|
Pat::Tup(ps)
|