repo.or.cz
/
official-gcc.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
2016-11-21 Thomas Preud'homme <thomas.preudhomme@arm.com>
[official-gcc.git]
/
gcc
/
testsuite
/
gnat.dg
/
specs
/
box1.ads
blob
dad13f3321535cf8f98cba9c6edb33a81115045c
1
-- { dg-do compile }
2
3
package
box1
is
4
type
Root
is tagged null record
;
5
type
Der1
is new
Root
with record
6
B
:
Boolean
;
7
end record
;
8
9
type
Der2
is new
Der1
with null record
;
10
type
Der3
is new
Der2
with null record
;
11
12
Obj
:
Der3
:= (
Der2
with others
=> <>);
13
end
;