(* Test: RAISE statements *)

MODULE Main;
<*FATAL Error, Failure, BigArg*>

TYPE Foo = RECORD a, b, c: INTEGER END;

VAR i : INTEGER;
VAR f : Foo;

EXCEPTION Error;
EXCEPTION Failure (INTEGER);
EXCEPTION BigArg (Foo);

BEGIN

  IF (i < 0) THEN RAISE Error; END;

  IF (i > 0)
    THEN RAISE Failure (i);
    ELSE RAISE BigArg (f);
  END;

END Main.