Sign in
gnu
/
gcc
/
a8404c07e7fca388c02c39077865f7d5fa928430
/
.
/
gcc
/
testsuite
/
gnat.dg
/
discr40.adb
blob: ea1b46aa7649de9e732bbe7d6b07b00dd9f36f91 [
file
] [
log
] [
blame
]
--
{
dg
-
do
compile
}
--
{
dg
-
options
"-gnat12 -gnata"
}
package
body
Discr40
is
procedure
Push
(
S
:
in
out
Stack
;
E
:
Element
)
is
begin
S
.
Length
:=
S
.
Length
+
1
;
S
.
Data
(
S
.
Length
)
:=
E
;
end
Push
;
end
Discr40
;