Re: [PATCH] Do not consider reference types as dynamic

[Pierre-Marie de Rodat <derodat@adacore.com>]

On 04/17/2015 05:30 PM, Joel Brobecker wrote:
> My 2 cents, based on the little amount of experience we've had dealing
> with dyanmic types in Ada, and the amount of experience we've had
> dealing with the GNAT encodings, I have a feeling that it's best to
> maintain reference types as being non-dynamic, and enhance the functions
> that print reference objects instead. We should probably compare what
> Ada does (ada_val_print_ref) compared to C, for instance, as we handle
> those reference values correctly, I believe.

Joel and I discussed this live: doing the type printing change is 
probably the best way in terms of "implementation consistency", but it's 
also going to be a lot of work.

So the plan is instead to try to enhance type resolution to handle 
references that are not addressable. In the meantime, I've reverted my 
patches so that the regression disappears. I'll submit another patch...

-- 
Pierre-Marie de Rodat