diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/loc.mli | 5 |
1 files changed, 4 insertions, 1 deletions
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 |