Re: Bounded String question

[AdaMagica <christ-usch.grein@t-online.de>]

Am Mittwoch, 11. November 2015 21:32:39 UTC+1 schrieb Serge Robyns:
> This how this whole thread started.  That construct does not work
> with pragma preelaborate.  But this was exactly the code I had initially :-)

No complaint from GNAT GPL 2015:
--------------------------------

with Ada.Strings; use Ada.Strings;
with Ada.Strings.Bounded;

procedure BS_Test is

  pragma Preelaborate;

  package BS is new Ada.Strings.Bounded.Generic_Bounded_Length (20);

  type OS is new BS.Bounded_String;
   
  No_OS: constant OS := OS (BS.Null_Bounded_String);  -- renaming does not work here, only allowed for tagged types

  function To_OS (Source: in String;
                  Drop  : in Truncation := Error) return OS renames BS_Test.To_Bounded_String;  -- inherited operations are implicitly defined in the same declarative region as the derived type

   B: OS     := To_OS ("asdfghjkl");
   S: String := To_String (B);

begin -- BS_Test
   null;
end BS_Test; 

gprbuild -ws -c -f -u -PC:\Users\Grein\Documents\Christoph\Ada\Spielplatz\spielplatz.gpr -XGeneration=Ada_2012 bs_test.adb
gcc -c -gnato -g -fstack-check -gnata -gnatf -gnat12 bs_test.adb
[2015-11-11 21:37:27] process terminated successfully, elapsed time: 02.07s