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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,6e696296ba7c3482
X-Google-Attributes: gid103376,public
From: mg@asp.camb.inmet.com (Mitch Gart)
Subject: Re: parameters in bindings
Date: 1996/03/26
Message-ID: <DovLGK.Cx3.0.-s@inmet.camb.inmet.com>#1/1
X-Deja-AN: 144334853
sender: news@inmet.camb.inmet.com (USENET news)
x-nntp-posting-host: asp.camb.inmet.com
references: <dewar.827529457@schonberg>
organization: Intermetrics, Inc.
newsgroups: comp.lang.ada
Date: 1996-03-26T00:00:00+00:00
List-Id: <comp.lang.ada>

Robert Dewar (dewar@cs.nyu.edu) wrote:
: "This works but to me it seems ugly because extra access types are
: introduced which are otherwise unnecessary."

: That's odd, it's a bit like saying, I need some arrays, but I seem to have
: to introduce some array types which are otherwise unnecessary.

Here's a slightly different example.  Method 1 of declaring P:

    type thing is record ... end record;
    procedure P (param: access thing);
    x: aliased thing;
  begin
    p(x'access);

method 2:

    type thing is record ... end record;
    type thing_access is access all thing;
    procedure P (param: thing_access);
    x: aliased thing;
  begin
    p(x'access);

The type thing_access is an extra junk type that has no other use 
in the program.  No actual objects of type thing_access are ever
declared or used.  It is just there to allow the parameter to be
declared.  This extra type is not needed with method 1 of declaring P.

To me the declaration of thing_access is extra useless baggage.

- Mitch