comp.lang.ada
 help / color / mirror / Atom feed
* Bugged Multiway_Tree package?
@ 2022-06-13 21:49 Devin Rozsas
  2022-06-13 22:02 ` Devin Rozsas
  2022-07-29  4:36 ` Devin Rozsas
  0 siblings, 2 replies; 3+ messages in thread
From: Devin Rozsas @ 2022-06-13 21:49 UTC (permalink / raw)


I've been trying to instantiate `Ada.Containers.Multiway_Trees`, but I was getting some error message like "Value for Disable_Controlled must be static" or something of the sort.
I looked at GNAT's source in `a-comutr.adb`, and indeed, at lines 54 and 79, there are non-static expressions for `Disable_Controlled`.

Both the AdaCore 2021 installer and Fedora's repo versions of GNAT have this in the source-code.

Is this a bug?

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: Bugged Multiway_Tree package?
  2022-06-13 21:49 Bugged Multiway_Tree package? Devin Rozsas
@ 2022-06-13 22:02 ` Devin Rozsas
  2022-07-29  4:36 ` Devin Rozsas
  1 sibling, 0 replies; 3+ messages in thread
From: Devin Rozsas @ 2022-06-13 22:02 UTC (permalink / raw)


"Fedora" may be sufficient for most, but if it isn't, I found this in the GNAT's source-code for Linux.

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: Bugged Multiway_Tree package?
  2022-06-13 21:49 Bugged Multiway_Tree package? Devin Rozsas
  2022-06-13 22:02 ` Devin Rozsas
@ 2022-07-29  4:36 ` Devin Rozsas
  1 sibling, 0 replies; 3+ messages in thread
From: Devin Rozsas @ 2022-07-29  4:36 UTC (permalink / raw)


Apparently, it only happens when it's instantiated inside a Remote_Types package.

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2022-07-29  4:36 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-06-13 21:49 Bugged Multiway_Tree package? Devin Rozsas
2022-06-13 22:02 ` Devin Rozsas
2022-07-29  4:36 ` Devin Rozsas

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox