/* Test parentheses with multiple values in when expressions */

/* Test with parentheses around expressions */
compare_parens : x y -> 
  when (x) (y) is
    0 0 then "both zero"
    0 _ then "x is zero"
    _ 0 then "y is zero"
    _ _ then "neither zero";

test1 : compare_parens 0 0;
test2 : compare_parens 0 5;
test3 : compare_parens 5 0;
test4 : compare_parens 5 5;

..out test1;
..out test2;
..out test3;
..out test4;

/* Test with arithmetic expressions in parentheses */
compare_math : x y -> 
  when (x + 0) (y + 0) is
    0 0 then "both zero"
    0 _ then "x is zero"
    _ 0 then "y is zero"
    _ _ then "neither zero";

test5 : compare_math 0 0;
test6 : compare_math 0 5;
test7 : compare_math 5 0;
test8 : compare_math 5 5;

..out test5;
..out test6;
..out test7;
..out test8;