Refactoring the API

1 files changed, 8 insertions, 14 deletions

diff --git a/lib/syntax/default.ml b/lib/syntax/default.ml
index dad5144..45e7c14 100644
--- a/lib/syntax/default.ml
+++ b/lib/syntax/default.ml
@@ -17,29 +17,23 @@ module Expression (T' : T) = struct
       If missing, the index should be considered as [0].
    *)
 
-  let ident : (S.pos, T'.t S.repr) S.variable -> T'.t S.repr =
-   fun _ report -> (T'.default, report)
+  let ident : (S.pos, T'.t) S.variable -> T'.t = fun _ -> T'.default
 
   (*
         Basic values, text, number…
    *)
 
-  let integer : S.pos -> string -> T'.t S.repr =
-   fun _ _ report -> (T'.default, report)
-
-  let literal : S.pos -> string -> T'.t S.repr =
-   fun _ _ report -> (T'.default, report)
+  let integer : S.pos -> string -> T'.t = fun _ _ -> T'.default
+  let literal : S.pos -> string -> T'.t = fun _ _ -> T'.default
 
   (** Call a function. The functions list is hardcoded in lib/lexer.mll *)
-  let function_ : S.pos -> T.function_ -> T'.t S.repr list -> T'.t S.repr =
-   fun _ _ _ report -> (T'.default, report)
+  let function_ : S.pos -> T.function_ -> T'.t list -> T'.t =
+   fun _ _ _ -> T'.default
 
   (** Unary operator like [-123] or [+'Text']*)
-  let uoperator : S.pos -> T.uoperator -> T'.t S.repr -> T'.t S.repr =
-   fun _ _ _ report -> (T'.default, report)
+  let uoperator : S.pos -> T.uoperator -> T'.t -> T'.t = fun _ _ _ -> T'.default
 
   (** Binary operator, for a comparaison, or an operation *)
-  let boperator :
-      S.pos -> T.boperator -> T'.t S.repr -> T'.t S.repr -> T'.t S.repr =
-   fun _ _ _ _ report -> (T'.default, report)
+  let boperator : S.pos -> T.boperator -> T'.t -> T'.t -> T'.t =
+   fun _ _ _ _ -> T'.default
 end