From 06cbdfa651030ce01f3d5d435446a8e315b8e1a4 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Thu, 4 Aug 2016 04:03:36 -0700 Subject: [PATCH] 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 | 7 ++++--- infer/src/checkers/annotations.mli | 7 ++++--- 2 files changed, 8 insertions(+), 6 deletions(-) diff --git a/infer/src/checkers/annotations.ml b/infer/src/checkers/annotations.ml index 9dd8dc842..7fb2aff84 100644 --- a/infer/src/checkers/annotations.ml +++ b/infer/src/checkers/annotations.ml @@ -15,9 +15,10 @@ module L = Logging (** Annotations. *) (** Method signature with annotations. *) -type annotated_signature = - { ret : Typ.item_annotation * Typ.t; (** Annotated return type. *) - params: (Mangled.t * Typ.item_annotation * Typ.t) list } (** Annotated parameters. *) +type annotated_signature = { + ret : Typ.item_annotation * Typ.t; (** Annotated return type. *) + params: (Mangled.t * Typ.item_annotation * Typ.t) list (** Annotated parameters. *) +} let param_equal (s1, ia1, t1) (s2, ia2, t2) = Mangled.equal s1 s2 && diff --git a/infer/src/checkers/annotations.mli b/infer/src/checkers/annotations.mli index 8fe759a30..3dccba77c 100644 --- a/infer/src/checkers/annotations.mli +++ b/infer/src/checkers/annotations.mli @@ -23,9 +23,10 @@ type annotation = | Present (** Method signature with annotations. *) -type annotated_signature = - { ret : Typ.item_annotation * Typ.t; (** Annotated return type. *) - params: (Mangled.t * Typ.item_annotation * Typ.t) list } (** Annotated parameters. *) +type annotated_signature = { + ret : Typ.item_annotation * Typ.t; (** Annotated return type. *) + 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