summaryrefslogtreecommitdiff
path: root/fpcsrc/tests/webtbs/tw18013.pp
blob: 26afbcc788e8a548ad09cc188ffc84628e195ceb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
program test;

var
  wa, ws : set of 1..9;
begin
  wa := [1..2];
  ws := [1..3];
  if (wa <= ws) and (wa <> ws) then writeln('True') else begin writeln('False'); halt(1) end;
  if (wa <= ws) then
    if (wa <> ws) then writeln('True') else begin writeln('False'); halt(1); end
  else halt(1);
  if (wa <= ws) then writeln('True') else begin writeln('False'); halt(1); end;
  if (wa <> ws) then writeln('True') else begin writeln('False'); halt(1); end;

end.