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!news1.google.com!news.glorb.com!newsfeed.stueberl.de!eusc.inter.net!cs.tu-berlin.de!uni-duisburg.de!not-for-mail
From: Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>
Newsgroups: comp.lang.ada
Subject: Re: Manifesto against Vector
Date: Thu, 6 May 2004 14:48:43 +0000 (UTC)
Organization: GMUGHDU
Message-ID: <c7dj8b$ffr$2@a1-hrz.uni-duisburg.de>
References: <mailman.63.1083641204.313.comp.lang.ada@ada-france.org>
 <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>
NNTP-Posting-Host: l1-hrz.uni-duisburg.de
X-Trace: a1-hrz.uni-duisburg.de 1083854923 15867 134.91.1.34 (6 May 2004
 14:48:43 GMT)
X-Complaints-To: usenet@news.uni-duisburg.de
NNTP-Posting-Date: Thu, 6 May 2004 14:48:43 +0000 (UTC)
User-Agent: tin/1.5.8-20010221 ("Blue Water") (UNIX) (HP-UX/B.11.00
 (9000/800))
Xref: controlnews3.google.com comp.lang.ada:322
Date: 2004-05-06T14:48:43+00:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:

: On the contrary "with" has no other sense than being just a
: hint to the compiler/linker.

It is also a hint to me, the reader! And if there is redundancy
in explicitness, this does help analysing, understanding, and
debugging programs, doesn't it? In particular if the program text
is not correct.


-- Georg