From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,e94a7e4f6f888766
X-Google-Attributes: gid103376,public
From: "Stanley R. Allen" <s_allen@hso.link.com>
Subject: Re: Self-referential types
Date: 1999/10/12
Message-ID: <3803987F.2049ABFE@hso.link.com>#1/1
X-Deja-AN: 535948211
Content-Transfer-Encoding: 7bit
References: <7ttb4a$8mq$1@nnrp1.deja.com> <s04ql7cqh1s45@corp.supernews.com>
 <3802f2db_2@news1.prserv.net> <s06ji18vh1s47@corp.supernews.com>
 <7tvq5g$28u$1@nnrp1.deja.com>
X-Accept-Language: en
Content-Type: text/plain; charset=us-ascii
Organization: NASA, Kennedy Space Center
Mime-Version: 1.0
Newsgroups: comp.lang.ada
Date: 1999-10-12T00:00:00+00:00
List-Id: <comp.lang.ada>

Ted Dennison wrote:
> 
> The example in
> Cohen's book is wrong, and he doesn't address its use in MI at all.

For the record, Cohen is aware that the example on page 491 is
in error and has noted so in his errata:

    http://www.research.ibm.com/people/n/ncohen/a3sl_errata.html

-- 
Stanley Allen
mailto:s_allen@hso.link.com