diff options
author | Vincent Ambo <mail@tazj.in> | 2023-03-12T18·49+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2023-03-17T19·31+0000 |
commit | 5095e4f2696ef85ee7c6ae0515eb8d1586459f8c (patch) | |
tree | 8a7a6c5d17fa73a430256a170b80358e2d21f189 /tvix/README.md | |
parent | ea80e0d3f88576ef593b1f9237bd51da9c3f335b (diff) |
feat(tvix/eval): add generator "name" to NativeError kind r/6024
This produces traces in which we can see what kind of native code was run. Note that these "names" are named after the generator message, so these aren't *really* intended for end-user consumption, but we can give them saner names later. Example: https://gist.github.com/tazjin/82b24e92ace8e821008954867ee05057 This already makes the traces a little easier to parse. Change-Id: Idcd601baf84f492211b732ea0f04b377112e10d0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/8268 Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI Autosubmit: tazjin <tazjin@tvl.su>
Diffstat (limited to 'tvix/README.md')
0 files changed, 0 insertions, 0 deletions