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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,73cb216d191f0fef
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
X-Received: by 10.180.189.209 with SMTP id gk17mr104159wic.7.1366082454887;
        Mon, 15 Apr 2013 20:20:54 -0700 (PDT)
Path: 
 hg5ni6313wib.1!nntp.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!193.141.40.65.MISMATCH!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!border2.nntp.ams2.giganews.com!border1.nntp.ams2.giganews.com!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!news.teledata-fn.de!weretis.net!feeder4.news.weretis.net!nuzba.szn.dk!news.jacob-sparre.dk!munin.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: Jacob Sparre Andersen <sparre@nbi.dk>
Newsgroups: comp.lang.ada
Subject: Root_String'Class? (Was: Is this expected behavior or not)
Date: Wed, 10 Apr 2013 10:00:29 +0200
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <8761zuizmq.fsf_-_@adaheads.sparre-andersen.dk>
References: <c988e09f-8532-4840-9749-b61aa39551b4@googlegroups.com>
	<1gkxiwepaxvtt$.u3ly33rbwthf.dlg@40tude.net>
	<kjig2j$nof$1@munin.nbi.dk>
	<1fmcdkj58brky.bjedt0pr39cd$.dlg@40tude.net>
	<kjknuu$gc8$1@munin.nbi.dk>
	<1bj564vat3q1j$.1s4d00rlzx4ux$.dlg@40tude.net>
	<alpine.DEB.2.02.1304051405500.30208@debian>
	<4hzv51v872q2$.1imijbwd7heqm$.dlg@40tude.net>
	<alpine.DEB.2.02.1304051646450.31361@debian>
	<pgrgoxdhtshv$.z253qtbqarkc.dlg@40tude.net>
	<alpine.DEB.2.02.1304052103590.31746@debian>
	<dn4au2div7qm.2g8zj4erryhn$.dlg@40tude.net>
	<alpine.DEB.2.02.1304072012380.2487@debian>
	<1htu9idmcci7x.1vr9eafeivqah$.dlg@40tude.net>
	<alpine.DEB.2.02.1304080942050.3493@debian>
	<imfrovuxjjo6.6ebpr0pq5kgr.dlg@40tude.net>
	<alpine.DEB.2.02.1304081709350.8693@debian>
	<twndfbdczos9.1xd66ntzsoem$.dlg@40tude.net>
	<alpine.DEB.2.02.1304090848090.10813@debian>
	<ihi0ajan1ehu.iplgjkwsfpii.dlg@40tude.net> <kk26dm$tto$1@munin.nbi.dk>
NNTP-Posting-Host: monowall.adaheads.com
Mime-Version: 1.0
X-Trace: munin.nbi.dk 1365580830 23716 86.48.41.195 (10 Apr 2013 08:00:30 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Wed, 10 Apr 2013 08:00:30 +0000 (UTC)
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux)
Cancel-Lock: sha1:zNFds2lF7u/ZtRYhoMg9zqIyg1Q=
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Date: 2013-04-10T10:00:29+02:00
List-Id: <comp.lang.ada>

Randy Brukardt wrote:

[ many interesting things about string types ]

You mention creating an abstract tagged Root_String type and deriving
actual string types from it.  Do you have some concrete ideas for how
you would do it?  Could it be done with what we have in Ada 2012?  Or
would it require some extensions to the language?

Greetings,

Jacob
-- 
�When Roman engineers built a bridge, they had to stand under it while
 the first legion marched across. If programmers today worked under
 similar ground rules, they might well find themselves getting much more
 interested in Ada!�                                     -- Robert Dewar