CTMCP Section 2.9 Exercise 5

CTMCP-Section2.9-5.oz

declare Test
proc {Test X}
   case X
   of a|Z then {Browse 'case'(1)}
   [] f(a) then  {Browse 'case'(2)}
   [] Y|Z andthen Y==Z then  {Browse 'case'(3)}
   [] Y|Z then  {Browse 'case'(4)}
   [] f(Y) then  {Browse 'case'(5)}
   else {Browse 'case'(6)} end
end

{Test [b c a]}
{Test f(b(3))}
{Test f(a)}
{Test f(a(3))}
{Test f(d)}
{Test [a b c]}
{Test [c a b]}
{Test a|a}
{Test '|'(a b c)}