Next: , Previous: Pragma Profile_Warnings, Up: Implementation Defined Pragmas


2.137 Pragma Propagate_Exceptions

Syntax:

    pragma Propagate_Exceptions;

This pragma is now obsolete and, other than generating a warning if warnings on obsolescent features are enabled, is ignored. It is retained for compatibility purposes. It used to be used in connection with optimization of a now-obsolete mechanism for implementation of exceptions.