From: reinert <reinkor@gmail.com>
Subject: Compiler error (2) ?
Date: Sun, 25 Sep 2022 23:54:33 -0700 (PDT) [thread overview]
Message-ID: <7085edb5-688c-410c-b401-23ff3ca2a38fn@googlegroups.com> (raw)
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
next reply other threads:[~2022-09-26 6:54 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-09-26 6:54 reinert [this message]
2022-09-26 8:12 ` Compiler error (2) ? Simon Wright
2022-09-26 8:34 ` J-P. Rosen
2022-09-26 8:47 ` reinert
2022-09-26 9:59 ` reinert
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox