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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,369ed27a1a2dd2cb X-Google-Attributes: gid103376,public From: stt@houdini.camb.inmet.com (Tucker Taft) Subject: Re: QUIZ: To be or not to be (able to post) Date: 1997/09/30 Message-ID: #1/1 X-Deja-AN: 276801045 Sender: news@inmet.camb.inmet.com (USENET news) X-Nntp-Posting-Host: houdini.camb.inmet.com References: <60n3dm$fhi$1@gonzo.sun3.iaf.nl> Organization: Intermetrics, Inc. Newsgroups: comp.lang.ada Date: 1997-09-30T00:00:00+00:00 List-Id: Geert Bosch (geert@gonzo.sun3.iaf.nl) wrote: : OK, here is a nice question for all you Ada experts out there. : Why isn't the code below not legal? Or is it? If so, why? : with Ada.Numerics.Elementary_Functions; : procedure Renaming is : function Sin (F : Float) return Float; : function Sin (X : Float'Base) return Float'Base : renames Ada.Numerics.Elementary_Functions.Sin; This is not legal because you use "F" in the declaration of Sin and you use "X" in the renaming-as-body, and that violates 8.5.4(5) which requires full conformance of profiles between a renaming-as-body and the declaration it completes. On the other hand, it is OK to use Float in one and Float'Base in the other because subtype Float statically matches subtype Float'Base. They statically match because they are of the same type, and they both have the "null" constraint. See 4.9.1(2) and 3.5.7(12). : ... : What does your favorite compiler say? It complains as follows: 6 function Sin (X : Float'Base) return Float'Base * *****Error: LRM:8.5.4(5) a renaming-as-body must be fully conformant with the ***** declaration it completes, continuing 7 renames Ada.Numerics.Elementary_Functions.Sin; : ... And the others? ;-) I haven't tried any others on this. : Regards, : Geert -- -Tucker Taft stt@inmet.com http://www.inmet.com/~stt/ Intermetrics, Inc. Burlington, MA USA