Sign in
gnu
/
gcc
/
a6d3012b274f38b20e2a57162106f625746af6c6
/
.
/
gcc
/
testsuite
/
gnat.dg
/
discr42_pkg.adb
blob: 8ec584c8ca303b60cc6e89a09a8ced071daf66a8 [
file
] [
log
] [
blame
]
package
body
Discr42_Pkg
is
function
F
(
Pos
:
in
out
Natural
)
return
Rec
is
begin
Pos
:=
Pos
+
1
;
if
Pos
>
1
then
return
(
D
=>
True
,
N
=>
Pos
*
2
);
else
return
(
D
=>
False
);
end
if
;
end
;
end
Discr42_Pkg
;