MODULE Main;

EXCEPTION Error;

PROCEDURE A () RAISES { Error } =
     PROCEDURE B () RAISES {} =
       BEGIN
         RAISE Error;  (* should generate a warning *)
       END B;
  BEGIN
    B ();
  END A;

BEGIN
  A ();
END Main.