diff options
Diffstat (limited to 'corp')
| -rw-r--r-- | corp/tvixbolt/src/main.rs | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/corp/tvixbolt/src/main.rs b/corp/tvixbolt/src/main.rs index f81ae070a2..8099a5238d 100644 --- a/corp/tvixbolt/src/main.rs +++ b/corp/tvixbolt/src/main.rs @@ -292,7 +292,18 @@ fn eval(trace: bool, code: &str) -> Output { }; match result { - Ok(value) => writeln!(&mut out.output, "{}", value).unwrap(), + Ok(result) => { + for warning in result.warnings { + writeln!( + &mut out.warnings, + "{}\n", + warning.fancy_format_str(&source).trim(), + ) + .unwrap(); + } + + writeln!(&mut out.output, "{}", result.value).unwrap() + } Err(err) => writeln!( &mut out.runtime_errors, "{}", |