unrecoverable error when attempting to use a catchable as a function

#351
Opened by amjoseph at 2023-12-12T09·52+00

$ /git/depot/result/bin/tvix -E '(builtins.tryEval (throw "fred" 5)).success' note: while evaluating this Nix code --> [code]:1:1 | 1 | (builtins.tryEval (throw "fred" 5)).success | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ note: while evaluating this as native code (force) --> [code]:1:1 | 1 | (builtins.tryEval (throw "fred" 5)).success | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ note: while evaluating this as native code (tryEval) --> [code]:1:2 | 1 | (builtins.tryEval (throw "fred" 5)).success | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ error[E013]: only functions and builtins can be called, but this is a 'internal[catchable]' --> [code]:1:20 | 1 | (builtins.tryEval (throw "fred" 5)).success | ^^^^^^^^^^^^^^

$ nix eval --expr '(builtins.tryEval (throw "fred" 5)).success' false

  1. tazjin closed this issue at 2023-12-12T17·58+00