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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a691dc29968966aa,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-03-19 06:12:41 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.vmunix.org!news-FFM2.ecrc.net!news.iks-jena.de!not-for-mail
From: Lutz Donnerhacke <lutz@iks-jena.de>
Newsgroups: comp.lang.ada
Subject: pragma Import with 'Address clause
Date: Wed, 19 Mar 2003 14:12:41 +0000 (UTC)
Organization: IKS GmbH Jena
Message-ID: <slrnb7guml.nt.lutz@taranis.iks-jena.de>
NNTP-Posting-Host: taranis.iks-jena.de
X-Trace: branwen.iks-jena.de 1048083161 20631 217.17.192.37 (19 Mar 2003
 14:12:41 GMT)
X-Complaints-To: usenet@iks-jena.de
NNTP-Posting-Date: Wed, 19 Mar 2003 14:12:41 +0000 (UTC)
User-Agent: slrn/0.9.7.4 (Linux)
Xref: archiver1.google.com comp.lang.ada:35511
Date: 2003-03-19T14:12:41+00:00
List-Id: <comp.lang.ada>

A common technique to reinterpret data is:
  a : AT;
  [...]
  b : BT;
  for b'Address use a'Address;
  pragma Import(Ada, b);

Is the "pragma Import" really necessary? Of course, the ARM says, that
elaboration and definition of the imported object is externally defined. So
they are omitted from the Ada code itself.

Assume BT is a record without any default expressions. Does this mean, the
pragma can be omitted from the source code?

Background: Spark prohibits the use of Pragma Import on objects.