diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-13T13·06+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-13T14·41+0000 |
commit | 30de72fefb58a1fc67e3508442af75d46cae4760 (patch) | |
tree | a5d713b91e988a907ec1c40170515ca96b774917 /net | |
parent | c28ecbee970c0a16b7f93241a5a2ef2df49406c6 (diff) |
chore(tvix/eval): do not inherit scope depth in new scopes r/4841
This is no longer required, resolution is now more sane. Pointed out by sterni in cl/6422. Change-Id: Icc8983c648f864e66813948df6e2d4bad6a7f312 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6565 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'net')
0 files changed, 0 insertions, 0 deletions