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,91276ec2ea911d3f X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news3.google.com!news4.google.com!newsfeed2.dallas1.level3.net!news.level3.com!newsfeed-00.mathworks.com!nntp.TheWorld.com!not-for-mail From: Robert A Duff Newsgroups: comp.lang.ada Subject: Re: Generic procedures and their parameters Date: 09 Sep 2006 10:32:58 -0400 Organization: The World Public Access UNIX, Brookline, MA Message-ID: References: <3aqdnWxXdPQDhZ_YnZ2dnUVZ_vmdnZ2d@megapath.net> NNTP-Posting-Host: shell01.theworld.com Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: pcls4.std.com 1157812378 13665 192.74.137.71 (9 Sep 2006 14:32:58 GMT) X-Complaints-To: abuse@TheWorld.com NNTP-Posting-Date: Sat, 9 Sep 2006 14:32:58 +0000 (UTC) User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Xref: g2news2.google.com comp.lang.ada:6534 Date: 2006-09-09T10:32:58-04:00 List-Id: "Randy Brukardt" writes: > We considered that, too, and decided not to do it because it because it > doesn't work well in Ada. "<" is usually Intrinsic, and Intrinsic things > cannot be passed as access-to-subprogram parameters. So you'd have to > explicitly build a wrapper function, with all of the possibilities for error > that that exposes. Generic instantiations don't have that limitation (as > they are are considered more heavyweight than a simple 'Access). Kludgery begets more kludgery. Surely you should be allowed to pass things like "<" as a parameter! Proof: see Randy's comment above. Making wrappers should be the compiler's job. Viewing downward closure as access values is overly implementation oriented. The "not null access" on the declaration, and the 'Access on all calls, are just noise. - Bob