diff options
author | Griffin Smith <root@gws.fyi> | 2022-10-08T18·48-0400 |
---|---|---|
committer | grfn <grfn@gws.fyi> | 2022-10-08T19·02+0000 |
commit | f6bcd11cad1e370deb0580ae1a7f4d050cd75bab (patch) | |
tree | 795a5f3a57916147cd4916ce0749ae431375511f /tvix/eval/src/builtins | |
parent | 167718614429322655fa352d20c754612da8d1a8 (diff) |
fix(tvix/eval): Force thunks when comparing against ground vals r/5066
Thunks correctly force when comparing for equality against other thunks, but weren't being forced correctly when comparing against non-thunk values, in either direction. Change-Id: Ia03702895ec4d70aed3445c1b0a9a7a641d1a300 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6897 Autosubmit: grfn <grfn@gws.fyi> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/eval/src/builtins')
0 files changed, 0 insertions, 0 deletions