From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_05,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!purdue!bu-cs!husc6!bbn!inmet!ishmael!inmet!ada-uts!stt
From: stt@ada-uts
Newsgroups: comp.lang.ada
Subject: Re: instantiating io for variant record
Message-ID: <57900092@ada-uts>
Date: 19 Apr 89 12:40:00 GMT
References: <1923@gmu90x.UUCP>
Nf-ID: #R:gmu90x.UUCP:-192300:ada-uts:57900092:000:410
Nf-From: ada-uts!stt    Apr 19 08:40:00 1989
List-Id: <comp.lang.ada>


Generally, you must provide a default for the discriminant
for records used for direct or sequential I/O.
This allows the body of the generic to declare an object
large enough to hold any instance, to act as a buffer, etc.
Hence make your record:
   type rec(field : fieldtype := fieldtype'first) is record ...

This approach works with most Ada compilers.

Tucker Taft
Intermetrics, Inc.
Cambridge, MA  02138