about summary refs log tree commit diff
path: root/tvix/eval/src/errors.rs
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-08-29T15·33+0300
committertazjin <tazjin@tvl.su>2022-09-07T15·25+0000
commit9a783e50a490a873f157ec298165b3f38973e4b5 (patch)
treec3e5362a04d51ce422c00255354916beb32f1faf /tvix/eval/src/errors.rs
parentdb9cb70d5d7807adff255e21a04d78c5700d1260 (diff)
feat(tvix/eval): implement OpForce in VM r/4688
This operation forces the evaluation of a thunk.

There is some potential here for making an implementation that avoids
some copies, but the thunk machinery is tricky to get right so the
first priority is to make sure it is correct by keeping the
implementation simple.

Change-Id: Ib381455b02f42ded717faff63f55afed4c8fb7e3
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6352
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tvix/eval/src/errors.rs')
-rw-r--r--tvix/eval/src/errors.rs3
1 files changed, 3 insertions, 0 deletions
diff --git a/tvix/eval/src/errors.rs b/tvix/eval/src/errors.rs
index 49a051c16eee..32d37d78156d 100644
--- a/tvix/eval/src/errors.rs
+++ b/tvix/eval/src/errors.rs
@@ -38,6 +38,9 @@ pub enum ErrorKind {
     // Attempt to call something that is not callable.
     NotCallable,
 
+    // Infinite recursion encountered while forcing thunks.
+    InfiniteRecursion,
+
     ParseErrors(Vec<rnix::parser::ParseError>),
 
     AssertionFailed,