diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-09-01T14·26+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2022-09-07T19·23+0000 |
| commit | baa012d5a3c70e06306e88f570fdbbed3c88591f (patch) | |
| tree | 588dbea046ada581a3b4b1cb00a38eae42f030d3 | |
| parent | 805c1870ee70f9a3263bca9d8c25e56b577d596f (diff) | |
feat(tvix/eval): track source spans for `assert` r/4724
Change-Id: I5415f63ddde388847a261da4ce9a8d8235657535 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6391 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
| -rw-r--r-- | tvix/eval/src/compiler/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tvix/eval/src/compiler/mod.rs b/tvix/eval/src/compiler/mod.rs index 5e9131bf6263..7c3f2b253713 100644 --- a/tvix/eval/src/compiler/mod.rs +++ b/tvix/eval/src/compiler/mod.rs @@ -604,7 +604,7 @@ impl Compiler<'_> { fn compile_assert(&mut self, slot: Option<LocalIdx>, node: ast::Assert) { // Compile the assertion condition to leave its value on the stack. self.compile(slot, node.condition().unwrap()); - self.push_op_old(OpCode::OpAssert); + self.push_op(OpCode::OpAssert, &node); // The runtime will abort evaluation at this point if the // assertion failed, if not the body simply continues on like |