Re: Defining types in private packages for use in parent spec

[Stephen Leake <Stephe.Leake@nasa.gov>]

Lutz Donnerhacke <lutz@iks-jena.de> writes:

> How to solve the following problem? It's necessary to define the type Base
> in the implementation defined private subpackage, because it varies on
> various implementations.
> 
> ------------------------------------------------------------------------
> package Bigints is
>    type Bigint is limited private;
> private
>    type Base_Array;
>    type Base_Access is access Base_Array;
>    type Bigint is limited record
>       data : Base_Access;
>    end record;
> end Bigints;

One option is to add an "iterator" subprogram here, that
Bigints.Implementation.Demo can use to walk thru Base_Array.

> with System;
> private package Bigints.Implementation is
>    type Base is mod System.Max_Binary_Modulus;
>    procedure Demo(a : in out Bigint);
> end Bigints.Implementation;

Another option is to move Demo to Bigints (where it can see the array
type). 


-- 
-- Stephe