[ASL] Semantics of throw statement about herdtools7 HOT 2 CLOSED

ASL U

{ }

type  Coucou of exception {};

func f(a:integer) => integer
begin
  let b = SomeBoolean();
  if b then
    throw Coucou { };  
  end
  return a;
end

func main() => integer
begin
  let x=0;
  try
    let z = f(x);
    print(z);
  catch
    when Coucou =>
      assert TRUE;
  end
  return 0;
end

% herd7 U.litmus
0
0
Warning: Uncaught exception: Coucou {}