From 8190046190dcce2844387729d0dbce6e5248ce41 Mon Sep 17 00:00:00 2001 From: Griffin Smith Date: Sun, 9 Oct 2022 22:11:32 -0400 Subject: feat(tvix/eval): Implement builtins.elem Change-Id: Id99c1d33f87ad9866990d3483d3531e9e48f861f Reviewed-on: https://cl.tvl.fyi/c/depot/+/6916 Autosubmit: grfn Reviewed-by: tazjin Tested-by: BuildkiteCI --- tvix/eval/src/builtins/mod.rs | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'tvix/eval/src/builtins') diff --git a/tvix/eval/src/builtins/mod.rs b/tvix/eval/src/builtins/mod.rs index 5819796236cd..8929d91cc9c6 100644 --- a/tvix/eval/src/builtins/mod.rs +++ b/tvix/eval/src/builtins/mod.rs @@ -174,6 +174,14 @@ fn pure_builtins() -> Vec { &[false, false], |args: Vec, vm: &mut VM| arithmetic_op!(&*args[0].force(vm)?, &*args[1].force(vm)?, /), ), + Builtin::new("elem", &[true, true], |args: Vec, vm: &mut VM| { + for val in args[1].to_list()? { + if val.nix_eq(&args[0], vm)? { + return Ok(true.into()); + } + } + Ok(false.into()) + }), Builtin::new("elemAt", &[true, true], |args: Vec, _: &mut VM| { let xs = args[0].to_list()?; let i = args[1].as_int()?; -- cgit 1.4.1