Re: How can I get this data into the .data section of the binary?

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 16/06/2020 16:42, Luke A. Guest wrote:
> On 16/06/2020 15:25, Dmitry A. Kazakov wrote:
>> On 16/06/2020 16:14, Niklas Holsti wrote:
> 
>>> I have no idea if this will help you -- the types in our case were
>>> much simpler -- but you might try it with a small subset of your package:
>>>
>>>      Pixel_Format_Unknown     : constant Pixel_Format_Names :=
>>>        (True, (NUL, NUL, NUL, NUL));
>>>
>>> (assuming "use Ada.Characters.Latin_1").
>>
>> That is interesting. Was there the "others =>" part?
>>
>> I can imagine that with "others => NUL" a static zeroed section were
>> used with other parts written upon it during start.
>>
>> P.S. I hope more people now see why compile-time subprograms are necessary.
>>
> 
> I don't think Ada needs compile-time subprograms, it just needs to
> recognise actual static data which can be generated at compile time,

Without calling subprograms? That is not possible in 99% of use cases. 
Note also that initialization of shared sections using run-time code is 
simply not possible as you must run the code exactly once.

> also the static_predicate could be evaluated by the compiler at runtime
> too.

And the predicate's terms were only literals?

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de