Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watnot!watmath!clyde!rutgers!ames!ucbcad!ucbvax!telesoft.UUCP!keith
From: keith@telesoft.UUCP.UUCP
Newsgroups: comp.lang.ada
Subject: Constraint_Error
Message-ID: <8704102127.AA13425@sdcsvax.UCSD.EDU>
Date: Fri, 10-Apr-87 16:47:28 EST
Article-I.D.: sdcsvax.8704102127.AA13425
Posted: Fri Apr 10 16:47:28 1987
Date-Received: Sun, 12-Apr-87 00:39:43 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: world
Organization: The ARPA Internet
Lines: 15


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