Sign in
gnu
/
gcc
/
refs/tags/basepoints/gcc-13
/
.
/
gcc
/
testsuite
/
gnat.dg
/
slice2.ads
blob: d1f943a80cfa23ffa30a0b9f734e003fedc8e0db [
file
] [
log
] [
blame
]
package
Slice2
is
type R1
is
record
Text
:
String
(
1
..
30
);
end
record
;
type R2
is
record
Text
:
String
(
1
..
8
);
B
:
Boolean
:=
True
;
end
record
;
function
F
(
I
:
R1
)
return
R2
;
end
Slice2
;