Re: ObjectAda vs Gnat -- bugs

[jsa@alexandria (Jon S Anthony)]

In article <337E5357.7FBA@bix.com> Tom Moran <tmoran@bix.com> writes:

> I'm a little confused by this renaming of function return values.  If T
> is a limited type and F is a function returning T, then I understand one
> can:
>   X:T renames F(...);
> and one cannot
>   X:T := F(...);
> Is that correct?

Yes.


> If T is not limited, then what are the differences between
>   X : T renames F(...);
>   Y : T := F(...);

X is constant, Y is not.  OTOH, if you said Y : constant T := F(...),
I'm not sure there is a difference...

/Jon

-- 
Jon Anthony
Organon Motives, Inc.
Belmont, MA 02178
617.484.3383
jsa@organon.com