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