about summary refs log tree commit diff
path: root/tvix/eval/src/compiler
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2023-03-12T15·06+0300
committerclbot <clbot@tvl.fyi>2023-03-17T19·31+0000
commitea80e0d3f88576ef593b1f9237bd51da9c3f335b (patch)
treec5a7994ff42ff489d74fdbad51a3005d4c394be0 /tvix/eval/src/compiler
parentb78ae941a48bc7105ac964701a9e2c268b12d2ef (diff)
feat(tvix/eval): enrich errors with VM's frame stack information r/6023
When emitting an error at runtime, the VM will now use the new
`NativeError` and `BytecodeError` error kinds (which just wrap inner
errors) to create a set of diagnostics to emit.

The primary diagnostic is emitted last, with `error` type (so it will
be coloured red in terminals), the other ones will be emitted with
`note` type, highlighting the causal chain.

Example:
https://gist.github.com/tazjin/25feba7d211702453c9ebd5f8fd378e4

This is currently quite verbose, and we can cut down on this further,
but the purpose of this commit is to surface more information first of
all before worrying about the exact display.

Change-Id: I058104a178c37031c0db6b4b3e4f4170cf76087d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/8266
Autosubmit: tazjin <tazjin@tvl.su>
Reviewed-by: flokli <flokli@flokli.de>
Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/eval/src/compiler')
-rw-r--r--tvix/eval/src/compiler/mod.rs3
1 files changed, 2 insertions, 1 deletions
diff --git a/tvix/eval/src/compiler/mod.rs b/tvix/eval/src/compiler/mod.rs
index 39b706cb48..9cbbf62dbd 100644
--- a/tvix/eval/src/compiler/mod.rs
+++ b/tvix/eval/src/compiler/mod.rs
@@ -1339,7 +1339,8 @@ fn compile_src_builtin(
             file.clone(),
             weak.upgrade().unwrap(),
             &mut crate::observer::NoOpObserver {},
-        )?;
+        )
+        .map_err(|e| ErrorKind::NativeError(Box::new(e)))?;
 
         if !result.errors.is_empty() {
             return Err(ErrorKind::ImportCompilerError {