Re: Interresting difference in Normal-Returns/Expression-Functions and Extended-Returns.

[Adam Beneschan <adam@irvine.com>]

On Tuesday, April 23, 2013 4:00:20 PM UTC-7, Shark8 wrote:

> > > The moral: Whether or not you think anonymous access types are evil,
> > > anonymous access types to *tasks* definitely can have some surprising
> > > consequences (because of the task termination and dependency rules),
> > > and should be avoided.
> 
> Yes; this was surprising. Though this brings up an interesting point: how would you be able to have an array of tasks that have a discriminant?

What I said applies to *anonymous* access types, not named access types.  You can still get what you want by defining a named access type inside Experiment (or globally in another package); this won't have the same pitfall with task termination.

Ada does have a problem with arrays of tasks with discriminants; see http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai12s/ai12-0061-1.txt?rev=1.1 for a proposed solution, but I doubt that will be part of the language for some time.

                            -- Adam