regtests/andthennot.adb

   1
   2 procedure AndThenNot is
   3 begin
   4    if Toto and then not
   5      True
   6    then
   7      null;
   8    end if;
   9
  10    if Toto
  11      and then not
  12        True
  13    then
  14      null;
  15    end if;
  16
  17    if Toto
  18      or else not
  19        True
  20    then
  21      null;
  22    end if;
  23
  24 end AndThenNot;