From: stt@houdini.camb.inmet.com (Tucker Taft)
Subject: Re: QUIZ: To be or not to be (able to post)
Date: 1997/10/02
Date: 1997-10-02T00:00:00+00:00 [thread overview]
Message-ID: <EHG0r1.K47.0.-s@inmet.camb.inmet.com> (raw)
In-Reply-To: 610a7h$a7n@news3.his.com
Joel VanLaven (jvl@ocsystems.com) wrote:
: ...
: : function Sin (F : Float) return Float;
: : function Sin (X : Float'Base) return Float'Base
: : renames Ada.Numerics.Elementary_Functions.Sin;
: ...
: Our compiler (PowerAda) says:
: 6: function Sin (X : Float'Base) return Float'Base
: -----------------------------------------------
: >>> SEMANTIC: Formal part of renaming-as-body is inconsistent with its
: specification <8.5.4:5>
: the LRM reference says (just the good part):
: "The profile of a renaming-as-body shall ..., and shall conform fully to that
: of the declaration it completes"
: Fully conformant includes subtype conformant and the two profiles are not
: subtype conformant.
Actually, they *are* subtype conformant, but they are not *fully* conformant
because of the formal parameter name change from F to X. I bet your
compiler knew that already ;-).
: -- Joel VanLaven
--
-Tucker Taft stt@inmet.com http://www.inmet.com/~stt/
Intermetrics, Inc. Burlington, MA USA
next prev parent reply other threads:[~1997-10-02 0:00 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-09-29 0:00 QUIZ: To be or not to be (able to post) Geert Bosch
1997-09-30 0:00 ` Matthew Heaney
1997-09-30 0:00 ` Tucker Taft
1997-10-02 0:00 ` Joel VanLaven
1997-10-02 0:00 ` Tucker Taft [this message]
1997-10-02 0:00 ` Joel VanLaven
1997-10-03 0:00 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox