From c2f87ff1e6e5676968804cd50b86fc2f0f9ad672 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Sat, 7 Oct 2023 12:24:37 +0200
Subject: Made explicit the use of the report in the parser

---
 lib/syntax/dead_end.ml | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'lib/syntax/dead_end.ml')

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
 
-- 
cgit v1.2.3