Re: Instantiating a generic formal procedure with an access procedure value

[Jeff Carter <jrcarter001@my-deja.com>]

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.