Sign in
gnu
/
gcc
/
d769c5040874bf9546f2524f3f1d2a894165f92a
/
.
/
gcc
/
testsuite
/
gnat.dg
/
discr11_pkg.ads
blob: 1b0a979bb30d541418005d1f1ddc6404178f1c8f [
file
] [
log
] [
blame
]
package
Discr11_Pkg
is
type DT_1
(<>)
is
tagged
private
;
function
Create
return
DT_1
;
private
type DT_1
(
Size
:
Positive
)
is
tagged record
Data
:
String
(
1
..
Size
);
end
record
;
end
Discr11_Pkg
;