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.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: $Revision: 1.6.2.16 $; site ada-uts.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!gamma!epsilon!zeta!sabre!petrus!bellcore!decvax!cca!ada-uts!stt
From: stt@ada-uts.UUCP
Newsgroups: net.lang.ada
Subject: Re: Ada '88 musings
Message-ID: <4700014@ada-uts.UUCP>
Date: Fri, 3-Jan-86 14:23:00 EST
Article-I.D.: ada-uts.4700014
Posted: Fri Jan  3 14:23:00 1986
Date-Received: Mon, 6-Jan-86 03:13:54 EST
References: <4700013@ada-uts.UUCP>
Nf-ID: #R:ada-uts:4700013:ada-uts:4700014:000:431
Nf-From: ada-uts!stt    Jan  3 14:23:00 1986
List-Id: <comp.lang.ada>


Initialization may be specified for limited types which are
record types, by supplying default expressions for the components.
By nesting any type within a record (possibly discriminated), it
is possible to specify a relatively arbitrary initialization.

For example:
type lim(x : integer) is limited private;
 ...
type lim(x : integer) is
    record
        contents : exciting_type(x) := complicated_function(x);
    end record;