comp.lang.ada
 help / color / mirror / Atom feed
From: agate!spool.mu.edu!yale.edu!qt.cs.utexas.edu!cs.utexas.edu!milano!teenwol f.mcc.com!srogers@ucbvax.Berkeley.EDU  (Steve Rogers)
Subject: Re: C++ vs. Ada -- Is Ada loosing?
Date: 4 Jan 93 15:22:23 GMT	[thread overview]
Message-ID: <1993Jan4.152223.18577@mcc.com> (raw)

In article <MMEYER.92Dec31114831@m2.dseg.ti.com> mmeyer@m2.dseg.ti.com (Mark Me
yer) writes:
>
>	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 Rog
ers) 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.)"

The date on my copy is 1989.  The FILTER task references itself on page 326.
I suppose the error was found and corrected in later editions.

>> 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?

Whoops!  I misread this one.  

The correction of the FRAME error answers the larger question of whether
or not the errors were intentionally included to make the examples
"easier" to understand.  It appears that this is NOT the case.

-- 
| Steven Rogers  MCC/ESL  3500 West Balcones Drive
| Austin, Texas 78759-6509  (512) 338-3691 srogers@mcc.com

         reply	other threads:[~1993-01-04 15:22 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
1993-01-04 15:22     ` agate!spool.mu.edu!yale.edu!qt.cs.utexas.edu!cs.utexas.edu!milano!teenwol [this message]
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