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.36.16.21 with SMTP id 21mr16052443ity.37.1516225057694;
        Wed, 17 Jan 2018 13:37:37 -0800 (PST)
X-Received: by 10.157.65.183 with SMTP id p52mr114526ote.3.1516225057470; Wed,
 17 Jan 2018 13:37:37 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!1.eu.feeder.erje.net!weretis.net!feeder4.news.weretis.net!ecngs!feeder2.ecngs.de!border1.nntp.ams1.giganews.com!nntp.giganews.com!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.am4!peer.am4.highwinds-media.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!w142no1046ita.0!news-out.google.com!s63ni3itb.0!nntp.google.com!w142no1045ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 17 Jan 2018 13:37:37 -0800 (PST)
In-Reply-To: <lyzi5c2rw4.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>
 <e795335b-734a-4e1b-9bd5-fd6769335c6d@googlegroups.com>
 <ca6ffdc8-6e50-45cf-9ab5-43854525bdb9@googlegroups.com>
 <54e04919-3a18-4b18-8733-1445af3a6229@googlegroups.com>
 <6018001a-119d-420f-aac5-d6d463d83778@googlegroups.com>
 <8bd89f13-4ae1-474d-a78d-459fbb8a737c@googlegroups.com>
 <lyzi5c2rw4.fsf@pushface.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <bbc4674b-75c0-402a-9487-1d34ce7c80e9@googlegroups.com>
Subject: Re: strange length check error
From: Mehdi Saada <00120260a@gmail.com>
Injection-Date: Wed, 17 Jan 2018 21:37:37 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Body-CRC: 2419391997
X-Received-Bytes: 2010
Xref: reader02.eternal-september.org comp.lang.ada:49966
Date: 2018-01-17T13:37:37-08:00
List-Id: <comp.lang.ada>

Ah ? Ah how am I gonna use File_Type then ? I can't do otherwise.
There is only valid content, since now the definition is
type Bounded_String (Length: Length_Range) is
    Data: String;
end record;
I changed everything accordingly. The package merely creates bigger or smaller Strings dynamically. I don't use Text_IO outside the IO child package.
If there is a way to do IO without Ada.Text_IO, I'm open.