summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/test_equal1.adb
blob: 7731f0c513ab0bed336d4fe7ee9b44fd84ee2701 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
-- { dg-do compile }

with equal1;
procedure test_equal1 is
  subtype Boolean_T is Boolean;
  function "=" (L, R : in equal1.Basic_Connection_Status_T)
    return Boolean_T renames equal1."=";
  Status : equal1.Basic_Connection_Status_T;
  Result : Boolean_T;
begin
  Status := equal1.Temporary_Disconnected;
  Result := Status /= equal1.Connected;
end;