diff options
| author | Ryan Lahfa <tvl@lahfa.xyz> | 2023-12-26T03·49+0100 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2024-01-03T16·54+0000 |
| commit | e15b6580cce173c7a3246d421c4d16285bd892e9 (patch) | |
| tree | a07039072de5d9b2852e225c3f01debfb1429575 /.gitignore | |
| parent | 743c3620491dba67ebeaf439a4f0073f97d5e0af (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 '.gitignore')
0 files changed, 0 insertions, 0 deletions