maurice/snix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(tvix/eval): Implement builtins.pathExists

Browse source 
Change-Id: Ife8a690e9036868964771893ab29a9ae3a2d2365
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6919
Reviewed-by: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
This commit is contained in:
Griffin Smith 2022-10-10 00:03:17 -04:00 • committed by grfn
parent 273ba73754
commit 0b8a967aca
3 changed files with 10 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

13
tvix/eval/src/builtins/impure.rs
View file

@ -15,10 +15,11 @@ use crate::{
}; };
fn impure_builtins() -> Vec<Builtin> { fn impure_builtins() -> Vec<Builtin> {
vec![Builtin::new( vec![
"readDir", Builtin::new("pathExists", &[true], |args: Vec<Value>, vm: &mut VM| {
&[true], Ok(super::coerce_value_to_path(&args[0], vm)?.exists().into())
|args: Vec<Value>, vm: &mut VM| { }),
Builtin::new("readDir", &[true], |args: Vec<Value>, vm: &mut VM| {
let path = super::coerce_value_to_path(&args[0], vm)?; let path = super::coerce_value_to_path(&args[0], vm)?;
let mk_err = |err: io::Error| ErrorKind::IO { let mk_err = |err: io::Error| ErrorKind::IO {
path: Some(path.clone()), path: Some(path.clone()),
@ -50,8 +51,8 @@ fn impure_builtins() -> Vec<Builtin> {
); );
} }
Ok(Value::attrs(NixAttrs::from_map(res))) Ok(Value::attrs(NixAttrs::from_map(res)))
}, }),
)] ]
} }
/// Return all impure builtins, that is all builtins which may perform I/O /// Return all impure builtins, that is all builtins which may perform I/O

1
tvix/eval/src/tests/tvix_tests/eval-okay-pathexists.exp Normal file
View file

@ -0,0 +1 @@
true

2
tvix/eval/src/tests/tvix_tests/eval-okay-pathexists.nix Normal file
View file

@ -0,0 +1,2 @@
builtins.pathExists ./lib.nix
&& !builtins.pathExists ./bla.nix