From: ok@goanna.cs.rmit.edu.au (Richard A. O'Keefe)
Subject: Re: Concerning subscript bounds checks
Date: 1996/07/02
Date: 1996-07-02T00:00:00+00:00 [thread overview]
Message-ID: <4ra3p1$b0f@goanna.cs.rmit.edu.au> (raw)
In-Reply-To: Dtv6A6.B5K@world.std.com
I wrote:
type Coord is ...
type Point is array (Coord) of Float;
let J be Simplex_Range'Val(
Point'Range'Pos(I) - Point'Range'Pos(Point'Range'First))
However, I couldn't figure out any way to code that conversion from I to J.
(The immediate problem is that Point'Range is a _range_, not a _(sub)type_,
so Point'Range'Pos is inexpressible.)
bobduff@world.std.com (Robert A Duff) writes:
>What's wrong with "Coord'Pos(I) - Coord'Pos(Point'First)"?
I think it was probably too obvious.
For some reason, I didn't want to use the name of the index type.
I can no longer recall why.
--
Fifty years of programming language research, and we end up with C++ ???
Richard A. O'Keefe; http://www.cs.rmit.edu.au/~ok; RMIT Comp.Sci.
next prev parent reply other threads:[~1996-07-02 0:00 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-06-21 0:00 Concerning subscript bounds checks Richard A. O'Keefe
1996-06-21 0:00 ` Robert Dewar
1996-06-24 0:00 ` Adam Beneschan
1996-06-24 0:00 ` Richard A. O'Keefe
1996-06-24 0:00 ` Robert Dewar
1996-06-28 0:00 ` joeuser
1996-06-28 0:00 ` Adam Beneschan
1996-07-01 0:00 ` Richard A. O'Keefe
1996-07-01 0:00 ` Robert A Duff
1996-07-02 0:00 ` Richard A. O'Keefe [this message]
1996-06-24 0:00 ` William Clodius
1996-06-27 0:00 ` Richard A. O'Keefe
1996-06-28 0:00 ` Ken Thomas
1996-06-25 0:00 ` ++ robin
1996-06-27 0:00 ` Richard A. O'Keefe
1996-06-25 0:00 ` William Clodius
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox