PowerAda 40
From OC Systems Wiki!
(40) The result of Exceptions.Exception_Name for types declared within an unnamed block_statement.
See 11.4.1(12).
Whether the block is named or unnamed is immaterial. The Exception_Name for types declared within a block statement does not contain any representation of the block name. In both cases, the result of Exception_Name is the same as if the exception was declared within the enclosing subprogram.