comp.lang.ada
 help / color / mirror / Atom feed
From: sun-barr!cs.utexas.edu!csc.ti.com!tilde.csc.ti.com!m2.dseg.ti.com!mmeyer@ ames.arc.nasa.gov  (Mark Meyer)
Subject: Re: C++ vs. Ada -- Is Ada loosing?
Date: 31 Dec 92 17:48:31 GMT	[thread overview]
Message-ID: <MMEYER.92Dec31114831@m2.dseg.ti.com> (raw)

	I'm new to this group, basically because I'm new to Ada.
Even so, I just have to comment on this:

In article <1992Dec21.161105.9344@mcc.com> srogers@teenwolf.mcc.com (Steve Roge
rs) writes:
> The edition I am looking at is the 3rd edition.

	Are you sure?  I'm looking at the 3rd Edition myself.  When
was your copy printed?  This book seems to go through a reprint twice
every year, and mine's from 1990.  I only ask because both your
examples of errors seem to be in error themselves, at least as far as
my copy is concerned.

> Two examples: The FRAME program on page 325 violates LRM 9.1.4 - the
> type of the task cannot be used as a typemark within the task itself.
> It's easy to see what the program means, but it doesn't comple. 

	No, it doesn't violate 9.1.4.  I could tell that by
inspection.  I was even able to compile it (after removing references
to the FRAME package - I don't know how to get our compiler to build a
library and someone else has the manual).  Nowhere in the task body of
FILTER does anyone try to use FILTER as a type.  In fact, on p. 327
Barnes specifically states, "(The use of the function MAKE_FILTER is
necessary to overcome a rule that in the body of a task type its name
refers to the current task and not the type.)"

> There is a task example on page 311 that has nested accepts for the
> same entry which violates LRM 9.5(8).  Again, its clear what the
> program intends, but it has been simplified in a way that keeps it
> from compiling.

	I was able to compile this program too.  In my copy of the
book, the accepts are not nested.  Do you have the 3rd Edition,
printed in 1990?  Maybe your book was printed earlier?

-- 
Mark Meyer                                               | mmeyer@dseg.ti.com |
Texas Instruments, Inc.,  Plano TX                       +--------------------+
Every day, Jerry Junkins is grateful that I don't speak for TI.
"There's lots of bread in the freezer!"  "No, I threw it out.  Hard as a rock."

         reply	other threads:[~1992-12-31 17:48 UTC|newest]

Thread overview: 31+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1992-12-18 21:49 C++ vs. Ada -- Is Ada loosing? Robert I. Eachus
1992-12-21 16:11 ` Steve Rogers
1992-12-31 17:48   ` Mark Meyer [this message]
1993-01-04 15:22     ` agate!spool.mu.edu!yale.edu!qt.cs.utexas.edu!cs.utexas.edu!milano!teenwol
2019-08-08 11:39       ` branr62
  -- strict thread matches above, loose matches on Subject: below --
2021-02-01  5:43 Mark Bayern
1992-12-30  4:01 Michael Feldman
1992-12-29 16:11 Charles H. Sampson
1992-12-28 15:23 Jim Withrow
1992-12-23 22:18 Michael Feldman
1992-12-21 12:56 Morris J. Zwick
1992-12-18 21:48 Michael Feldman
1992-12-18 18:11 agate!spool.mu.edu!yale.edu!qt.cs.utexas.edu!cs.utexas.edu!csc.ti.com!til
1992-12-18 14:14 zaphod.mps.ohio-state.edu!cs.utexas.edu!milano!teenwolf.mcc.com!srogers
1992-12-18  4:06 Richard A. O'Keefe
1992-12-14 19:35 Pascal Obry
1992-12-13  7:17 news
1992-12-11 12:42 agate!spool.mu.edu!uwm.edu!cs.utexas.edu!csc.ti.com!tilde.csc.ti.com!mkso
1992-12-11  1:55 Alex Blakemore
1992-12-10 21:54 agate!spool.mu.edu!caen!zaphod.mps.ohio-state.edu!darwin.sura.net!convex!
1992-12-10 16:22 pitt.edu!dsinc!netnews.upenn.edu!prijat!guinness.cs.uofs.edu!beidler
1992-12-08 13:57 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!cs.utexas.edu!qt.cs.utexas.e
1992-12-07 21:16 Jorge Luis Diaz-Herrera
1992-12-07 19:40 Dag Bruck
1992-12-06 22:56 Gregory Aharonian
1992-12-06 20:12 news
1992-12-05  0:17 Mark A Biggar
1992-12-05  0:15 Kurt Olender
1992-12-04 20:18 happy.colorado.edu!srheintze
2019-08-08 15:23 ` robin.vowels
2019-08-12 15:47   ` Shark8
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox