Re: Generics: 'Retraction' and an example

[cjh@petsd.UUCP (Chris Henrich)]

In article <8809061331.AA11160@mitre-bedford.ARPA> emery@MITRE-BEDFORD.ARPA.UUCP writes:
>
>However, here's an example of something that I can do on Verdix that
>DEC and (some) other compilers do not like.  I believe this is legal Ada.  
I believe so too, and Concurrent Computer Corporation's compiler
seems to handle it correctly.
>
>package A is
>  
>  generic
>  package B is
>    function foo return integer;
>  end B;
>  
>end A;
>
>package body A is
>  x : integer;
>  
>  package body B is separate;
>  
>  package my_b is new b;
>  -- some compilers don't like this instantiation
>  -- DEC (VMS 1.3-24) and Tartan (Sun 2.0) are two that don't 
>  -- Verdix (Sun 5.5j) compiles this just fine.
>begin
>  x := my_b.foo;
>end A;
>
>separate (A)
>package body B is
>  function foo return integer is
>  begin
>    return 42;  -- life, the universe, and everything...
>  end foo;
>end B;
>				
>				dave emery
>				emery@mitre-bedford.arpa
Regards,
Chris

UUCP:       ...!rutgers!petsd!cjh            
Concurrent Computer Corporation is a Perkin-Elmer company.