From 21750c40ee3f7ef3103121db68aef4339dceba40 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Fri, 15 Dec 2017 19:09:15 +0100
Subject: [api] Also deprecate constructors of Decl_kinds.

Unfortunately OCaml doesn't deprecate the constructors of a type when
the type alias is deprecated.

In this case it means that we don't get rid of the kernel dependency
unless we deprecate the constructors too.
---
 API/API.mli | 16 ++++++++++------
 1 file changed, 10 insertions(+), 6 deletions(-)

(limited to 'API/API.mli')

diff --git a/API/API.mli b/API/API.mli
index 24a99d57f6..84c15238ae 100644
--- a/API/API.mli
+++ b/API/API.mli
@@ -1443,9 +1443,9 @@ sig
   type record_body = (Id.t * Constant.t array * projection_body array) option
 
   type recursivity_kind =
-    | Finite
-    | CoFinite
-    | BiFinite
+    | Finite (** = inductive *)
+    | CoFinite (** = coinductive *)
+    | BiFinite (** = non-recursive, like in "Record" definitions *)
 
   type mutual_inductive_body = {
         mind_packets : one_inductive_body array;
@@ -2160,10 +2160,14 @@ module Decl_kinds :
 sig
   type polymorphic = bool
   type cumulative_inductive_flag = bool
+
   type recursivity_kind = Declarations.recursivity_kind =
-    | Finite
-    | CoFinite
-    | BiFinite
+    | Finite (** = inductive *)
+        [@ocaml.deprecated "Please use [Declarations.Finite"]
+    | CoFinite (** = coinductive *)
+        [@ocaml.deprecated "Please use [Declarations.CoFinite"]
+    | BiFinite (** = non-recursive, like in "Record" definitions *)
+        [@ocaml.deprecated "Please use [Declarations.BiFinite"]
   [@@ocaml.deprecated "Please use [Declarations.recursivity_kind"]
 
   type discharge =
-- 
cgit v1.2.3