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-Thread: a07f3367d7,229b63b453788905
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.66.77.41 with SMTP id p9mr1637460paw.8.1344849374738;
        Mon, 13 Aug 2012 02:16:14 -0700 (PDT)
Path: 
 p10ni48093485pbh.1!nntp.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!news-in-01.newsfeed.easynews.com!easynews.com!easynews!novia!newsfeed.yul.equant.net!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!news-feed.eu.lambdanet.net!news.bcc.de!newsfeeder.ewetel.de!ecngs!feeder2.ecngs.de!78.46.240.70.MISMATCH!weretis.net!feeder4.news.weretis.net!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Sledgehammer Indexing Tools
Date: Tue, 07 Aug 2012 18:16:54 +0100
Organization: A noiseless patient Spider
Message-ID: <m28vdq1v21.fsf@nidhoggr.home>
References: <4ec110af-691d-4100-8cd8-b99efda5351b@googlegroups.com>
	<m2d3330y4r.fsf@nidhoggr.home>
	<9ccd79a7-df35-4854-97de-a35554b963f0@googlegroups.com>
	<37c0bb91-956f-4f82-a52f-b269748c0201@googlegroups.com>
Mime-Version: 1.0
Injection-Info: mx04.eternal-september.org;
 posting-host="edf2659fbb8cb6d4b5f62db4b36ac1e6";
	logging-data="24766"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+c0iXUdsWZxgqK5Ex8pnfDnIskLGzhPT0="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.1 (darwin)
Cancel-Lock: sha1:oQPBc6G7F0TCq89MYCn4FUKO6ig=
	sha1:Qd7AzXEEoGmBLGnmgg2D94YTkcE=
X-Received-Bytes: 2457
Content-Type: text/plain
Date: 2012-08-07T18:16:54+01:00
List-Id: <comp.lang.ada>

Marius Amado-Alves <amado.alves@gmail.com> writes:

>> > In - for example - external_lookup.ads, you've "use"d several of your
>> > own packages. I'd think that you can reasonably expect readers to know
>> > the standard library (for example, Indefinite_Vectors), but how can they
>> > know where Occurrences is defined?
>
>> That I don't understand.They are defined in the respective source packages.
>
> In WHICH one? That's the problem. Don't use "use". Use full
> qualification
>
>    ... The_Package_Where.Occurrences_Is_Defined.Occurrences ...
>
> or renaming
>
>    package TPWOID renames The_Package_Where.Occurrences_Is_Defined;
>    ...
>    ... TPWOIS.Occurrences
>
> or a single "use" in a block
>
>    declare
>       use The_Package_Where.Occurrences_Is_Defined;
>    begin
>       ... Occurences ...
>
> or only "use type" (also in a block) if you only need some operators.
> (I have not looked at the specific code.)

In this case, external_lookup.ads might say

   package Occurrences_Vector is new Indefinite_Vectors (
      Natural,
      Token_Maps.Occurrences.Map,
      Token_Maps.Occurrences."=");