Sign in
gnu
/
gcc
/
a6d3012b274f38b20e2a57162106f625746af6c6
/
.
/
gcc
/
testsuite
/
gnat.dg
/
discr42_pkg.ads
blob: b9bef43037c04b0472a2eb0721911ecf423f7e8c [
file
] [
log
] [
blame
]
package
Discr42_Pkg
is
type
Rec
(
D
:
Boolean
:=
False
)
is
record
case
D
is
when
True
=>
N
:
Natural
;
when
False
=>
null
;
end
case
;
end
record
;
function
F
(
Pos
:
in
out
Natural
)
return
Rec
;
end
Discr42_Pkg
;