Re: strange length check error

[Simon Wright <simon@pushface.org>]

Anh Vo <anhvofrcaus@gmail.com> writes:

> On Tuesday, January 16, 2018 at 12:48:45 PM UTC-8, Mehdi Saada wrote:
>> This : Put(Ch_Bounded1 & ' ' );
>> Calls on that:
>> function "&"
>>      (Left  : in     Bounded_String;
>>       Right : in     Character)
>>       return Bounded_String
>>    is
>>    begin
>>       if LENGTH(LEFT) + 1 > MAX_LENGTH then
>>          raise LENGTH_ERROR with "ERROR '&': LEFT.LENGTH := " & NATURAL'IMAGE(LENGTH(LEFT)) & " + 1 > MAX_LENGTH";
>>       else
>>  @@@     return (LENGTH(LEFT) + 1, LEFT.DATA(1..LENGTH(LEFT)) & RIGHT);
>>       end if;
>>    end "&";
>> 
>> The line with @@@ raises this:
>> raised CONSTRAINT_ERROR : p_bounded_g-p_new_bounded_g.adb:34 length check failed
>> The value of CH_BOUNDED1 at that moment is "pour tester le debut", its length is 21, and MAX_LENGTH est 80.
>
> What is Bounded_String?

I agree. It's not the one from the standard library ((a) it's different,
(b) the standard library doesn't use this ugly, hard to read,
identifiers-in-upper-case style).

This shows why claims that you never need to use the debugger when you
write in Ada are wrong. "What, never?" "Well,hardly ever."