From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Storage_Error with parameterized records
Date: 1998/07/13
Date: 1998-07-13T00:00:00+00:00 [thread overview]
Message-ID: <dewar.900353853@merv> (raw)
In-Reply-To: 6o5b7r$36aq$1@prime.imagin.net
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!
prev parent reply other threads:[~1998-07-13 0:00 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-07-03 0:00 Storage_Error with parameterized records Markus Kuhn
1998-07-04 0:00 ` Pascal MALAISE
1998-07-05 0:00 ` david.c.hoos.sr
1998-07-08 0:00 ` Robert A Duff
1998-07-08 0:00 ` Robert Dewar
[not found] ` <dewar.899586342@merv>
[not found] ` <359F50D9.5126DEE1@cl.cam.ac.uk>
1998-07-07 0:00 ` Robert Dewar
1998-07-10 0:00 ` Samuel Mize
1998-07-13 0:00 ` Robert Dewar [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox