diff options
author | Vincent Ambo <mail@tazj.in> | 2022-08-24T13·03+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-02T12·59+0000 |
commit | e1147b57c74d23a3f18b1a1e7413e4d0b9d5e2ba (patch) | |
tree | 3ca30a9dc1ac2910c34569276927f0ebacf830c1 /tvix/eval/src/value/builtin.rs | |
parent | ca90c0f45ad9892c35a2a0402939b857a6fca08e (diff) |
feat(tvix/eval): introduce mechanism for defining builtins r/4588
Adds a new builtins module in which builtins can be constructed. The functions in this module should return a correctly structured value to be passed to the compiler's `globals`. This is wired up all the way to the compiler with an example `toString` builtin, available as a global. Note that this does not yet actually behave like the real toString, which has some differences from `Display`. Change-Id: Ibb5f6fbe6207782fdf2434435567fc1bd80039a5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6254 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tvix/eval/src/value/builtin.rs')
-rw-r--r-- | tvix/eval/src/value/builtin.rs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tvix/eval/src/value/builtin.rs b/tvix/eval/src/value/builtin.rs index 8d7e82136125..84582e298586 100644 --- a/tvix/eval/src/value/builtin.rs +++ b/tvix/eval/src/value/builtin.rs @@ -34,6 +34,19 @@ pub struct Builtin { } impl Builtin { + pub fn new(name: &'static str, arity: usize, func: BuiltinFn) -> Self { + Builtin { + name, + arity, + func, + partials: vec![], + } + } + + pub fn name(&self) -> &'static str { + self.name + } + /// Apply an additional argument to the builtin, which will either /// lead to execution of the function or to returning a partial /// builtin. |