about summary refs log tree commit diff
path: root/tvix/eval/proptest-regressions
diff options
context:
space:
mode:
authorsterni <sternenseemann@systemli.org>2022-09-19T09·47+0200
committersterni <sternenseemann@systemli.org>2022-09-20T10·59+0000
commite04ccc9354ee2112622fe9e6e6df8765bd7685fe (patch)
treedf5dccf977ea46babeec5427a75744748d3e384e /tvix/eval/proptest-regressions
parentfe3c4720a6f3276b5652b61937fa2ad19763af82 (diff)
fix(tvix/eval): make sure to deref thunk in type predicate builtins r/4936
Previously we only matched the outer constructor after forcing which
would mean that we would always return `false` if the inspected value
was a thunk, regardless what value would be present inside.

Change-Id: I361ea6e855e23ef8e5b59098a50b9cd59253803f
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6692
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: sterni <sternenseemann@systemli.org>
Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/eval/proptest-regressions')
0 files changed, 0 insertions, 0 deletions