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,fce663eaf40b52f6
X-Google-Attributes: gid103376,public
Path: 
 controlnews3.google.com!news2.google.com!news.maxwell.syr.edu!in.100proofnews.com!in.100proofnews.com!border2.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local1.nntp.dca.giganews.com!nntp.megapath.net!news.megapath.net.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 12 May 2004 14:48:59 -0500
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
References: <feQlc.6993$V97.2116@newsread1.news.pas.earthlink.net>
 <mailman.68.1083695056.313.comp.lang.ada@ada-france.org>
 <bebbba07.0405042128.1a322885@posting.google.com>
 <c7b8oa$o6v$1@titan.btinternet.com>
 <bebbba07.0405051942.59af7456@posting.google.com> <e8oc7c.itd.ln@skymaster>
 <na0k90h8oii6063v7n6u5mmib5v20b2emh@4ax.com>
 <at0k90dam2ahnu7o4qj5lj75jmk5k8b61u@jellix.jlfencey.com>
 <7v9k901htdtm86kg9umqhptirt7vmjcr3m@4ax.com>
 <c7dj8b$ffr$2@a1-hrz.uni-duisburg.de>
 <mrem90lkgi1om9aip1d4dcqti538v9sbr8@4ax.com>
Subject: Re: Manifesto against Vector
Date: Wed, 12 May 2004 14:49:03 -0500
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4807.1700
X-MIMEOLE: Produced By Microsoft MimeOLE V5.50.4910.0300
Message-ID: <YPedncpO38w24j_dRVn_iw@megapath.net>
NNTP-Posting-Host: 64.32.209.38
X-Trace: 
 sv3-5BP9fuxQay1JnChptNwdhoS01heKNgcDisH850nY0NXZHpmDL2jiu1Lbee2f3hMdL/2GOugbNQWWW/t!Hg6QnFtjeZLqr5JhzMEMJ6i3QnZiioQJ+gkwZM3QyEgTz7E5Ky4n36mH+TaHvixa9ePQ+KswWXHP
X-Complaints-To: abuse@megapath.net
X-DMCA-Complaints-To: abuse@megapath.net
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.1
Xref: controlnews3.google.com comp.lang.ada:510
Date: 2004-05-12T14:49:03-05:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
news:mrem90lkgi1om9aip1d4dcqti538v9sbr8@4ax.com...
> >: On the contrary "with" has no other sense than being just a
> >: hint to the compiler/linker.

It's much more than a "hint". It also controls which entities *can be*
visible in a particular unit. Otherwise, it would be necessary for a
compiler to load the universe into its symboltable -- and then it would be
impossible to determine if any program is legal or not. (Because you could
make almost any program legal by just saying that the universe includes more
stuff).

So the main function of "with" is to limit the universe of symbols that can
be referenced in a program. Besides implementation issues (what to load into
the symboltable for a particular compile), this also has an impact on
legality.

                        Randy.