Re: Class Wide Type Invariants - My bug or compiler bug

[adambeneschan@gmail.com]

On Wednesday, February 26, 2014 5:01:45 PM UTC-8, Randy Brukardt wrote:

> 7.3.2(19/3) is a mess, however. AI12-0042-1 changed it a lot, but that 
> change isn't right either, so it's rather in limbo at the moment. (See the 
> working RM for the current state of things.)
> 
> Note that a literal implementation of 7.3.2(19/3) would cause every 
> invariant check to go infinitely recursive, since there is supposed to be an 
> invariant check on the parameter of Check_In, which is called from the 
> invariant check - repeat forever. GNAT doesn't implement that for obvious 
> reasons, so it can't exactly implement the rule as written, and once you 
> have to go off the grid, all bets are off.
> 
> Some parts will be in every rule (checking of in out and out parameters, for 
> instance), so you probably can assume those are checked. But that's about 
> it. Probably it would be better to not depend too much on Type_Invariants 
> until we figure out what rules actually make sense (and we find a set that 
> isn't insane for one reason or another).

Interesting ... thanks.

                           -- Adam