Cosmetic changes to improve Reason conversion

Summary: Changes for comment syntax and attachment.

Reviewed By: cristianoc

Differential Revision: D3647042

fbshipit-source-id: a540c0d

infer/src/checkers/annotations.ml

@@ -15,9 +15,10 @@ module L = Logging
 (** Annotations. *)
 
 (** Method signature with annotations. *)
-type annotated_signature =
+type annotated_signature = {
-  { ret : Typ.item_annotation * Typ.t; (** Annotated return type. *)
+  ret : Typ.item_annotation * Typ.t; (** Annotated return type. *)
-    params: (Mangled.t * Typ.item_annotation * Typ.t) list } (** Annotated parameters. *)
+  params: (Mangled.t * Typ.item_annotation * Typ.t) list (** Annotated parameters. *)
+}
 
 let param_equal (s1, ia1, t1) (s2, ia2, t2) =
   Mangled.equal s1 s2 &&

infer/src/checkers/annotations.mli

@@ -23,9 +23,10 @@ type annotation =
   | Present
 
 (** Method signature with annotations. *)
-type annotated_signature =
+type annotated_signature = {
-  { ret : Typ.item_annotation * Typ.t; (** Annotated return type. *)
+  ret : Typ.item_annotation * Typ.t; (** Annotated return type. *)
-    params: (Mangled.t * Typ.item_annotation * Typ.t) list } (** Annotated parameters. *)
+  params: (Mangled.t * Typ.item_annotation * Typ.t) list (** Annotated parameters. *)
+}
 
 (** Check if the annotated signature is for a wrapper of an anonymous inner class method.
     These wrappers have the same name as the original method, every type is Object, and the parameters