Re: Limited initialization for non-limited types

On Mar 28, 9:25 am, I wrote:
> A discriminant whose access_definition is a handle to ordinary
> record seems to allow most everything I can think I need soon.

Except this doesn't work at all.  The problem is that it completely
breaks assignment (duh), giving a constraint error at run-time.  I'm
back to working with hacking up the equivalent of private record
components.  Proper initialization is still the problem, particular
initializing exactly one variable with its unique name.  (I finally
figured out I was seeing extra trace entries for the tem****aries
mimicking as the variable-of-interest during the initialization-with-
an-ordinary-function assignment.)

Eric