Re: Strings with discriminated records

[NiGHTS <nights@unku.us>]

On Saturday, May 26, 2018 at 7:42:22 PM UTC-4, Shark8 wrote:
> You can do this:
> 
> Type Message(Length : Positive) is record
>   Text  :  String(1..Length);
>   -- Other components.
> end record;

More interesting to me would be to pass a string literal as a discriminant. Using your example, something like this...

Type Message (Length : Positive; Text_Value : String) is record
  Text  :  String(1..Length) := Text_Value;
  -- Other components.
end record; 

This gives me an error: Discriminants must must have a discrete or access type