Re: Constant record components

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Sun, 2 Jul 2006 09:13:54 -0700, ME wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
> news:1loq7utmaxvll$.yqsxj5edzqgv.dlg@40tude.net...
>> On Sat, 1 Jul 2006 09:25:06 -0700, ME wrote:
>>
>>> What was the rationale for prohibiting constant record components?
>>
>> Initialization and composition issues. Then often it is argued that
>> discriminants are, though limited.

> What were these issues?

You should ask language lawyers. Consider aggregates:

type Semimutable is record
   A : constant Integer := 10;
   B : Integer;
end record;

X : Semimutable := (A => 20, B => 40); -- Constraint_Error?
Y : Semimutable := (A => 10, B => 40);

It might become tricky when A is a composite or private type. Should it
finalize the component and initialize it *same*? In which sense same? Does
it skip A upon assignments?

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de