OpenCores
URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [testsuite/] [gnat.dg/] [specs/] [formal_type.ads] - Rev 696

Compare with Previous | Blame | View Log

-- { dg-do compile }
 
with Ada.Strings.Bounded;
package formal_type is
   generic 
      with package BI is
         new Ada.Strings.Bounded.Generic_Bounded_Length (<>);
      type NB is new BI.Bounded_String;
   package G is end; 
   package BI is new Ada.Strings.Bounded.Generic_Bounded_Length (30);
   type NB is new BI.Bounded_String;
    Thing : NB;
      Size : Integer := THing.Max_Length;
   package GI is new G (BI, NB);
end;    
 

Compare with Previous | Blame | View Log

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.