From: Matt Brennan <zschub@hotmail.com>
Subject: Constraint checking of actuals passed to Attributes
Date: 2000/05/05
Date: 2000-05-05T00:00:00+00:00 [thread overview]
Message-ID: <391250A8.99D1585C@hotmail.com> (raw)
Quick question:
Is an implementation required to generate code to check that an actual
parameter passed to an attribute (for example, 'Image of a scalar type)
is subtype conformant with the formal parameter?
Opinions with ARM references most welcome! :-)
Matt
next reply other threads:[~2000-05-05 0:00 UTC|newest]
Thread overview: 30+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-05-05 0:00 Matt Brennan [this message]
2000-05-05 0:00 ` Constraint checking of actuals passed to Attributes Keith Thompson
2000-05-08 0:00 ` Tucker Taft
2000-05-09 0:00 ` Robert Dewar
2000-05-09 0:00 ` Robert A Duff
2000-05-09 0:00 ` Robert Dewar
2000-05-09 0:00 ` Robert A Duff
2000-05-09 0:00 ` Keith Thompson
2000-05-10 0:00 ` Robert A Duff
2000-05-14 0:00 ` Simon Wright
2000-05-17 0:00 ` Robert A Duff
2000-05-12 0:00 ` Tucker Taft
2000-05-12 0:00 ` Ted Dennison
2000-05-12 0:00 ` Robert A Duff
2000-05-12 0:00 ` Ted Dennison
2000-05-16 0:00 ` Robert A Duff
2000-05-16 0:00 ` Ted Dennison
2000-05-17 0:00 ` Robert Dewar
2000-05-10 0:00 ` Robert Dewar
2000-05-10 0:00 ` Robert A Duff
2000-05-15 0:00 ` Bill Greene
2000-05-10 0:00 ` David C. Hoos, Sr.
2000-05-22 0:00 ` Kenneth Almquist
2000-05-09 0:00 ` Ted Dennison
2000-05-09 0:00 ` Robert Dewar
2000-05-09 0:00 ` Ted Dennison
2000-05-09 0:00 ` Robert Dewar
2000-05-09 0:00 ` Ted Dennison
2000-05-09 0:00 ` Robert A Duff
2000-05-10 0:00 ` Matt Brennan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox