From 2d062a4ad099b5598112b4edca1f903bcd179dc5 Mon Sep 17 00:00:00 2001
From: Louis Gesbert <louis.gesbert@ocamlpro.com>
Date: Fri, 13 Oct 2023 16:12:15 +0200
Subject: [PATCH] Fix bug in dependency analysis around scope call arguments

---
 compiler/dcalc/from_scopelang.ml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/compiler/dcalc/from_scopelang.ml b/compiler/dcalc/from_scopelang.ml
index da5e003d..b059e7b7 100644
--- a/compiler/dcalc/from_scopelang.ml
+++ b/compiler/dcalc/from_scopelang.ml
@@ -660,10 +660,8 @@ let translate_rule
             ctx.scope_vars;
       } )
   | Definition
-      ( (SubScopeVar { alias = subs_index; var = subs_var; _ }, var_def_pos),
-        tau,
-        a_io,
-        e ) ->
+      ((SubScopeVar { alias = subs_index; var = subs_var; _ }, _), tau, a_io, e)
+    ->
     let a_name =
       Mark.map
         (fun str ->