From: Ludovic Brenta <ludovic.brenta@insalien.org>
Subject: Re: Generic type in package
Date: Fri, 21 Jan 2005 19:22:14 +0100
Date: 2005-01-21T19:22:14+01:00 [thread overview]
Message-ID: <87ekgeve09.fsf@insalien.org> (raw)
In-Reply-To: 35cullF4ivogfU1@individual.net
Stefan Merwitz writes:
> Hello,
>
> I've seen the following type definition in a package-file (ads):
>
> generic
> type T is (<>);
>
> this seems to allow comparing (smaller, greater or equal) of the type
> T. But I did not find this type definition ("(<>") in the Ada
> documentation. What are the differences to limited private and does
> this constrict the usable data types for T?
>
>
> Thanks in advance,
>
> Stefan
It means that T must be a discrete type: either an enumeration, a
range, or a modular type. See ARM 12.5.2 and 3.2(12).
HTH
--
Ludovic Brenta.
next prev parent reply other threads:[~2005-01-21 18:22 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-01-21 18:07 Generic type in package Stefan Merwitz
2005-01-21 18:22 ` Ludovic Brenta [this message]
2005-01-22 8:32 ` Martin Krischik
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox