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,36a29c2860aff686
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!news.in2p3.fr!in2p3.fr!news.ecp.fr!news.jacob-sparre.dk!pnx.dk!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Properties
Date: Fri, 3 Dec 2010 15:10:17 -0600
Organization: Jacob Sparre Andersen
Message-ID: <idbmbr$2ue$1@munin.nbi.dk>
References: <3b84c8e7-1a51-4a7c-9646-119f1fc51478@s4g2000yql.googlegroups.com>
 <id1l6f$2v8$1@munin.nbi.dk>
 <Xns9E4079BDD55B9SnarkCharmedFerSure@81.169.183.62>
 <vkz3nbgxubt1$.11vfo4rwuzegd.dlg@40tude.net>
 <Xns9E409D36561F0WarrensBlatherings@81.169.183.62>
 <4pnv7nl4cdui$.1n28i7lqk4mek$.dlg@40tude.net>
 <Xns9E4169656D757WarrensBlatherings@81.169.183.62>
 <1k7367gtebsgm$.18auo6u3nfg34.dlg@40tude.net>
 <Xns9E417369AD1F4WarrensBlatherings@81.169.183.62>
 <1u5dftkqqi68c.10079qnqyyfwb$.dlg@40tude.net>
 <eb7234af-6ac4-44cd-b354-5addf4155215@fl7g2000vbb.googlegroups.com>
 <15tv4yga36dpi$.1hc09dlbgcmqe.dlg@40tude.net>
 <18768dde-5817-40b9-aaa1-03c620ad7187@i32g2000pri.googlegroups.com>
 <18f98563-340c-4bc2-83e5-8d1187f92165@j19g2000prh.googlegroups.com>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1291410619 3022 69.95.181.76 (3 Dec 2010 21:10:19 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Fri, 3 Dec 2010 21:10:19 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5931
Xref: g2news1.google.com comp.lang.ada:15784
Date: 2010-12-03T15:10:17-06:00
List-Id: <comp.lang.ada>

"Shark8" <onewingedshark@gmail.com> wrote in message 
news:18f98563-340c-4bc2-83e5-8d1187f92165@j19g2000prh.googlegroups.com...
On Dec 2, 2:57 am, Maciej Sobczak <see.my.homep...@gmail.com> wrote:
>>
>>Wrong (AARM Annex A, 3.a):
>>
>>"simultaneous calls to Text_IO.Put will work properly, so long
>>as they are going to two different files. On the other hand,
>>simultaneous output to the same file constitutes erroneous use
>>of shared variables."

>Er, then does that mean that the following is wrong?

Formally, yes. Practically, no. The underlying OS does not have problems 
with this sort of construct, nor do any Ada implementations that I am aware 
of. But of course there is no guarantee as to how the output will be 
presented.

                          Randy.