From: Jeffrey Carter <jrcarter@acm.org>
Subject: Re: List Strawman JC01
Date: Thu, 06 Dec 2001 03:15:52 GMT
Date: 2001-12-06T03:15:52+00:00 [thread overview]
Message-ID: <3C0EE2E8.E89D6713@acm.org> (raw)
In-Reply-To: 3C0EB851.77E7172A@boeing.com
Jeffrey Carter wrote:
>
> I note that I omitted an essential function from this specification:
> "=". Please assume the following was part of the package:
>
> generic -- "="
> with function "=" (Left : Element; Right : Element) return Boolean is
> <>;
> function "=" (Left : List_Handle; Right : List_Handle) return Boolean;
> -- Two lists are equal if they have the same Length and have equal
> Elements at
> -- corresponding positions.
This, of course, is completely wrong. Now that my brain has rebooted,
with function "=" ...
should be in the generic formal part of the package, and "=" should not
be generic.
--
Jeff Carter
"Hello! Smelly English K...niggets."
Monty Python & the Holy Grail
next prev parent reply other threads:[~2001-12-06 3:15 UTC|newest]
Thread overview: 39+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-12-05 6:08 List Strawman JC01 Jeffrey Carter
2001-12-05 19:14 ` Ted Dennison
2001-12-06 0:14 ` Jeffrey Carter
2001-12-06 3:15 ` Jeffrey Carter [this message]
2001-12-06 16:11 ` Ted Dennison
2001-12-06 17:48 ` Jeffrey Carter
2001-12-07 15:06 ` Ted Dennison
2001-12-07 17:43 ` Stephen Leake
2001-12-07 18:59 ` Ted Dennison
2001-12-09 14:04 ` Mark Lundquist
2001-12-10 15:25 ` Ted Dennison
2001-12-10 15:46 ` Marin David Condic
2001-12-10 17:12 ` Ted Dennison
2001-12-07 18:10 ` Jeffrey Carter
2001-12-07 19:45 ` Ted Dennison
2001-12-07 22:47 ` Basic Properties of Lists Jeffrey Carter
2001-12-09 14:04 ` Mark Lundquist
2001-12-09 18:16 ` Chad R. Meiners
2001-12-09 21:21 ` Jeffrey Carter
2001-12-10 15:37 ` Ted Dennison
2001-12-10 22:13 ` Jeffrey Carter
2001-12-11 14:33 ` Ted Dennison
2001-12-09 14:04 ` List Strawman JC01 Mark Lundquist
2001-12-10 17:02 ` Ted Dennison
2001-12-10 17:13 ` Ted Dennison
2001-12-10 15:37 ` Marin David Condic
2001-12-10 16:10 ` Larry Hazel
2001-12-06 19:09 ` Stephen Leake
2001-12-06 22:45 ` Jeffrey Carter
2001-12-07 16:54 ` Ted Dennison
2001-12-07 17:18 ` Darren New
2001-12-07 17:44 ` Doubly-linked list ordering(s) (was: List Strawman JC01) Ted Dennison
2001-12-07 17:30 ` List Strawman JC01 Ted Dennison
2001-12-06 19:34 ` Mark Lundquist
2001-12-07 17:04 ` Ted Dennison
2001-12-07 22:27 ` Jeffrey Carter
2001-12-09 14:04 ` Mark Lundquist
2001-12-06 19:34 ` Mark Lundquist
2001-12-06 23:09 ` Nick Roberts
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox