diff options
| author | Ryan Lahfa <tvl@lahfa.xyz> | 2023-12-30T23·00+0100 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2024-01-03T13·01+0000 |
| commit | d5aa75bbcf5efb13a82330414e26a4a582453552 (patch) | |
| tree | 499f1b509df7d76c615a843c25ceb20f240ff549 /tvix/glue/src/builtins/mod.rs | |
| parent | 7a84a8fe89e244bf667acc23a6a639fdf977a4e4 (diff) | |
feat(tvix/eval): emit warnings with kinds and spans r/7310
In the past, we had `emit_warning` be no-op and we used `push_warnings` exclusively but as we have consumers of this function, we need it to work somewhat. Change-Id: I78a5ece199a473dec9ef5ea1fae60b36e35137b8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10477 Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de>
Diffstat (limited to 'tvix/glue/src/builtins/mod.rs')
0 files changed, 0 insertions, 0 deletions