URL https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk

Subversion Repositories openrisc_2011-10-31

[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [gnat.dg/] [statically_matching.ads] - Blame information for rev 304

Details | Compare with Previous | View Log


package Statically_Matching is
   type T1(b: boolean) is tagged null record;
   type T2 is new T1(b => false) with private;
private
   F: constant boolean := false;
   type T2 is new T1(b => F) with null record;  -- OK
end Statically_Matching;

Line No.	Rev	Author	Line
1	304	jeremybenn	`package Statically_Matching is`
2			`type T1(b: boolean) is tagged null record;`
3			`type T2 is new T1(b => false) with private;`
4			`private`
5			`F: constant boolean := false;`
6			`type T2 is new T1(b => F) with null record; -- OK`
7			`end Statically_Matching;`

Browse

Tools

Subversion Repositories openrisc_2011-10-31

[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [gnat.dg/] [statically_matching.ads] - Blame information for rev 304