Re: Compiler error (2) ?

["J-P. Rosen" <rosen@adalog.fr>]

Please give the exact error message, and why you think it could be a 
compiler error. Otherwise, it's hard to help...

Le 26/09/2022 à 08:54, reinert a écrit :
> Hello,
> 
> This must reveal a compiler error :
> -------------------------------------------------------------------------------------------------------
> with Ada.Text_IO;
> with Ada.Containers.Vectors;
> procedure test1a is
>     type s_name_type is (s0, s1, s2, s3, s4, s5, s6, s7, s8, s9);
>     for s_name_type use
>        (S0 => 0, S1 => 1, S2 => 2, S3 => 3, S4 => 4,
>         S5 => 5, S6 => 6, S7 => 7, S8 => 8, S9 => 9);
>     package s_names_p is new Ada.Containers.Vectors
>       (Index_Type => Positive, Element_Type => s_name_type);
>     k : integer := 7;
> 
> -- n : constant integer := 7; -- uncomment this line and comment out the line below.
>     n : constant integer := k;
> 
>     s_names: constant s_names_p.Vector := [for i in 3..n => S0];
> begin
>     Ada.Text_IO.Put_Line(s_names'Image);
> end test1a;
> -------------------------------------------------------------------------------------------------------
> (compiled using alire and
> package Compiler is
>        for Switches ("ada") use ("-gnatwa", "-gnata", "-gnatX", "-gnatwv");
>     end Compiler;
> -------------------------------------------------------------------------------------------------------
> 
> Right?
> 
> reinert

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52
https://www.adalog.fr