Re: About String

Pascal Obry wrote:
> Simon Wright a écrit :
>> You might want to handle the problem locally:
>>
>>    procedure Patati_Patata is
>>    begin
>>       declare
>>          S : String := A_Function_Raising_Constraint_Error;
>>       begin
>>          --  some code
>>       exception
>>          when Constraint_Error =>
>>             --  deal with the problem and carry on ..
>>       end;
>>       --  .. here
> 
> This one is wrong. The exception on the declare section can't be handled

> on the local block as it will raised outside of the block.
> 
> Pascal.
> 

You are correct.  I have to say this is an entirely non-intuitive 
"feature" of the language.  We talk about declare blocks and yet the 
scope of the exception handlers doesn't include the declarations!   And 
the OP is correct in noticing that without the inner declare block 
exceptions raised in the outermost declarative section leak into the 
calling subprogram.  Ugh.

Chris