Fix empty block evaluation

Pi-Squared-Inc · Nov 4, 2024 · d76b184 · d76b184
1 parent 043f9dc
commit d76b184
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 3 deletions.
diff --git a/rust-semantics/execution/block.md b/rust-semantics/execution/block.md
@@ -8,7 +8,7 @@ module RUST-BLOCK
     // https://doc.rust-lang.org/stable/reference/expressions/block-expr.html
     // https://doc.rust-lang.org/stable/reference/names/scopes.html
 
-    rule {.InnerAttributes}:BlockExpression => .K
+    rule {.InnerAttributes}:BlockExpression => ptrValue(null, tuple(.ValueList))
     // Pushin and popping the local state (without cleaing) should help with
     // variable shadowing
     rule {.InnerAttributes S:Statements}:BlockExpression

diff --git a/tests/execution/empty_function.1.run b/tests/execution/empty_function.1.run
@@ -1,2 +1,4 @@
 new :: empty_function :: Empty;
-call :: empty_function :: Empty.empty
+call :: empty_function :: Empty.empty;
+return_value;
+check_eq ()
diff --git a/tests/execution/function_call.1.run b/tests/execution/function_call.1.run
@@ -1,2 +1,4 @@
 new :: function_call :: FunctionCalls;
-call :: function_call :: FunctionCalls.call_empty
+call :: function_call :: FunctionCalls.call_empty;
+return_value;
+check_eq ()