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=unavailable autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca3.giganews.com!backlog3.nntp.dca3.giganews.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newspeer1.nac.net!feeder.erje.net!eu.feeder.erje.net!newsreader4.netcologne.de!news.netcologne.de!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Thu, 05 Dec 2013 10:51:40 +0100
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:24.0) Gecko/20100101 Thunderbird/24.1.1
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Reason for 'Ada.Strings.Bounded' not being declared 'pragma Pure'
 ?
References: <45ccc264-b606-45d1-a766-f1d8e652212f@googlegroups.com>
In-Reply-To: <45ccc264-b606-45d1-a766-f1d8e652212f@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <52a04caa$0$6636$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 05 Dec 2013 10:51:38 CET
NNTP-Posting-Host: 9afe62ea.newsspool2.arcor-online.net
X-Trace: DXC=6><4I4gHleQV0Pe9PRnbJ\A9EHlD;
 3YcR4Fo<]lROoRQ8kF<OcfhCO[:L7ScYSh92UPCY\c7>ejVXPIecX5=J4\QlW^5Rh4EZNZ
X-Complaints-To: usenet-abuse@arcor.de
X-Original-Bytes: 1395
Xref: number.nntp.dca.giganews.com comp.lang.ada:184085
Date: 2013-12-05T10:51:38+01:00
List-Id: <comp.lang.ada>

On 05.12.13 04:58, Rod Kay wrote:
> Hi all,
>
>     Would anyone know the reason for this ?

Two possible reasons, guessing:

1) pragma Pure being >= Ada 95, and compatibility,

2) an implementation may choose to use pointers internally.