/* Integration Test: Multi-parameter case expression at top level */

/* Test multi-parameter case expressions */
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;

..assert test1 = "both zero";
..assert test2 = "x is zero";
..assert test3 = "y is zero";
..assert test4 = "neither zero";

..out "Multi-parameter case expression test completed";