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.7 required=5.0 tests=BAYES_00,INVALID_DATE,
	MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no
	version=3.4.4
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!sdd.hp.com!decwrl!bacchus.pa.dec.com!shlump.nac.dec.com!ryn.esg.dec.com!uninet!rikka.enet.dec.com!palo
From: palo@rikka.enet.dec.com (Rik Palo)
Newsgroups: comp.lang.ada
Subject: Re: Unusual "use" semantics
Message-ID: <266@uninet.vbo.dec.com>
Date: 9 Aug 90 07:54:53 GMT
References: <20@polymnia.tsd.arlut.utexas.edu>
Sender: news@uninet.vbo.dec.com
Reply-To: PALO@RIKKA.DEC.COM
Organization: Digital Equipment Corporation, Valbonne France
List-Id: <comp.lang.ada>


Function TEXT_IO.COL returns POSITIVE_COUNT, which is a subtype of
TEXT_IO.COUNT.  Since
the type definition for COUNT is declared in TEXT_IO, its default operations
(such as  '=') are implicitly declared there as well.  Either a 'use' clause or
a function renames would make the operator visible (for more on function
renames, see LRM 8.5).

	good luck

		-- Rik Palo