[comp.lang.ada] Constraint_Error

keith@telesoft.UUCP.UUCP (04/10/87)

Well, if you want me to read the LRM to you:

3.5.4:12 "... in which case an attempt to assign the result to a variable
          of the integer subtype raises the exception CONSTRAINT_ERROR."

So from your original incorrect Ada "type x is range 0..100"; either
possible translation "subtype x is range 0..100" or
"type x is new integer range 0..100", the language standard clearly states
that assigning a value outside of the specified range (check 3.3.2:9) will
raise CONSTRAINT_ERROR.

Sorry for my earlier post.  I assumed you had read the manual.

Keith