Sign in
gnu
/
gcc
/
a8404c07e7fca388c02c39077865f7d5fa928430
/
.
/
gcc
/
testsuite
/
gnat.dg
/
discr53.ads
blob: 3fa9f0f4845c0c77b0c3871539d631bcdbd1c272 [
file
] [
log
] [
blame
]
with
Discr53_Pkg
;
package
Discr53
is
type
Rec
(
D
:
Boolean
:=
False
)
is
record
case
D
is
when
True
=>
S
:
String
(
1
..
Discr53_Pkg
.
Max
);
when
False
=>
null
;
end
case
;
end
record
;
function
F
return
Rec
;
procedure
Proc
;
end
Discr53
;