/* Test multiple values using working syntax */

compare : 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 0 0;
test2 : compare 0 5;
test3 : compare 5 0;
test4 : compare 5 5;

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