From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
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
List-Id: <comp.lang.ada>


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