1 files changed, 7 insertions, 3 deletions
diff --git a/lib/syntax/dead_end.ml b/lib/syntax/dead_end.ml
index 78eadda..bb78263 100644
--- a/lib/syntax/dead_end.ml
+++ b/lib/syntax/dead_end.ml
@@ -6,9 +6,8 @@ type ('a, 'b) variable = { pos : 'a; name : string; index : 'b option }
 module Expression = Default.Expression
 
 module Instruction = struct
+  type expression = Default.Expression.t' S.repr
   type repr = unit
-  type expression = Expression.repr
-  type variable = Expression.variable
 
   (** Call for an instruction like [GT] or [*CLR] *)
   let call : pos -> string -> expression list -> repr = fun _ _ _ -> ()
@@ -35,7 +34,12 @@ module Instruction = struct
     ignore label;
     ()
 
-  let assign : pos -> variable -> T.assignation_operator -> expression -> repr =
+  let assign :
+      pos ->
+      (S.pos, expression) S.variable ->
+      T.assignation_operator ->
+      expression ->
+      repr =
    fun _ _ _ _ -> ()
 end