From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Optimizing and Constraint Checks
Date: 26 Mar 1995 07:01:35 -0500
Date: 1995-03-26T07:01:35-05:00 [thread overview]
Message-ID: <3l3l2v$ria@gnat.cs.nyu.edu> (raw)
In-Reply-To: 3kv990$o7d@butch.lmsc.lockheed.com
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!
next prev parent reply other threads:[~1995-03-26 12:01 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
1995-03-23 16:04 Optimizing and Constraint Checks Ed Bruce
1995-03-24 13:34 ` Theodore Dennison
1995-03-25 18:09 ` David Wheeler
1995-03-29 0:00 ` Ed Bruce
1995-03-24 20:15 ` Garlington KE
1995-03-26 12:01 ` Robert Dewar [this message]
1995-03-27 16:58 ` Garlington KE
1995-03-29 0:00 ` Ed Bruce
1995-03-29 0:00 ` Garlington KE
1995-03-30 0:00 ` Mike Meier
1995-04-04 0:00 ` Robert Dewar
1995-03-25 17:51 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox