Re: Question: Combination of Access and Constraining

["David C. Hoos, Sr." <david.c.hoos.sr@ada95.com>]

TpCon needs to be a subtype of Tp -- i.e.:
subtype TpCon is Tp (1 .. 1);
Now, your function call will work.

However, there's no need to define a subtype
explicitly.  Why not just say
Arr: aliased Tp (1 .. 1);

----- Original Message ----- 
From: "Papandopulo" <papand0pul0@yahoo.com>
Newsgroups: comp.lang.ada
To: <comp.lang.ada@ada.eu.org>
Sent: February 20, 2003 2:06 AM
Subject: Question: Combination of Access and Constraining


> Small Ada question:
> 
> I need one function to accept
> an array of unknown size of Boolean,
> so I declare type and function:
> 
> type Tp is array (Positive range <>) of Boolean;
> type Tp_Access is access all Tp;
> 
> function Fn (Arg : in Tp_Access) return Natural;
> 
> Now I try to call it with the constrained array:
> 
> declare
>   type TpCon is new Tp(1..1);
>   Arr : aliased TpCon;
> begin
>   Arr(1) := True;
>   Res := Fn (Arr'Access);
> end;
> 
> Compiler says on the invocation line:
> expected type: Tp_Access defined at ...
> found type TpCon defined at ...
> 
> I think that access to constrained
> type should be convertible to access
> to unconstrained type.
> 
> So where I am going wrong here ?
> 
> Thanx,
> George
> _______________________________________________
> comp.lang.ada mailing list
> comp.lang.ada@ada.eu.org
> http://ada.eu.org/mailman/listinfo/comp.lang.ada
> 
>