Re: Discrimant Record Types and GNAT

[Matthew Heaney <matthew_heaney@acm.org>]

You have use a smaller maximum size.  For example:

  subtype Length_Range is Natural range 0 .. 80;

  type Name_Buffer (Length : Length_Range := 0) is
    record
      Name : String (1 .. Length);
    end record;



abailly <abailly@nordnet.fr> writes:

> I've got problems with using discrimant record types with defaults
> values
> For example :
> 
> type Tab is array(POSITIVE range <>) of TOTO;
> type REc (taille : NATURAL := 0) is record
>     t : tab(1..taille);
> end record;
> 
> I've been taught by my Ada teacher that this kind of object could be
> declared as
> tab1 : Rec;
> and then used with tab1 := <any_rec>
> effectively creating an unconstrained array.
> 
> However, when I compile something like that with GNAT (3.10p on a
> Linux-i586 box)
> I get warnings at compile time and STORAGE_ERROR at runtime, which is
> not the case
> with another compiler we are using for lessons.
> 
> Anyone got an answer to this problem ?
> 
> Thank you in advance
> 
> Arnaud BAILLY