tvix/eval/src/tests/tvix_tests/eval-okay-optimised-bools.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

let
  makeTrue = _: true;
  makeFalse = _: false;
in
[
  # useless `false`
  (false || makeTrue null) # true
  (makeTrue null || false) # true

  # useless `true`
  (true && makeFalse null) # false
  (makeFalse null && true) # false

  # useless `||`
  (true || makeFalse null) # true
  (makeFalse null || true) # true

  # useless `&&`
  (false && makeTrue null) # false
  (makeTrue null && false) # false
]