about summary refs log tree commit diff
path: root/tools
diff options
context:
space:
mode:
authorAdam Joseph <adam@westernsemico.com>2022-11-24T09·35-0800
committerAdam Joseph <adam@westernsemico.com>2022-11-27T19·16+0000
commit22c2c5ba46bde2ac3f62811eb5caaffede7ceed8 (patch)
tree656cc689d9d35b6a5d2954bdf8e6e74622123a7e /tools
parentdad8a7cbffbb0fac850e081e564eb09c67dd2fca (diff)
fix(tvix/eval): implement function/thunk ptr-equality for list ord r/5346
With this change, the test introduced by cl/7370 passes.

Change-Id: Ie7d2f02a59d61151f14ebd328e6cfa5892cacfb0
Reviewed-on: https://cl.tvl.fyi/c/depot/+/7375
Reviewed-by: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
Autosubmit: Adam Joseph <adam@westernsemico.com>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions