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.180.95.2 with SMTP id dg2mr1200807wib.2.1344851138920; Mon, 13 Aug 2012 02:45:38 -0700 (PDT) Path: n2ni107459409win.0!nntp.google.com!volia.net!news2.volia.net!feed-A.news.volia.net!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!news-feed.eu.lambdanet.net!news.bcc.de!newsfeeder.ewetel.de!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: Sledgehammer Indexing Tools Date: Tue, 07 Aug 2012 22:14:21 +0100 Organization: A noiseless patient Spider Message-ID: References: <4ec110af-691d-4100-8cd8-b99efda5351b@googlegroups.com> <9ccd79a7-df35-4854-97de-a35554b963f0@googlegroups.com> <37c0bb91-956f-4f82-a52f-b269748c0201@googlegroups.com> <716bc5a7-e59d-44fe-849b-3072750b6d3f@googlegroups.com> Mime-Version: 1.0 Injection-Info: mx04.eternal-september.org; posting-host="edf2659fbb8cb6d4b5f62db4b36ac1e6"; logging-data="26434"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/B9ZQtrVHa359ktWf09F8cWh8dgYMF+O0=" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.1 (darwin) Cancel-Lock: sha1:k/uw8dET8pJLM79fP8KXOxB2SP0= sha1:Nr8xzzTpTDfhPPRHs/UF/EuwPTo= Content-Type: text/plain Date: 2012-08-07T22:14:21+01:00 List-Id: Marius Amado-Alves writes: >> > ... Use full qualification (marius) > >> In this case, external_lookup.ads might say >> >> package Occurrences_Vector is new Indefinite_Vectors ( >> Natural, >> Token_Maps.Occurrences.Map, >> Token_Maps.Occurrences."="); >> (simon) > > Yes. (GPS told you that, right ?:-) grep, actually.