Sign in
gnu
/
gcc
/
d769c5040874bf9546f2524f3f1d2a894165f92a
/
.
/
gcc
/
testsuite
/
gnat.dg
/
check1.ads
blob: baeeda007a0b4bc973aee2b7cc3c2ff578263068 [
file
] [
log
] [
blame
]
package
Check1
is
type
Arr
is
array
(
Integer
range
<>)
of
Integer
;
type P2
is
access all
Arr
;
type R
(
Disc
:
access
Arr
)
is
limited
null
record
;
function
FD
(
X
:
access R
)
return
P2
;
end
Check1
;