tvix/eval/src/tests/tvix_tests/eval-okay-builtins-thunked-function-calls.nix


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

[
  # This is independent of builtins
  (builtins.length [ (builtins.throw "Ferge") (builtins.throw "Wehsal") ])
  (builtins.attrNames {
    Hans = throw "Castorp";
    Joachim = throw "Ziemßen";
    James = "Tienappel";
  })

  (builtins.length (builtins.map builtins.throw [ "Settembrini" "Naphta" ]))

  (builtins.attrNames (builtins.mapAttrs builtins.throw {
    Clawdia = "Chauchat";
    Mynheer = "Peeperkorn";
  }))

  (builtins.length (builtins.genList (builtins.add "Marusja") 981))
  (builtins.length (builtins.genList builtins.throw 3))

  # These are hard to get wrong since the outer layer needs to be forced anyways
  (builtins.length (builtins.genericClosure {
    startSet = [
      { key = 1; initial = true; }
    ];
    operator = { key, initial, ... }:
      if initial
      then [{ key = key - 1; initial = false; value = throw "lol"; }]
      else [ ];
  }))
  (builtins.length (builtins.concatMap (m: [ m (builtins.throw m) ]) [ "Marusja" ]))
]