From ad3aab9415b98a247a6cbce05752632c3c42391c Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 16 Jan 2017 13:02:55 +0100
Subject: [location] Move Glob_term.cases_pattern to located.

We continue the uniformization pass. No big news here, trying to be
minimally invasive.
---
 lib/loc.ml  | 3 ++-
 lib/loc.mli | 1 +
 2 files changed, 3 insertions(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/loc.ml b/lib/loc.ml
index 8ae8fe25d0..8d7432ff4b 100644
--- a/lib/loc.ml
+++ b/lib/loc.ml
@@ -63,7 +63,8 @@ type 'a located = t * 'a
 let to_pair x = x
 let tag ?loc x = Option.default ghost loc, x
 
-let with_loc f (loc, x) = f ~loc x
+let with_loc   f (loc, x) = f ~loc x
+let with_unloc f (_,x) = f x
 
 let map f (l,x) = (l, f x)
 let map_with_loc f (loc, x) = (loc, f ~loc x)
diff --git a/lib/loc.mli b/lib/loc.mli
index 7fc8efaa89..3f484bc4c3 100644
--- a/lib/loc.mli
+++ b/lib/loc.mli
@@ -62,6 +62,7 @@ val to_pair : 'a located -> t * 'a
 val tag : ?loc:t -> 'a -> 'a located
 
 val with_loc : (loc:t -> 'a -> 'b) -> 'a located -> 'b
+val with_unloc : ('a -> 'b) -> 'a located -> 'b
 
 val map : ('a -> 'b) -> 'a located -> 'b located
 val map_with_loc : (loc:t -> 'a -> 'b) -> 'a located -> 'b located
-- 
cgit v1.2.3