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,821f293084877cad
X-Google-Attributes: gid103376,public
From: bobduff@world.std.com (Robert A Duff)
Subject: Re: Adding a "Project Types" layer to a project
Date: 1996/05/01
Message-ID: <Dqq6yu.GzC@world.std.com>#1/1
X-Deja-AN: 152405084
references: <3186E51C.250@post.drexel.edu>
organization: The World Public Access UNIX, Brookline, MA
newsgroups: comp.lang.ada
Date: 1996-05-01T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <3186E51C.250@post.drexel.edu>,
Chris Papademetrious  <st92j0gw@post.drexel.edu> wrote:
> If I use the type from the package "vectors" directly, it works.  If I
>create a subtype in types, and then use that, it fails.  What am I
>missing?  Thanks in advance...

There is no "+" declared in package Types.  Hence the error message.
The "+" you want to call is declared in Vectors, and it has to be
directly visible in order to call it.

You could rename the "+" operator into Types.

Or, you could say "use type Vector;" in Test.

Or, you could use a derived type instead of a subtype.  This will create
a new type, with an inherited "+", which may or may not be what you
want.

- Bob

P.S. I don't particularly like the idea of having a Types package, which
is just a big jumble of totally unrelated stuff.