blob: 2c489bd7b38c1a4fe3c2bf0a69aae7d693813c29 [file] [log] [blame]
package Opt78 is
subtype Reasonable is Integer range 1..10;
type UC (D: Reasonable := 2) is record
S: String (1 .. D) := "Hi";
end record;
type AUC is access all UC;
procedure Proc (P : UC; Msg : String);
end Opt78;