URL
https://opencores.org/ocsvn/openrisc/openrisc/trunk
Subversion Repositories openrisc
[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [testsuite/] [gnat.dg/] [statically_matching.ads] - Rev 696
Compare with Previous | Blame | 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;