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.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.99.141.75 with SMTP id z72mr8430415pgd.149.1505237396367;
        Tue, 12 Sep 2017 10:29:56 -0700 (PDT)
X-Received: by 10.36.64.151 with SMTP id n145mr12269ita.10.1505237396322; Tue,
 12 Sep 2017 10:29:56 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!border1.nntp.ams1.giganews.com!nntp.giganews.com!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!127no431202itw.0!news-out.google.com!p6ni41itp.0!nntp.google.com!127no431200itw.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 12 Sep 2017 10:29:55 -0700 (PDT)
In-Reply-To: <op94rd$r83$1@gioia.aioe.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=51.174.245.155;
 posting-account=uulyKwoAAAA86DO0ODu--rZtbje8Sytn
NNTP-Posting-Host: 51.174.245.155
References: <oludae$seh$1@franka.jacob-sparre.dk>
 <op6odj$elu$1@gioia.aioe.org>
 <d5f3c820-1e9c-4a7d-9e2b-1981647180e5@googlegroups.com>
 <e3074266-6ebc-4eab-b0de-7fc1a4b5c7c4@googlegroups.com>
 <67345f73-530c-400b-9eb4-63eeb440154c@googlegroups.com>
 <b21832af-972a-4746-b9b1-9ea4a48bd196@googlegroups.com>
 <op868s$s5i$1@gioia.aioe.org>
 <9a6338d9-83be-4e45-b8b7-edc56e33537f@googlegroups.com>
 <op8cgh$183k$1@gioia.aioe.org>
 <2deb28e2-f7e8-4461-b8b8-c2c6cf2784aa@googlegroups.com>
 <op8iqd$1kg9$1@gioia.aioe.org>
 <5de470d2-aa3d-4c02-ae2b-266c33a289fe@googlegroups.com>
 <op8mio$1scc$1@gioia.aioe.org>
 <5126ef7a-3324-4e44-b110-5e4838189f5f@googlegroups.com>
 <op8oa8$1vpt$1@gioia.aioe.org>
 <3c76c2ed-319f-410c-8dec-6a80a0948c7a@googlegroups.com>
 <op901h$g0i$1@gioia.aioe.org>
 <1c8a3a96-1cdb-4c16-9c25-2da9bbf52cc9@googlegroups.com>
 <op92mh$ltk$1@gioia.aioe.org>
 <dd8aa41b-c3ba-4870-a9af-dae810be1dbf@googlegroups.com>
 <op93op$ofq$2@gioia.aioe.org>
 <f7d9d392-7bc5-4dab-acf9-ceb15b138eff@googlegroups.com>
 <op94rd$r83$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <4bebca5c-5044-457b-b623-9c79da90945f@googlegroups.com>
Subject: Re: Community Input for the Maintenance and Revision of the Ada
 Programming Language
From: Egil H H <ehh.public@gmail.com>
Injection-Date: Tue, 12 Sep 2017 17:29:56 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2909
X-Received-Body-CRC: 3598685893
Xref: news.eternal-september.org comp.lang.ada:48075
Date: 2017-09-12T10:29:55-07:00
List-Id: <comp.lang.ada>

On Tuesday, September 12, 2017 at 7:17:38 PM UTC+2, Dmitry A. Kazakov wrote:
> No, it does not work. Try
> 
>     package S_1000 is new Ada.Strings.Bounded (1000);
>     package S_10 is new Ada.Strings.Bounded (10);
> 
>     X : S_1000.Bounded_String;
>     Y : S_10.Bounded_String;
> 
>     X := Y;
> 
> A proper implementation of bounded-length string, provided we needed 
> them, should have worked like this:
> 
>     X : Bounded_String (1000); -- 1000 is my limit, now I am ""
>     Y : Bounded_String (10) := "abc"; -- 10 is mine, now I am "abc"
> 
>     X := Y; -- We are both strings, don't we?

Ah, so yo want to give up type safety... those are different types, instantiated for different purposes.
You're on your own, then... 
Good luck with your unsafe memory hog.