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=0.6 required=5.0 tests=BAYES_00,TO_NO_BRKTS_FROM_MSSP
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,8eff44ec1bcf8433
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-10-23 06:30:07 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!news-out.nuthinbutnews.com!propagator2-austin!propagator!feed2.newsfeeds.com!newsfeeds.com!newsranger.com!www.newsranger.com!not-for-mail
Newsgroups: comp.lang.ada
From: Ted Dennison<dennison@telepath.com>
References: <9qctpn$lil$1@news.huji.ac.il>
 <3nCy7.29644$ev2.35903@www.newsranger.com> <9qfgla$7sb$3@news.huji.ac.il>
 <x7v4royhk79.fsf@smaug.pushface.org> <9qnflg$pm$1@news.huji.ac.il>
 <3BCF57C8.DE99D9C@boeing.com> <un12nod47.fsf@gsfc.nasa.gov>
 <3BD0E523.E23FB134@acm.org> <ug08bgnu2.fsf@gsfc.nasa.gov>
 <3BD4D157.C96BBAAD@acm.org>
Subject: Re: Container reqs
Message-ID: <%geB7.39480$ev2.46195@www.newsranger.com>
X-Abuse-Info: When contacting newsranger.com regarding abuse please
X-Abuse-Info: forward the entire news article including headers or
X-Abuse-Info: else we will not be able to process your request
X-Complaints-To: abuse@newsranger.com
NNTP-Posting-Date: Tue, 23 Oct 2001 09:29:31 EDT
Organization: http://www.newsranger.com
Date: Tue, 23 Oct 2001 13:29:31 GMT
Xref: archiver1.google.com comp.lang.ada:15070
Date: 2001-10-23T13:29:31+00:00
List-Id: <comp.lang.ada>

In article <3BD4D157.C96BBAAD@acm.org>, Jeffrey Carter says...
>
>So it would seem. I think SAL doesn't provide simple instantiation for
>any Ada type.

I'm curious about this "requirement"; Does it hold for limited types too? If so,
you are limiting the implementations in certian ways.

As a checkpoint, the STL relies on making copies of objects, so it doesn't work
with C++'s equivalent of limited types. This isn't really too much of a
hardship, as you can use it with pointers to such types.

It probably wouldn't prove too much of a hardship in Ada to limit the component
library to non-limited definite types.

---
T.E.D.    homepage   - http://www.telepath.com/dennison/Ted/TED.html

No trees were killed in the sending of this message. 
However a large number of electrons were terribly inconvenienced.