From 9122623f2377bfe6aad0d4ea662481992e768201 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 8 Apr 2017 19:40:57 +0200
Subject: [location] Remove `Loc.internal_ghost`

`internal_ghost` was an artifact to ease porting of the ml4 rules. Now
that the location is optional we can finally get rid of it.
---
 lib/loc.ml  | 4 ----
 lib/loc.mli | 4 ----
 2 files changed, 8 deletions(-)

(limited to 'lib')

diff --git a/lib/loc.ml b/lib/loc.ml
index e02fe108d6..9107dce471 100644
--- a/lib/loc.ml
+++ b/lib/loc.ml
@@ -55,10 +55,6 @@ let unloc loc = (loc.bp, loc.ep)
 
 let join_loc = merge
 
-let internal_ghost = {
-  fname = ""; line_nb = -1; bol_pos = 0; line_nb_last = -1; bol_pos_last = 0;
-  bp = 0; ep = 0; }
-
 (** Located type *)
 type 'a located = t option * 'a
 
diff --git a/lib/loc.mli b/lib/loc.mli
index 6de6c584d8..110920d5ad 100644
--- a/lib/loc.mli
+++ b/lib/loc.mli
@@ -32,10 +32,6 @@ val unloc : t -> int * int
 val make_loc : int * int -> t
 (** Make a location out of its start and end position *)
 
-val internal_ghost : t
-
-(** Test whether the location is meaningful *)
-
 val merge : t -> t -> t
 val merge_opt : t option -> t option -> t option
 
-- 
cgit v1.2.3