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,
	MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!watserv1!watmath!att!att!pacbell.com!ucsd!swrinde!cs.utexas.edu!uunet!mcsun!inria!matrix!ulysse!rosen
From: rosen@ulysse.enst.fr (Jean Pierre Rosen)
Newsgroups: comp.lang.ada
Subject: Re: Visibility in Embedded Packages
Summary: redefinition of operators
Keywords: Visibility, Use Clause, Packages, Operators
Message-ID: <41@ulysse.enst.fr>
Date: 31 Oct 90 20:21:04 GMT
References: <718@ajpo.sei.cmu.edu>
Organization: Telecom-Paris, Paris France
List-Id: <comp.lang.ada>

In article <718@ajpo.sei.cmu.edu>, dyer@ajpo.sei.cmu.edu (Richard Dye) writes:
...
> function "+"(L,R : Integer_Type) return Integer_Type renames "+";
> The above works fine on the Telesoft 1.4.
Seems OK to me.

> The Telesoft 1.3 requires:
> function "+"(L,R : Integer_Type) return Integer_Type renames Standard."+";
This one is certainly wrong. STANDARD has no "+" operator with the correct
profile.

> The VAX requires:
> function "+"(L,R : Integer_Type) return Integer_Type renames Standard_Types."+";
This is certainly allowed, but I don't see why it is required.