Next: Pragma Provide_Shift_Operators, Previous: Pragma Profile_Warnings, Up: Implementation Defined Pragmas [Contents][Index]
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.