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=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,5312057f44240abb
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.16.106 with SMTP id f10mr26482303pbd.8.1323169256477;
        Tue, 06 Dec 2011 03:00:56 -0800 (PST)
Path: 
 lh20ni75475pbb.0!nntp.google.com!news2.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nx01.iad01.newshosting.com!newshosting.com!87.79.20.101.MISMATCH!newsreader4.netcologne.de!news.netcologne.de!newsfeed.straub-nv.de!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!usenet-fr.net!fdn.fr!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Tue, 06 Dec 2011 12:00:53 +0100
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6;
 rv:8.0) Gecko/20111105 Thunderbird/8.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: AUnit: access to local procedure needed when asserting exception
References: <4edd6c0a$0$6581$9b4e6d93@newsspool3.arcor-online.net>
In-Reply-To: <4edd6c0a$0$6581$9b4e6d93@newsspool3.arcor-online.net>
Message-ID: <4eddf5e7$0$6578$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 06 Dec 2011 12:00:55 CET
NNTP-Posting-Host: 3ad0ebdd.newsspool3.arcor-online.net
X-Trace: 
 DXC=m_@k4L_M04e_0Po7BmQ3]lMcF=Q^Z^V3h4Fo<]lROoRa8kF<OcfhCOkIQ>WRE0Pj]`PCY\c7>ejVhKU]GfNDIe[dcoo[Pgo?X9f
X-Complaints-To: usenet-abuse@arcor.de
Xref: news2.google.com comp.lang.ada:14854
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2011-12-06T12:00:55+01:00
List-Id: <comp.lang.ada>

On 06.12.11 02:12, Georg Bauhaus wrote:

> I should be able to write the tests differently, so that everything
> necessary for the test routine is declared at the same level as
> the pointer-to-procedure type requires. But why is the simpler
> generic gone? I also imagine that the authors of AUnit have had good
> reason to introduce a named type---preventing access to local procedures.
> Am I missing something?

Wild guess: Assert_Exception is written so that it can be used unchanged
with every run-time that AdaCore is currently supporting, including ZFP,
and Ada 95. The comments on Ada_Containers.AUnit_Lists seem to confirm this.