From 6eb42e53ffafd9aed3c12805c6a228acccc03827 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 8 Apr 2017 20:08:01 +0200
Subject: [location] Document changes.

---
 lib/loc.mli | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/loc.mli b/lib/loc.mli
index 110920d5ad..ec79ced5d3 100644
--- a/lib/loc.mli
+++ b/lib/loc.mli
@@ -51,8 +51,11 @@ val raise : ?loc:t -> exn -> 'a
 type 'a located = t option * 'a
 (** Embed a location in a type *)
 
-(** Warning, this API is experimental  *)
+(* We would like in the future:
+ * type 'a located = private { tag: t option; obj: 'a; }
+ *)
 
+(** Warning, this API is experimental  *)
 val to_pair : 'a located -> t option * 'a
 val tag : ?loc:t -> 'a -> 'a located
 val obj : 'a located -> 'a
-- 
cgit v1.2.3