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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,f70e7a457bf23e69
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-03-26 05:21:30 PST
Path: 
 nntp.gmd.de!news.rwth-aachen.de!news.rhrz.uni-bonn.de!news.uni-stuttgart.de!rz.uni-karlsruhe.de!xlink.net!howland.reston.ans.net!news.sprintlink.net!hookup!solaris.cc.vt.edu!swiss.ans.net!cmcl2!thecourier.cims.nyu.edu!thecourier.cims.nyu.edu!nobody
From: dewar@cs.nyu.edu (Robert Dewar)
Newsgroups: comp.lang.ada
Subject: Re: Optimizing and Constraint Checks
Date: 26 Mar 1995 07:01:35 -0500
Organization: Courant Institute of Mathematical Sciences
Message-ID: <3l3l2v$ria@gnat.cs.nyu.edu>
References: <edward-2303951004270001@r-618macip27.hac.com>
 <3kv990$o7d@butch.lmsc.lockheed.com>
NNTP-Posting-Host: gnat.cs.nyu.edu
Date: 1995-03-26T07:01:35-05:00
List-Id: <comp.lang.ada>

Ken said

"Third, if an enum spec is used, I'm not sure what happens if there are holes
in the underlying number sequence. The LRM says that CONSTRANT_ERROR is
raised if X'Val is not in the _range_ T'POS(T'BASE'FIRST) ..
T'POS(T'BASE'LAST). If it's in range, but not a valid representation, I
suspect different compilers might behave differently."

Wait a moment! In the absence of an numeration rep clause, this whole
discussion is irrelevant. If you don't have a rep clause, you just use
Pos and Val to go backwards andd forwards and the whole apparatus of
the generic is junk!