From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: overload ":=" ???
Date: 1996/07/22
Date: 1996-07-22T00:00:00+00:00 [thread overview]
Message-ID: <dewar.838093304@schonberg> (raw)
In-Reply-To: Duz3ns.2rA@world.std.com
David Morton <dmorton@jinx.sckans.edu> wrote:
>I looked at that, and it would be great, but...
>RM A.04.04.106
>seems to say that this isn't good with dynamic pointers
>(or am I misreading this?)
something doesn't compute here :-)
In your example, you didnt' use pointers either, but rather a record
structure that is almost EXACTLY what is intended by the above
implementation advice.
Don't get confused here, that paragraph is not saying you can't have
pointers (accesses) to bounded strings, it is just advising that you
should not use pointers in the implementation of the type itself.
It really does seem like bounded strings are EXACTLY what you want!
next prev parent reply other threads:[~1996-07-22 0:00 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-07-17 0:00 overload ":=" ??? David Morton
1996-07-17 0:00 ` Robert Dewar
1996-07-18 0:00 ` David Morton
1996-07-19 0:00 ` David Weller
1996-07-19 0:00 ` Brad Balfour
1996-07-18 0:00 ` Laurent Guerby
1996-07-25 0:00 ` Wolfgang Gellerich
1996-07-25 0:00 ` Robert A Duff
1996-07-18 0:00 ` Jon S Anthony
1996-07-18 0:00 ` John Herro
1996-07-18 0:00 ` Robert Dewar
1996-07-19 0:00 ` John Herro
1996-07-21 0:00 ` David Morton
1996-07-21 0:00 ` Laurent Guerby
1996-07-22 0:00 ` Robert A Duff
1996-07-23 0:00 ` Laurent Guerby
1996-07-23 0:00 ` John Herro
1996-07-23 0:00 ` Robert A Duff
1996-07-22 0:00 ` David Morton
1996-07-22 0:00 ` Robert Dewar
1996-07-23 0:00 ` Robert A Duff
1996-07-22 0:00 ` Robert Dewar [this message]
1996-07-22 0:00 ` Laurent Guerby
1996-07-22 0:00 ` Laurent Guerby
1996-07-23 0:00 ` Tarjei Jensen
1996-07-23 0:00 ` Robert A Duff
1996-07-24 0:00 ` Robert I. Eachus
1996-07-19 0:00 ` Joerg Ozimek
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox