From 7f816f00fed5ee7c7e94bd5f02a88880cdfa96aa Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 6 May 2017 11:41:33 +0200
Subject: Using an algebraic type for distinguishing toplevel input from
 location in file.

---
 lib/loc.mli | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'lib/loc.mli')

diff --git a/lib/loc.mli b/lib/loc.mli
index 1fbaae8368..d4061e0446 100644
--- a/lib/loc.mli
+++ b/lib/loc.mli
@@ -8,8 +8,12 @@
 
 (** {5 Basic types} *)
 
+type source =
+  | InFile of string
+  | ToplevelInput
+
 type t = {
-  fname : string; (** filename *)
+  fname : source; (** filename or toplevel input *)
   line_nb : int; (** start line number *)
   bol_pos : int; (** position of the beginning of start line *)
   line_nb_last : int; (** end line number *)
@@ -22,7 +26,7 @@ type t = {
 
 (** This is inherited from CAMPL4/5. *)
 
-val create : string -> int -> int -> int -> int -> t
+val create : source -> int -> int -> int -> int -> t
 (** Create a location from a filename, a line number, a position of the
     beginning of the line, a start and end position *)
 
-- 
cgit v1.2.3