handling cases where the conditional is not the return

Pi-Squared-Inc · Sep 12, 2024 · 4d7d24a · 4d7d24a
1 parent f0c38d9
commit 4d7d24a
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/rust-semantics/execution/conditionals.md b/rust-semantics/execution/conditionals.md
@@ -3,9 +3,13 @@
 module RUST-CONDITIONALS-EVALUATION
     imports RUST-SHARED-SYNTAX
     imports RUST-VALUE-SYNTAX
-    
-    rule (if ptrValue(_, true) S:BlockExpression):ExpressionWithBlock => S
-    rule (if ptrValue(_, false) _:BlockExpression):ExpressionWithBlock => .
+
+    rule S:ExpressionWithBlock ; => S
+
+    rule (if ptrValue(_, true) S:BlockExpression):ExpressionWithBlock => S [owise]
+    rule (if ptrValue(_, false) _:BlockExpression):ExpressionWithBlock => . [owise]
+
+    // rule (if ptrValue(_, false) _:BlockExpression):ExpressionWithBlock ;=> .
 
     rule (if ptrValue(_, true) A:BlockExpression else _:IfElseExpression):ExpressionWithBlock => A
     rule (if ptrValue(_, false) _:BlockExpression else B:IfElseExpression):ExpressionWithBlock => B