Talk:Ada Programming/Types/record

Hi,

The example for a mutable record does not seem to make sense to me since its declaration implies a default discriminant.

Does having a default discriminant not mean that when you declare a record of that type without specifying a discriminant, the default value is taken as the discriminant?

If so then does that not mean that the record is immutable?

All help greatly appreciated.