Re: Measurements components(need language lawyer input)

[Jonas Nygren <ehsjony@ehs.ericsson.se>]

Mitchell E. James wrote:
> 
> The following message from Ed Falis suggests a need for input on the
> legality of a construct that I am using in Measurement Types.  It took
> several iterations of gnat and a few very confusing email messages
> with Team Ada to get gnat to compile generic children.  The basic part
> of Measurement Types compiles fine under the latest version of gnat.
> Though I think that there is a gnat related problem with one of the
> next layers as noted in the readme file.  I am not a language lawyer,
> so those that feel so inclined go ahead and comment.
> -------------------------------------------------
> Mitchell James
> mjames@cyberhighway.net<snip>
> Here's a simpler example that yields the same problem:
> 
> generic
>    type t is private;
> package p is
>    x:t;
> end;
> 
> -- This one gets the error:
> generic
>    with package other is new p(<>);
> package p.child is

-- Try using:
     type t is new other.t;
     y : t;

-- This has worked for me with tagged types even if I have encountered
-- other problems, which I have sent out a question about to c.l.a

>    y: other.t;
> end p.child;
> 
> -- this one doesn't:
> with p;
> generic
>    with package other is new p(<>);
> package q is
>    y: other.t;
> end q;
> 
> - Ed
> 
> Ed Falis
> Thomson Software   falis@thomsoft.com   (617) 221-7341
> ========================================================
> Ideological disarmament: a koan for the 21st century
> ========================================================

-- 

-------------------------------------------------------
--    Jonas Nygren
--    ehsjony@ehs.ericsson.se
-------------------------------------------------------