diff options
author | edef <edef@edef.eu> | 2023-12-30T00·52+0000 |
---|---|---|
committer | edef <edef@edef.eu> | 2024-01-16T19·20+0000 |
commit | b624edb2ae0df67f9d70a031563b83a33bb282ef (patch) | |
tree | bbf4a6e05f56ee593f6fa70565a3eecdc3b76942 /.gitignore | |
parent | 5ac9450395bf88c0716914dd407a5d13e23b49ed (diff) |
fix(tvix/eval): lift VM ops over Catchable r/7395
We want to handle bottoms in a consistent fashion. Previously this was handled by repetitive is_catchable checks, which were not consistently present. Change-Id: I9614c479cc6297d1f64efba22b620a26e2a96802 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10485 Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions