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,9a441a9594e85d08
X-Google-Attributes: gid103376,public
From: kst@king.cts.com (Keith Thompson)
Subject: Re: Bignum modular types in Ada95
Date: 1998/02/04
Message-ID: <886553078.494567@wagasa.cts.com>#1/1
X-Deja-AN: 321838854
References: <34CE568C.55D7E23D@cl.cam.ac.uk> <34CF3E78.F816DB5@cl.cam.ac.uk>
 <dewar.886367046@merv> <34D64871.33EA@online.no> <dewar.886461676@merv>
 <34D74475.6E8F@online.no>
Cache-Post-Path: wagasa.cts.com!kst@king.cts.com
Organization: CTS Network Services
Newsgroups: comp.lang.ada
Date: 1998-02-04T00:00:00+00:00
List-Id: <comp.lang.ada>


If an implementation wants to provide a "bignum" type (say, a 1024-bit
or infinite-precision signed or unsigned integer type), it can do so by
taking advantage of RM95-3.5.4(26) and creating nonstandard integer types.
The implementation may place arbitrary restrictions on the operations
it supports for such types.

Here's the paragraph:

	An implementation may provide nonstandard integer types,
	descendants of root_integer that are declared outside of
	the specification of package Standard, which need not have
	all the standard characteristics of a type defined by an
	integer_type_definition. For example, a nonstandard integer
	type might have an asymmetric base range or it might not be
	allowed as an array or loop index (a very long integer). Any type
	descended from a nonstandard integer type is also nonstandard. An
	implementation may place arbitrary restrictions on the use
	of such types; it is implementation defined whether operators
	that are predefined for ``any integer type'' are defined for a
	particular nonstandard integer type. In any case, such types are
	not permitted as explicit_generic_actual_parameters for formal
	scalar types -- see 12.5.2.

As far as I know, no implementation has taken advantage of this permission.

-- 
Keith Thompson (The_Other_Keith) kst@cts.com <*>
^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H^H
San Diego, California, USA
Trying to keep my daily caffeine intake between the RDA and the LD50.