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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@notmyhomepage.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Teaching C/C++ from Ada perspective?
Date: Wed, 4 Jul 2018 23:03:29 +0200
Organization: A noiseless patient Spider
Message-ID: <phjcn2$re1$1@dont-email.me>
References: <856189aa-fa00-4960-929e-174f352310ad@googlegroups.com>
 <cb42dad1-9545-482b-a1e8-c18f268e74ce@googlegroups.com>
 <2718c8d4-5f35-4fd8-a1aa-1e60069a7a5d@googlegroups.com>
 <39fce60c-9f56-42fb-b679-fa08810b00ee@googlegroups.com>
 <3701bf07-89a5-4cb0-a704-5aebb589ca79@googlegroups.com>
 <2f5e4ce0-94e8-4b94-9da7-045ec90a9b22@googlegroups.com>
 <18554067-1382-4b43-a832-2d27aa5117d7@googlegroups.com>
 <8dc19505-b68a-403c-a164-f1de1864f3f1@googlegroups.com>
 <f7878185-925d-4752-9b3f-75506cce7deb@googlegroups.com>
 <da7000f7-7583-4119-b21e-87117b67b048@googlegroups.com>
 <d8ed2a68-b8f2-4d22-971c-1ddf8e387768@googlegroups.com>
 <559657f8-bbf4-4a70-9449-f85bc98d6c6b@googlegroups.com>
 <lyva9v84yb.fsf@pushface.org>
 <590d4672-4aef-42a5-823c-57ccd291115a@googlegroups.com>
 <phiv63$26l$1@dont-email.me>
 <afe44557-bd9d-4232-b1a0-f01209c8297a@googlegroups.com>
Reply-To: nonlegitur@notmyhomepage.de
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 4 Jul 2018 21:03:30 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="e2afc3e788f3c40921cdc92cfee407d6";
	logging-data="28097"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1807b3ZPo9a29heZxvIxVZJ6Ansc9D9V7A="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:52.0)
 Gecko/20100101 Thunderbird/52.8.0
Cancel-Lock: sha1:RsziF3rN/mD+iuwSlFW5NBvZBJg=
In-Reply-To: <afe44557-bd9d-4232-b1a0-f01209c8297a@googlegroups.com>
Content-Language: de-DE
Xref: reader02.eternal-september.org comp.lang.ada:53622
Date: 2018-07-04T23:03:29+02:00
List-Id: <comp.lang.ada>

On 04.07.18 22:18, Maciej Sobczak wrote:
>>  From the Ada perspective a potentially use-visible identifier is
>> introduced.
> 
>  From the Ada perspective that same identifier is not visible at all to the Test unit, because there is no "with P" there. 
I was wondering how that semantic smartness could work at all.
The docs of `-m' mention comments and reformatting only.
They warn us of potentially misleading line numbers caused
by ignoring layout changes. Anyway, the resulting program must
change as another type declaration is added to package P.