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,9a799cea4b8055c6,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-10-15 22:08:42 PST
Path: 
 bga.com!news.sprintlink.net!howland.reston.ans.net!pipex!uunet!demos1!glas!demos1!spectre.mitre.org!eachus
From: eachus@spectre.mitre.org
Newsgroups: comp.lang.ada
Date: 14 Oct 94 10:26 GMT+0300
Subject: Re: Fixed point operator visibility que
Message-ID: <EACHUS.94Oct14102651@spectre.mit>
References: <00985E28.98D9FB40.9907@iberia.cc>
Sender: Notesfile to Usenet Gateway <notes@glas.apc.org>
Date: 1994-10-14T10:26:00+00:00
List-Id: <comp.lang.ada>

Subject: Re: Fixed point operator visibility question


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...