about summary refs log tree commit diff
path: root/users/tvlbot.jpg
diff options
context:
space:
mode:
authorRyan Lahfa <tvl@lahfa.xyz>2023-12-26T03·49+0100
committerclbot <clbot@tvl.fyi>2024-01-03T16·54+0000
commite15b6580cce173c7a3246d421c4d16285bd892e9 (patch)
treea07039072de5d9b2852e225c3f01debfb1429575 /users/tvlbot.jpg
parent743c3620491dba67ebeaf439a4f0073f97d5e0af (diff)
chore(tvix/eval): notes on coercion and contexts r/7318
We make a case for adding a `reject_context` `CoercionKind` here.
It does happen during concatenation actually for path concats.

Change-Id: I0c196aad917550b9bcd0896cd2127a94f8181ffb
Reviewed-on: https://cl.tvl.fyi/c/depot/+/10444
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: raitobezarius <tvl@lahfa.xyz>
Diffstat (limited to 'users/tvlbot.jpg')
0 files changed, 0 insertions, 0 deletions