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: 103376,5bbcbfbb228d6549 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,UTF8 Path: g2news1.google.com!news4.google.com!feeder3.cambrium.nl!feed.tweaknews.nl!not-for-mail From: Ludovic Brenta Newsgroups: comp.lang.ada Subject: Re: Ada.Containers.Vectors Update_Element issue References: <4bb8bb12-225b-4790-bd12-40ef0b0adeaf@s33g2000pri.googlegroups.com> <482AFEAC.3040306@gmail.com> Date: Sat, 17 May 2008 10:13:54 +0200 Message-ID: <87d4nluz3x.fsf@ludovic-brenta.org> User-Agent: Gnus/5.110006 (No Gnus v0.6) Emacs/21.4 (gnu/linux) Cancel-Lock: sha1:FNtZ1sTOhnxjYd8h+csjnaSRkP0= MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Organization: Tele2 X-Trace: DXC=OOU^2cT1cTSYUfHhVGXMSQ6`Y6aWje^YZk?RbaUTe=F^;H=h9 Sébastien writes: > There was no procedure access in previous ada version? There was no *anonymous* access-to-procedure types in Ada 95; only named access types like: type Access_To_Procedure is access procedure (A, B : Integer); And named access types are subject to "accessibility rules" (ARM 3.10.2, in particular clause 32) whereas anonymous access types are not (and are subject to run-time checks instead). -- Ludovic Brenta.