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=0.7 required=5.0 tests=BAYES_00,INVALID_DATE,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,157dc2d6be0aa579
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-10-05 22:49:52 PST
Path: 
 bga.com!news.sprintlink.net!howland.reston.ans.net!swiss.ans.net!newsgate.watson.ibm.com!watnews.watson.ibm.com!ncohen
From: ncohen@watson.ibm.com (Norman H. Cohen)
Newsgroups: comp.lang.ada
Subject: Re: Syntax question
Date: 5 Oct 1994 17:19:04 GMT
Organization: IBM T.J. Watson Research Center
Distribution: world
Message-ID: <36un68$16m7@watnews1.watson.ibm.com>
References: <Cx6pG3.IEp@ucc.su.OZ.AU> <36u42h$ru9@gnat.cs.nyu.edu>
Reply-To: ncohen@watson.ibm.com
NNTP-Posting-Host: rios8.watson.ibm.com
Date: 1994-10-05T17:19:04+00:00
List-Id: <comp.lang.ada>

In article <36u42h$ru9@gnat.cs.nyu.edu>, dewar@cs.nyu.edu (Robert Dewar)
writes: 

|> Put_On (Who => Jack, What => "the box", Where => On ("the table"));

No, no, no!  The_Box belongs to a type derived from the tagged type
Puttable_Object, and Put_On is a dispatching operation of this type, so
we have: 

   Put_On
      (Who   => Jack,
       What  => Puttable_Object'Class(The_Box),
       Where => The_Table);

--
Norman H. Cohen    ncohen@watson.ibm.com