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,c71f34d397d73b8e
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.180.92.202 with SMTP id co10mr1292605wib.1.1364344567771;
        Tue, 26 Mar 2013 17:36:07 -0700 (PDT)
Path: 
 p18ni19779wiv.0!nntp.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!85.12.40.138.MISMATCH!xlned.com!feeder5.xlned.com!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!border2.nntp.ams2.giganews.com!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!newsgate.cuhk.edu.hk!goblin1!goblin2!goblin.stu.neva.ru!feeder.erje.net!eu.feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx05.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: User-Defined Reference in a Task Type Discriminant Compiler Bug?
Date: Thu, 21 Mar 2013 19:43:51 +0000
Organization: A noiseless patient Spider
Message-ID: <lyfvzok07c.fsf@pushface.org>
References: <4ef5e6b7-aab3-4229-a245-97dfc5861b8d@googlegroups.com>
	<65c510a2-1571-4730-b264-501b6b861346@googlegroups.com>
Mime-Version: 1.0
Injection-Info: mx05.eternal-september.org;
 posting-host="72a7bb6120f61bc7749e29c9c2e535af";
	logging-data="27089"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19a2Wd8D2tbSVMuagPGtveZpmjThkbuwmY="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.2 (darwin)
Cancel-Lock: sha1:90KjdVFLbEwEXmhA+Kn3TrBro+4=
	sha1:5azIJAct0XqTmjaCIrqUPGr44+o=
Content-Type: text/plain
Date: 2013-03-21T19:43:51+00:00
List-Id: <comp.lang.ada>

Adam Beneschan <adam@irvine.com> writes:

> task type T (Incrementing_Procedure : 
>                not null access procedure (To_Increment : in out integer)) 
>    with Implicit_Dereference => Incrementing_Procedure; 

This still fails to compile with GCC 4.8.0 (prerelease).

This compiles:

   task type S (Disc : not null access Integer)
     with Implicit_Dereference => Disc;

so it looks like a bug related to the 'access procedure'.

Mind you, I've no idea what it's supposed to mean ...