From 6ae76dbd77ae0af0db606263b0c2d62daed74202 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Tue, 28 Aug 2018 18:15:54 +0100
Subject: add __POS__ argument to Err_unreachable for better error reporting

---
 src/reporting_basic.mli | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/reporting_basic.mli')

diff --git a/src/reporting_basic.mli b/src/reporting_basic.mli
index d2978389..39ac32f0 100644
--- a/src/reporting_basic.mli
+++ b/src/reporting_basic.mli
@@ -80,7 +80,7 @@ type error =
 
   (** Unreachable errors should never be thrown. It means that some
       code was excuted that the programmer thought of as unreachable *)
-  | Err_unreachable of Parse_ast.l * string
+  | Err_unreachable of Parse_ast.l * (string * int * int * int) * string
 
   (** [Err_todo] indicates that some feature is unimplemented; it should be built using [err_todo]. *)
   | Err_todo of Parse_ast.l * string
@@ -99,8 +99,8 @@ val err_todo : Parse_ast.l -> string -> exn
 (** [err_general l m] is an abreviatiation for [Fatal_error (Err_general (b, l, m))] *)
 val err_general : Parse_ast.l -> string -> exn
 
-(** [err_unreachable l m] is an abreviatiation for [Fatal_error (Err_unreachable (b, l, m))] *)
-val err_unreachable : Parse_ast.l -> string -> exn
+(** [err_unreachable l __POS__ m] is an abreviatiation for [Fatal_error (Err_unreachable (l, __POS__, m))] *)
+val err_unreachable : Parse_ast.l -> (string * int * int * int) -> string -> exn
 
 (** [err_typ l m] is an abreviatiation for [Fatal_error (Err_type (l, m))] *)
 val err_typ : Parse_ast.l -> string -> exn
-- 
cgit v1.2.3