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,772ae8afc5db35f2
X-Google-Attributes: gid103376,public
From: Samuel Mize <smize@imagin.net>
Subject: Re: Can't export object of private type
Date: 1999/02/26
Message-ID: <7b6eq4$1tm0@news3.newsguy.com>#1/1
X-Deja-AN: 448762611
References: <7b47m3$l2l$1@remarQ.com> <F7r1sq.1nu@syd.csa.com.au>
Organization: ImagiNet Communications, Ltd.
User-Agent: tin/pre-1.4-981002 ("Phobia") (UNIX) (AIX/3-2)
Newsgroups: comp.lang.ada
Date: 1999-02-26T00:00:00+00:00
List-Id: <comp.lang.ada>

Don Harrison <nospam@thanks.com.au> wrote:
a lot, with the following side issue at the end:

> :I just love the way Ada compilers fill in .all for me.  
> 
> Can you give an example?

Sure.  If the access value denotes a record value, you don't have
to put ".all" to access the record's fields:

    F := Access_Value.all.Field;
    F := Access_Value.Field;

This requires different syntax in C ("@" and "." versus "->", IIRC).
In a case like this, it's unlikely you are making a mistake, so Ada
assumes you want the implicit ".all".

On the other hand, mis-using a pointer to a scalar is a common
error, so Ada doesn't infer any de-references -- you have to do
them manually.

Best,
Sam Mize

-- 
Samuel Mize -- smize@imagin.net (home email) -- Team Ada
Fight Spam: see http://www.cauce.org/ \\\ Smert Spamonam