diff options
author | Vincent Ambo <mail@tazj.in> | 2023-01-15T23·07+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2023-01-20T15·39+0000 |
commit | 7d0456fa0e6330d24f0234a51f8bec85f26686d3 (patch) | |
tree | a01237f979ab52e6be9a3c05fbb7c3e1c08e26bf /users/wpcarro | |
parent | f12f938166e5b0c773f3553fb7e7422a58e83c6d (diff) |
feat(tvix/eval): let builtin macro capture external state r/5708
This adds a feature to the `#[builtins]` macro which lets users specify an additional state type to (optionally) thread through to builtins when constructing them. This makes it possible for builtins-macro users to pass external state handles (specifically, in our case, known path tracking) into a set of builtins. Change-Id: I3ade20d333fc3ba90a80822cdfa5f87a9cfada75 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7840 Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to 'users/wpcarro')
0 files changed, 0 insertions, 0 deletions