From: Simon Wright <simon@pushface.org>
Subject: Discriminant problem
Date: Sun, 29 Aug 2021 19:51:57 +0100 [thread overview]
Message-ID: <lytuj8dqya.fsf@pushface.org> (raw)
I have
Location_Step.Node_Test :=
(Node_Test => Get_Node_Type_Test (T.Node_Type_Part.all),
Name => Null_Unbounded_String);
where
type Location_Steps is record
...
Node_Test : Node_Test_Specification
:= (Node_Test => No_Node_Test,
Name => Null_Unbounded_String);
...
end record;
and
type Node_Test_Specification
(Node_Test : Node_Tests := No_Node_Test) is
record
Name : Unbounded_String;
case Node_Test is
...
end case;
end record;
Because of that function call in
Node_Test => Get_Node_Type_Test (T.Node_Type_Part.all)
the compiler says
value for discriminant "Node_Test" must be static
non-static function call (RM 4.9(6,18))
OK, I get that (tiresome though it is, and I'm amazed I've never come
across it before), but how to approach it? I seem to be OK with
case Get_Node_Type_Test (T.Node_Type_Part.all) is
when Text_Node_Test =>
Location_Step.Node_Test :=
(Node_Test => Text_Node_Test,
Name => Null_Unbounded_String);
when ...
end case;
but this seems very ugly.
I've only just noticed this: I'd been using -gnatX (so that I could use
'Image on records), which meant that the original code was OK (in the
sense that it didn't raise any problems), but of course it's not
portable even within the GNAT family. I think -gnat2020 might solve the
issue too, but there's a bit of a skew between CE 2021 and GCC 11.
next reply other threads:[~2021-08-29 18:51 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-08-29 18:51 Simon Wright [this message]
2021-08-30 8:13 ` Discriminant problem Simon Wright
2021-08-30 22:03 ` Jeffrey R. Carter
2021-08-31 1:53 ` Randy Brukardt
2021-09-09 19:51 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox