diff options
author | Adam Joseph <adam@westernsemico.com> | 2022-11-24T09·35-0800 |
---|---|---|
committer | Adam Joseph <adam@westernsemico.com> | 2022-11-27T19·16+0000 |
commit | 22c2c5ba46bde2ac3f62811eb5caaffede7ceed8 (patch) | |
tree | 656cc689d9d35b6a5d2954bdf8e6e74622123a7e /users/tazjin/dns | |
parent | dad8a7cbffbb0fac850e081e564eb09c67dd2fca (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 'users/tazjin/dns')
0 files changed, 0 insertions, 0 deletions