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.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,682ac581ea925e5
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-11-12 16:09:55 PST
Path: 
 nntp.gmd.de!newsserver.jvnc.net!news.cac.psu.edu!news.pop.psu.edu!hudson.lm.com!godot.cc.duq.edu!news.duke.edu!news-feed-1.peachnet.edu!gatech!swiss.ans.net!cmcl2!thecourier.cims.nyu.edu!thecourier.cims.nyu.edu!nobody
From: dewar@cs.nyu.edu (Robert Dewar)
Newsgroups: comp.lang.ada
Subject: Re: Systemless use of 'Address.
Date: 12 Nov 1994 15:38:39 -0500
Organization: Courant Institute of Mathematical Sciences
Message-ID: <3a394f$3fd@gnat.cs.nyu.edu>
References: <9411101514.AA21438@eurocontrol.de>
 <cary-111194123015@macsac03.esl.com>
NNTP-Posting-Host: gnat.cs.nyu.edu
Date: 1994-11-12T15:38:39-05:00
List-Id: <comp.lang.ada>

Actually I don't see why you would expect a "with" of System to be required,
since no entity from system is mentioned, and hence accessibility to
System is not required.

The use of the 'Address attribute in the absence of visibility into System
is certainly a little peculiar. A strict reading of 1815 probably indicates
that there is no requirement for package system to be present, but this is
obviously peculiar, and AI-00043/08-BI-WA addresses this issue by requiring
that the unit using 'Address must depend directly or indirectly on System
(but still does not require an explicit with of system). Ada 9X makes this
rule a clear part of the language.

Note: I stronly recommend having at hand a copy of the Annotated Ada
Reference Manual from Karl Nyberg if you are still using Ada 83. It's well
layed out, and allows you to answer questions like this, complete with 
appropriate AI references, easily.