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.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,8cca2e0315177d3b
X-Google-Attributes: gid103376,public
From: Jeff Carter <jrcarter001@my-deja.com>
Subject: Re: Instantiating a generic formal procedure with an access procedure
 value
Date: 2000/01/13
Message-ID: <85jho4$5a9$1@nnrp1.deja.com>#1/1
X-Deja-AN: 571894322
References: <84guh6$emh$1@nnrp1.deja.com> <3870E3F1.906FDFF4@averstar.com>
 <84rnbm$8jo$1@nnrp1.deja.com> <38725A42.2961CEFC@averstar.com>
 <84u97t$uut$1@nnrp1.deja.com> <85ifd2$bae$1@nnrp1.deja.com>
 <x7vpuv7t2zb.fsf@pogner.demon.co.uk>
X-Http-Proxy: 1.0 x21.deja.com:80 (Squid/1.1.22) for client 152.163.197.78
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Thu Jan 13 03:45:11 2000 GMT
X-MyDeja-Info: XMYDJUIDjrcarter001
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.0 (compatible; MSIE 5.0; AOL 5.0; Windows 95;
 DigExt; Freei Client 2.1)
Date: 2000-01-13T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <x7vpuv7t2zb.fsf@pogner.demon.co.uk>,
  Simon Wright <simon@pogner.demon.co.uk> wrote:
> Jeff Carter <jrcarter001@my-deja.com> writes:
>
> > This issue is still unresolved. We know that Tucker Taft's favorite
> > front end accepts this code, but that GNAT 3.11p does not.
>
> pogner[12]$ PATH=/opt/gnu/bin:$PATH gnatmake -g -O2 -v s
>
> GNATMAKE 3.12a2 (19990629) Copyright 1995-1999 Free Software
Foundation, Inc.
>   "s.ali" being checked ...
>   -> "s.ali" missing.
> gcc -c -g -O2 s.adb
> s.adb:10:10: instantiation abandoned
> s.adb:10:63: missing argument for parameter "Element"
> s.adb:12:10: "Local" is undefined
> gnatmake: "s.adb" compilation error
>
> (I expect 3.12p will do the same)
>
I suspect you're right. Thanks for testing this.

OK, Tucker Taft's favorite front end accepts the instantiation, but
GNAT does not. Now hopefully the language lawyers and compiler
implementers will answer (or argue) the question: Which is correct?

--
Jeff Carter
"Now go away or I shall taunt you a second time."
-- Monty Python and the Holy Grail


Sent via Deja.com http://www.deja.com/
Before you buy.