-- Test package has the with and the use
with Ada.Text_IO; use Ada.Text_IO;
-- Test package has the with but not the use
with Ada.Numerics.Elementary_Functions; use Ada.Numerics.Elementary_Functions;
-- Test package does not have the with
with Ada.Assertions;
-- Test package does not have the with not the use
with Ada.Characters.Conversions; use Ada.Characters.Conversions;
separate (Test) procedure Bar is
B : Boolean;
begin
Put_Line ("Separate_Do_Nothing");
Put_Line (Ada.Numerics.Elementary_Functions.Log (10.0)'Image);
Ada.Assertions.Assert (1 = 1);
Ada.Assertions.Assert (Is_Character (Wide_Character'('a')));
B := Baz (2);
end Bar;