Skip to content

Commit

Permalink
fix: allow and() and or() metafunctions to be variadic as documented (#…
Browse files Browse the repository at this point in the history
  • Loading branch information
jvanstraten authored Sep 12, 2022
1 parent f316b2d commit 6c838d9
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions rs/src/parse/extensions/simple/derivations/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -422,12 +422,14 @@ fn check_function(
check_function_fixed_prototype(y, z, function, arguments, &[meta::Type::Boolean]);
}
meta::Function::And | meta::Function::Or => {
check_function_fixed_prototype(
check_function_variadic_prototype(
y,
z,
function,
arguments,
&[meta::Type::Boolean, meta::Type::Boolean],
&meta::Type::Boolean,
VariadicRange::at_least(0),
VariadicRange::exactly(2),
);
}
meta::Function::Negate => {
Expand Down

0 comments on commit 6c838d9

Please sign in to comment.