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.6 required=5.0 tests=BAYES_05,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,63a41ccea0fc803a
X-Google-Attributes: gid103376,public
From: nospam@thanks.com.au (Don Harrison)
Subject: Re: Naming of Tagged Types and Associated Packages
Date: 1998/08/11
Message-ID: <ExIqpp.36J@syd.csa.com.au>#1/1
X-Deja-AN: 380007227
Sender: news@syd.csa.com.au
X-Nntp-Posting-Host: dev7
References: <35CEBAAF.B9B82820@sprintmail.com>
Organization: CSC Australia, Sydney
Reply-To: nospam@thanks.com.au
Newsgroups: comp.lang.ada
Date: 1998-08-11T00:00:00+00:00
List-Id: <comp.lang.ada>

John G. Volan wrote:

:In fact, what if we even wanted to _preclude_ any
:inheritance?  (In Ada terms, the Car type would be non-tagged.  In Java,
:it would be a final class.  In Eiffel ... not sure of the syntax.)  

    frozen do_something (..) is ..
    ^^^^^^


Don.
Don Harrison   donh at syd.csa.com.au