Re: Concatenation and Characters

["Grein, Christoph" <christoph.grein@eurocopter.com>]

> It really is a language design flaw that you can't have a zero-length
> positional aggregate.

with Ada.Text_IO;
use  Ada.Text_IO;

procedure Xxx is

  type Empty is range 1 .. 0;
  type Array_Type is array (Positive range <>) of Empty;

  function F return Array_Type is
  begin
    return (5 .. 4 => 0);
  end;

  Nothing: Array_Type := F;

begin

  Put_Line (Boolean'Image (Nothing = (7..4 => Empty'First)));
  Put_Line (Boolean'Image (Nothing = (0..-1 => Empty'Last)));

end Xxx;


try to run this. No value can fulfil the range constraint of Empty, but it does 
not matter, since the range is empty and the value is not evaluated.

(I'm not so sure that the range 0..-1 is legal, but my compiler accepts it and 
prints True twice, and I 
just do not feel like searching the RM :-(