comp.lang.ada
 help / color / mirror / Atom feed
From: ncohen@watson.ibm.com (Norman H. Cohen)
Subject: Re: Syntax question
Date: 5 Oct 1994 17:19:04 GMT
Date: 1994-10-05T17:19:04+00:00	[thread overview]
Message-ID: <36un68$16m7@watnews1.watson.ibm.com> (raw)
In-Reply-To: 36u42h$ru9@gnat.cs.nyu.edu

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



  reply	other threads:[~1994-10-05 17:19 UTC|newest]

Thread overview: 30+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1994-10-05  5:19 Syntax question Adrian Cho
1994-10-05 11:52 ` Robert Dewar
1994-10-05 17:19   ` Norman H. Cohen [this message]
     [not found] <Cx6pG3.IEp@ucc.su.oz.au>
1994-10-05 14:20 ` Tucker Taft
     [not found]   ` <36ui0u$4dg@gnat.cs.nyu.edu>
1994-10-06  0:04     ` David Weller
  -- strict thread matches above, loose matches on Subject: below --
1995-03-11 10:12 Geoffrey Hollingworth
1995-03-11 15:16 ` Robert A Duff
1995-03-11 20:45 ` Michael Feldman
1995-03-15 23:29   ` David Kusuda
1995-03-16  2:25     ` David Weller
1995-03-16 14:44       ` Spencer Allain
1995-03-19  1:04       ` Robert Dewar
1995-03-16  9:19     ` Fred J. McCall
1995-03-17  5:44     ` Niklas Holsti
1995-03-19 20:53       ` Robert Dewar
1995-03-11 21:44 ` Road Pilot
1995-03-23 13:07   ` Bob Collins
1995-03-24  1:11     ` Kevin F. Quinn
1995-03-27 14:19       ` Norman H. Cohen
1995-03-13  4:43 ` Keith Thompson
1995-03-16 20:37   ` Norman H. Cohen
1995-03-21  0:51     ` Robert Dewar
1995-03-16 19:20 ` Adam Beneschan
2001-07-05 17:58 Syntax Question Robby Simpson
2001-07-05 18:32 ` Marin David Condic
2001-07-05 18:38 ` Robby Simpson
2001-07-05 19:09 ` Ted Dennison
2001-07-05 20:14   ` Robby Simpson
2001-07-05 21:44 ` Robert Dewar
2001-07-09 12:39   ` Robby Simpson
replies disabled

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