Chris Sparks a écrit :
> The problem is that I rarely use discriminants. It just seems silly to
> me that given that there are initializers on the type definition below,
> the compiler can deduce what the other value is for MR2 and MR3. Now if
> I didn't have initializers then that be a whole different matter.
>
Default value in discriminants are not really "default values" in the
usual sense. Actually, it all happens the other way round. Let me explain:
1) A discriminant must be initialized.
2) But it is (sometimes) necessary to declare unconstrained variables
3) => Unconstrained variables are allowed only if all discriminants have
default values.
In a sense, discriminant default values give the values of discriminants
for *unconstrained variables*. They are not used in the declaration of
*constrained* variables.
--
---------------------------------------------------------
J-P. Rosen ([log in to unmask])
Visit Adalog's web site at http://www.adalog.fr