/* Test boolean pattern matching more thoroughly */

/* Test with direct boolean values */
test1 : when true is
  true then "true matched"
  false then "false matched"
  _ then "wildcard matched";

test2 : when false is
  true then "true matched"
  false then "false matched"
  _ then "wildcard matched";

..out test1;
..out test2;