Re: Language lawyer question: Equality on 'Access attributes

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Ze Administrator <groleau+news@freeshell.org> writes:

> Robert A Duff wrote:
> > There's no such thing as a limited access type.  ;-)
> > Probably there should be, but that's another story!
> 
>    type IA is limited private;
> 
> private
> 
>    type IA is access Integer;

OK, sorry, I didn't understand what you meant.  Yes, of course, if
somebody has visibility (only) on the limited private type, then it does
not implicitly define "=", so there's no "=" to call (for that type).

The issue is not (directly) which types are visible, but which "="
functions are visible (either implicitly declared by type declarations,
or explicitly declared as functions).

Type IA above is not "really" limited, because it can be copied.
For parameters, it is passed by copy, for example.

- Bob