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.8 required=5.0 tests=BAYES_00,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,bc000d321972308e X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1994-10-14 10:59:20 PST Path: bga.com!news.sprintlink.net!howland.reston.ans.net!europa.eng.gtefsd.com!news.umbc.edu!eff!blanket.mitre.org!linus.mitre.org!linus!mbunix!eachus From: eachus@spectre.mitre.org (Robert I. Eachus) Newsgroups: comp.lang.ada Subject: Re: Fixed point operator visibility question Date: 14 Oct 94 10:26:50 Organization: The Mitre Corp., Bedford, MA. Message-ID: References: <00985E28.98D9FB40.9907@iberia.cca.rockwell.com> NNTP-Posting-Host: spectre.mitre.org In-reply-to: mlc@iberia.cca.rockwell.com's message of Thu, 13 Oct 1994 13:41:31 CDT Date: 1994-10-14T10:26:50+00:00 List-Id: In article <00985E28.98D9FB40.9907@iberia.cca.rockwell.com> mlc@iberia.cca.rockwell.com (Michael Cook) writes: > My viewpoint is that fixed point division is defined by package > STANDARD, see Ada RM, section 4.5.5, para 9-11. And so the division > should be visible without the 'use' clause. > Vendor A's claim is that the example deals with visibility of > operations of derived types. The argument is that Fixed_Type is > a derived type of an anonymous predefined fixed point type (RM > 3.5.9 para 9). You are correct. And that is the most bogus version of "its not a bug it is a feature" I have ever seen. There is no fixed by fixed division operation defined for Fixed_Type or its parent, so whether or not it is a derived type is irrelevant. In any case the division operation for _universal_fixed_ that applies here is defined in STANDARD, and will be visible without the use clause. Give the vendor fifty lashes with a wet noodle, served with heaping amounts of supercilious scorn. ;-) -- Robert I. Eachus with Standard_Disclaimer; use Standard_Disclaimer; function Message (Text: in Clever_Ideas) return Better_Ideas is...