From b3097de75d50a018665823e28e0ee4d7a3878160 Mon Sep 17 00:00:00 2001 From: William Carroll Date: Mon, 29 Aug 2022 12:57:31 -0700 Subject: feat(tvix/eval): Support builtins.{add,sub} First pass at supporting `builtins` for tvix. The following tests appear to be WAI: ```shell $ cd tvix/eval $ cargo build $ cargo test ``` Change-Id: I27cce23d503b17a886d1109e285e8b4be4264977 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6405 Tested-by: BuildkiteCI Reviewed-by: sterni --- tvix/eval/src/tests/tvix_tests/eval-okay-builtins-sub.nix | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 tvix/eval/src/tests/tvix_tests/eval-okay-builtins-sub.nix (limited to 'tvix/eval/src/tests/tvix_tests/eval-okay-builtins-sub.nix') diff --git a/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-sub.nix b/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-sub.nix new file mode 100644 index 000000000000..68b1913a0097 --- /dev/null +++ b/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-sub.nix @@ -0,0 +1,7 @@ +[ + (builtins.sub 7 11) + (builtins.sub 7.9 11) + (builtins.sub 7 11.9) + (builtins.sub 7.2 11.9) + (builtins.sub 7.9 11.9) +] -- cgit 1.4.1