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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,19bd7ab0daefd69b
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Storage_Error with parameterized records
Date: 1998/07/13
Message-ID: <dewar.900353853@merv>#1/1
X-Deja-AN: 371076199
References: <359D3A0C.13AF4C53@cl.cam.ac.uk> <6o5b7r$36aq$1@prime.imagin.net>
X-Complaints-To: usenet@news.nyu.edu
X-Trace: news.nyu.edu 900353897 8330 (None) 128.122.140.58
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1998-07-13T00:00:00+00:00
List-Id: <comp.lang.ada>

Samuel says

<<If you only create constrained instances, you should be OK.  If you
need to be able to change the constraint, you need to determine the
largest constraint you may need, and use a subtype constrained by
that maximum value (instead of Natural) for the constraint.  Depending
on how smart the compiler is, you may need to use that subtype for
the indices of CMatrix too.
>>


But if you only create constrained instances, then it is meaningless,
and misleading, to provide default values for the discriminants. The
ONLY purpose for providing default values is to enable you to
create unconstrained instances!