Re: Empty String confusion; Positive and Natural

[Simon Wright <simon@pushface.org>]

ldries46 <bertus.dries@planet.nl> writes:

> Empty_String : Unbounded_String := To_Unbounded_String("");

* Given the name, you should probably declare it constant.

* You don't need to initialize it, ARM 4.5(73) [1] says "If an object of
  type Unbounded_String is not otherwise initialized, it will be
  initialized to the same value as Null_Unbounded_String".

* Ada.Strings.Unbounded.Null_Unbounded_String is a constant empty
  string.

[1] http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-A-4-5.html#p73