Merge pull request #154 from MiSawa/fix-path-value-argument

Fix path tracking on value arguments
MiSawa · Sep 5, 2022 · a0ad282 · a0ad282
2 parents 3f097b3 + 08099b3
commit a0ad282
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/src/compile/compiler.rs b/src/compile/compiler.rs
@@ -663,6 +663,9 @@ impl Compiler {
                         .emit_normal_op(ByteCode::PushClosure(closure), next);
                 }
                 ArgType::Value => {
+                    next = self
+                        .emitter
+                        .emit_normal_op(ByteCode::ExitNonPathTracking, next);
                     if require_context {
                         next = self.emitter.emit_normal_op(ByteCode::Swap, next);
                     }
@@ -672,6 +675,9 @@ impl Compiler {
                     } else {
                         require_context = true;
                     }
+                    next = self
+                        .emitter
+                        .emit_normal_op(ByteCode::EnterNonPathTracking, next);
                 }
             }
         }

diff --git a/tests/hand_written/mod.rs b/tests/hand_written/mod.rs
@@ -877,3 +877,16 @@ test!(
     "🤔"
     "#
 );
+
+test!(
+    path_value_argument,
+    r#"
+    def f($x): .y; path(f(.x))
+    "#,
+    r#"
+    null
+    "#,
+    r#"
+    ["y"]
+    "#
+);