From 1bc1cba7a759a285131a3ed6ea8979716700b856 Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Tue, 20 Sep 2016 17:13:27 +0200 Subject: Rename Decl_kinds.binding_kind into Decls_kind.implicit_status. The new name makes it more obvious what is meant here by "kind". We leave Decl_kinds.binding_kind as a deprecated alias for plugin compatibility. We also replace bool with implicit_status in a few places in the codebase. --- intf/decl_kinds.mli | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'intf/decl_kinds.mli') diff --git a/intf/decl_kinds.mli b/intf/decl_kinds.mli index 29972f2f4..c117baf3f 100644 --- a/intf/decl_kinds.mli +++ b/intf/decl_kinds.mli @@ -10,7 +10,10 @@ type locality = Discharge | Local | Global -type binding_kind = Explicit | Implicit +type implicit_status = Explicit | Implicit + +type binding_kind = implicit_status +(** @deprecated Alias type *) type polymorphic = bool -- cgit v1.2.3