Re: Zoo question

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

T.E.D. said

"That does seem to jibe with 5.2(3-4) in my Ada 83 LRM. However, I could
have sworn I saw a rather long discussion here a year ago about compiler
optimizations moving constraint checks out of loops. I suppose this is
still possible, as long as there aren't any declare blocks (or is it?)."

I hope this is clear now, but this is wrong. Furthermore. 52.(3-4) has
nothing to do with the case (except that it is where the canonical order
in which the constraint error is clearly raised at the assignment, is
described). In the absence of permission for movinbg things around in
11.6, this would be decisive, but there is no rule in 11.6 that allows
moving an exception outside its proper exception frame (the language
would be completely useless if this were allowed).