From 1eedc27eeca4496bada669b700a59283cc6932e9 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 31 Oct 2018 16:53:18 +0000
Subject: Remove Parse_ast.Int, add unique locations

Remove Parse_ast.Int (for internal locations) as this was unused. Add
a Parse_ast.Unique constructor to create unique locations. Change
locate_X functions to take a function modifying locations, rather than
just replacing them and add a function unique : l -> l that makes
locations unique, such that `locate unique X` will make a locations in
X unique.
---
 src/parse_ast.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/parse_ast.ml')

diff --git a/src/parse_ast.ml b/src/parse_ast.ml
index 3317c196..d19e85ed 100644
--- a/src/parse_ast.ml
+++ b/src/parse_ast.ml
@@ -56,7 +56,7 @@ type text = string
 
 type l =
   | Unknown
-  | Int of string * l option
+  | Unique of int * l
   | Generated of l
   | Range of Lexing.position * Lexing.position
   | Documented of string * l
-- 
cgit v1.2.3