Re: access aliased obstacle

[dewar@cs.nyu.edu (Robert Dewar)]

Laurent said

"   The idea is that there are stored somewhere, "in the record" is an
unfortunate wording ;-). BTW, is there any compiler that use the
alternative you proposed ? How to get the following right without
storing "in the record"?"

I don't think any compilers do this, but it is perfectly viable to treat
discriminants like subscripts for arrays, which certainly need not be
stored with the arrays (think of the fat pointer implemenation in
GNAT for arrays, it could easily adapt to variant records, with 
separate pointers to the discriminants and data). 

When we were designing the info systems annex, we considered using
a variant record design for decimal numbers with the precision being
a diiscriminant, but that is only viable if you do this separate
allocation, and we did not feel that would be easy for compilers
to do!