From d00472c59d15259b486868c5ccdb50b6e602a548 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 6 Dec 2018 04:44:27 +0100
Subject: [doc] Enable Warning 50 [incorrect doc comment] and fix comments.

This is a pre-requisite to use automated formatting tools such as
`ocamlformat`, also, there were quite a few places where the comments
had basically no effect, thus it was confusing for the developer.

p.s: Reading some comments was a lot of fun :)
---
 vernac/classes.mli | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

(limited to 'vernac/classes.mli')

diff --git a/vernac/classes.mli b/vernac/classes.mli
index bb70334342..eb6c0c92e1 100644
--- a/vernac/classes.mli
+++ b/vernac/classes.mli
@@ -27,22 +27,22 @@ val existing_instance : bool -> qualid -> Hints.hint_info_expr option -> unit
 
 val declare_instance_constant :
   typeclass ->
-  Hints.hint_info_expr -> (** priority *)
-  bool -> (** globality *)
-  Impargs.manual_explicitation list -> (** implicits *)
+  Hints.hint_info_expr (** priority *) ->
+  bool (** globality *) ->
+  Impargs.manual_explicitation list (** implicits *) ->
   ?hook:(GlobRef.t -> unit) ->
-  Id.t -> (** name *)
+  Id.t (** name *) ->
   UState.universe_decl ->
-  bool -> (* polymorphic *)
-  Evd.evar_map -> (* Universes *)
-  Constr.t -> (** body *)
-  Constr.types -> (** type *)
+  bool (** polymorphic *) ->
+  Evd.evar_map (** Universes *) ->
+  Constr.t (** body *) ->
+  Constr.types (** type *) ->
   unit
 
 val new_instance :
-  ?abstract:bool -> (** Not abstract by default. *)
-  ?global:bool -> (** Not global by default. *)
-  ?refine:bool -> (** Allow refinement *)
+  ?abstract:bool (** Not abstract by default. *) ->
+  ?global:bool (** Not global by default. *) ->
+  ?refine:bool (** Allow refinement *) ->
   program_mode:bool ->
   Decl_kinds.polymorphic ->
   local_binder_expr list ->
-- 
cgit v1.2.3