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: 103376,80435549e92d4e0c
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local01.nntp.dca.giganews.com!nntp.scarlet.biz!news.scarlet.biz.POSTED!not-for-mail
NNTP-Posting-Date: Sat, 10 Sep 2005 10:26:05 -0500
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: Charles container library usage examples
References: <m3slwm6fkm.fsf@rr.trudgett> <u4q92buke.fsf@earthlink.net>
	<m3d5np1xwa.fsf@rr.trudgett> <87mzmssqbq.fsf@ludovic-brenta.org>
	<m31x42rjbk.fsf@rr.trudgett> <4321a2e0_3@newsfeed.slurp.net>
	<m3zmqlgyoo.fsf@rr.trudgett> <u1x3x6kgl.fsf@earthlink.net>
Date: Sat, 10 Sep 2005 17:26:26 +0200
Message-ID: <87k6hposf1.fsf@ludovic-brenta.org>
User-Agent: Gnus/5.110004 (No Gnus v0.4) Emacs/21.4 (gnu/linux)
Cancel-Lock: sha1:HsoTtpaRLErUYO65F9f+Ki8QSE8=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
NNTP-Posting-Host: 83.134.245.139
X-Trace: 
 sv3-abKX1zVufeRYxGEfJOvuUi0zXWyeSsbgknTyZIHk0mNt6jMu86ZTchdeFwKLldnLkArYSrjTgqSaxfi!mk65LJ+iUiR57LxdvNxLnnACIgcPyuVujj4j/jdSmO0+yv4y4/1jt5h5pOMOxn8zSXm71eNhjcw=
X-Complaints-To: abuse@scarlet.be
X-DMCA-Complaints-To: abuse@scarlet.biz
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.32
Xref: g2news1.google.com comp.lang.ada:4568
Date: 2005-09-10T17:26:26+02:00
List-Id: <comp.lang.ada>

Matthew Heaney <matthewjheaney@earthlink.net> writes:

> David Trudgett <wpower@zeta.org.au.nospamplease>  writes:
>
>> I'd say it was easier to use than Charles because there was no concern
>> about instantiating generic packages, nor any requirement to create
>> multiple source files.
>
> That last part about multiple files in only true in Ada95.  In Ada 2005,
> you'll be able to instantiate generic container packages in a local
> scope, hence only a single file will be necessary.

Yes.  I read about that in John Barnes' "Rationale for Ada 2005" (in
"Ada User Journal", volume 26, number 1, page 53).  This apparently
requires the introduction of some run-time checks.  Do Ada.Containers
try to avoid such run-time checks?  How?

And is there a way (pragma Restrictions?) to forbid these run-time
checks?

-- 
Ludovic Brenta.