testsuite/tests/basic-more/if_in_if.ml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

(* TEST
 include testing;
*)

let sequor b1 b2 =
  let b1 = ref b1 in
  let b2 = ref b2 in
  let b1 = !b1 in
  let b2 = !b2 in
  if (if b1 then true else b2 && if b1 then true else b2)
  then "true" else "false"

let sequand b1 b2 =
  let b1 = ref b1 in
  let b2 = ref b2 in
  let b1 = !b1 in
  let b2 = !b2 in
  if (if b1 then b2 else false && if b1 then b2 else false)
  then "true" else "false"

let sequor' b1 b2 =
  let b1 = ref b1 in
  let b2 = ref b2 in
  let b1 = !b1 in
  let b2 = !b2 in
  if (if b1 then true else b2 || if b1 then true else b2)
  then "true" else "false"

let sequand' b1 b2 =
  let b1 = ref b1 in
  let b2 = ref b2 in
  let b1 = !b1 in
  let b2 = !b2 in
  if (if b1 then b2 else false || if b1 then b2 else false)
  then "true" else "false"

let test b1 b2 =
  assert(sequor b1 b2 = if b1 || b2 then "true" else "false");
  assert(sequor' b1 b2 = if b1 || b2 then "true" else "false");
  assert(sequand b1 b2 = if b1 && b2 then "true" else "false");
  assert(sequand' b1 b2 = if b1 && b2 then "true" else "false")

let () =
  test false false;
  test false true;
  test true false;
  test true true