From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.2 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	FROM_STARTS_WITH_NUMS autolearn=no autolearn_force=no version=3.4.4
X-Received: by 10.107.17.22 with SMTP id z22mr12662546ioi.16.1516191228228;
        Wed, 17 Jan 2018 04:13:48 -0800 (PST)
X-Received: by 10.157.31.57 with SMTP id x54mr60771otd.1.1516191228055; Wed,
 17 Jan 2018 04:13:48 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!border1.nntp.ams1.giganews.com!nntp.giganews.com!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer02.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!g80no2926238itg.0!news-out.google.com!b73ni18126ita.0!nntp.google.com!g80no2926235itg.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 17 Jan 2018 04:13:47 -0800 (PST)
In-Reply-To: <ly3734alen.fsf@pushface.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=82.154.191.49;
 posting-account=rhqvKAoAAABpikMmPHJSZh4400BboHwT
NNTP-Posting-Host: 82.154.191.49
References: <14a35359-150a-4aa6-b437-19c74381be4b@googlegroups.com>
 <d90f7446-0adc-4541-8a8e-937997ff8fd7@googlegroups.com>
 <ly3734alen.fsf@pushface.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e795335b-734a-4e1b-9bd5-fd6769335c6d@googlegroups.com>
Subject: Re: strange length check error
From: Mehdi Saada <00120260a@gmail.com>
Injection-Date: Wed, 17 Jan 2018 12:13:48 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Body-CRC: 2047849318
X-Received-Bytes: 1873
Xref: reader02.eternal-september.org comp.lang.ada:49952
Date: 2018-01-17T04:13:47-08:00
List-Id: <comp.lang.ada>

I get it, it's ugly, inefficient, wrong, I KNOW, but it's not mine, and I can't affor rewriting *every* piece of code that come along the exercices.
Well, I could replace the actual
type BOUNDED_STRING is record
    LENGTH: NATURAL := 0;
    DATA: STRING;
end record;

by: type Bounded_String (Length: Natural := 0) is record
    Data: String (1..Length);
end record;

I suppose it wouldn't impact the specification a lot. But I guess it wouldn't be enough to please you, Dmitry ? I swear I'll try your strings later, when the *teacher*'s exemples will work as they should.