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.140.168.85 with SMTP id o82mr9766354qho.6.1447273958106;
        Wed, 11 Nov 2015 12:32:38 -0800 (PST)
X-Received: by 10.182.112.234 with SMTP id it10mr117421obb.13.1447273958069;
 Wed, 11 Nov 2015 12:32:38 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!peer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!b51no21871qgf.0!news-out.google.com!f6ni1382igq.0!nntp.google.com!i2no1962873igv.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 11 Nov 2015 12:32:37 -0800 (PST)
In-Reply-To: <6d874e75-e2c9-47e9-b394-f04052f10aa3@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=109.88.54.35;
 posting-account=6m7axgkAAADBKh082FfZLdYsJ24CXYi5
NNTP-Posting-Host: 109.88.54.35
References: <7ba56b33-28d4-42d2-8b9b-5ad9f5beab8b@googlegroups.com>
 <87io597447.fsf@theworld.com>
 <66278720-249a-4191-a908-bb840e7f3ccc@googlegroups.com>
 <faede672-7158-4c24-9647-8bd6f0cb5742@googlegroups.com>
 <n1vtm0$db7$1@dont-email.me>
 <d3958370-a3c5-4aac-9abf-bc9ddc873494@googlegroups.com>
 <6d874e75-e2c9-47e9-b394-f04052f10aa3@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <cb164350-3ee0-4324-8d42-cfc66c2c4d5f@googlegroups.com>
Subject: Re: Bounded String question
From: Serge Robyns <serge.robyns@gmail.com>
Injection-Date: Wed, 11 Nov 2015 20:32:38 +0000
Content-Type: text/plain; charset=ISO-8859-1
X-Received-Bytes: 1967
X-Received-Body-CRC: 893938293
Xref: news.eternal-september.org comp.lang.ada:28310
Date: 2015-11-11T12:32:37-08:00
List-Id: <comp.lang.ada>

On Wednesday, 11 November 2015 21:23:58 UTC+1, AdaMagica  wrote:
> This works:
> 
> 
> with Ada.Strings; use Ada.Strings;
> with Ada.Strings.Bounded;
> 
> procedure BS_Test is
>    package BS is new Ada.Strings.Bounded.Generic_Bounded_Length (20);
> 
>    type OS is new BS.Bounded_String;
>    
>    No_OS : constant OS := OS (BS.Null_Bounded_String);  -- renaming does not work here, only allowed for tagged types

This how this whole thread started.  That construct does not work with pragma preelaborate.  But this was exactly the code I had initially :-)