Re: Generic procedures and their parameters

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Fri, 8 Sep 2006 20:29:20 -0500, Randy Brukardt wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
> news:g3c05xzf7uad$.wucggq0h6wuy$.dlg@40tude.net...
> ...
>> Yes, that's when somebody wanted to have different orders. But that in my
>> view is a different case, in which "<" should be better passed to Sort as a
>> plain parameter, rather than generic or primitive subprogram.
> 
> 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).

Well, I never could understand why shouldn't we make procedural types and
forget all that C-ish mess with access-to-procedure.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de