From 9e16d708092e88d0013ef96ef9a33ec28b2c46ea Mon Sep 17 00:00:00 2001 From: Griffin Smith Date: Sun, 18 Sep 2022 16:34:41 -0400 Subject: feat(tvix/eval): Sketch out impure builtins Sketch out a new set of "impure" builtins, which supplement the existing set of "pure" builtins but are gated behind a feature flag, which allows them to be omitted by crates depending on tvix-eval that only want pure evaluation, such as tvixbolt. Change-Id: I2736017b5c9b4776bbba8758e108ec84887abd66 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6655 Reviewed-by: wpcarro Tested-by: BuildkiteCI Reviewed-by: sterni Reviewed-by: tazjin --- tvix/eval/src/builtins/impure.rs | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 tvix/eval/src/builtins/impure.rs (limited to 'tvix/eval/src/builtins/impure.rs') diff --git a/tvix/eval/src/builtins/impure.rs b/tvix/eval/src/builtins/impure.rs new file mode 100644 index 000000000000..3438aa06f424 --- /dev/null +++ b/tvix/eval/src/builtins/impure.rs @@ -0,0 +1,7 @@ +use crate::value::Builtin; + +/// Return all impure builtins, that is all builtins which may perform I/O outside of the VM and so +/// cannot be used in all contexts (e.g. WASM). +pub(super) fn builtins() -> Vec { + vec![] +} -- cgit 1.4.1