From bc4250caadd63f2db8fcbf59998b909e264b2b5c Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Thu, 23 Mar 2017 21:25:31 -0700 Subject: [PATCH] [infer] fix operator shadowing Summary: This was annoying as "jump to next error" was otherwise always jumping to this warning about shadowing `|>` Reviewed By: sblackshear Differential Revision: D4767571 fbshipit-source-id: 932145c --- infer/src/checkers/annotationReachability.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/infer/src/checkers/annotationReachability.ml b/infer/src/checkers/annotationReachability.ml index 878405593..ee04cc78a 100644 --- a/infer/src/checkers/annotationReachability.ml +++ b/infer/src/checkers/annotationReachability.ml @@ -26,9 +26,9 @@ let src_snk_pairs () = let parse_user_defined_specs = function | `List user_specs -> let parse_user_spec json = - let open Yojson.Basic.Util in - let sources = member "sources" json |> to_list |> List.map ~f:to_string in - let sinks = member "sink" json |> to_string in + let open Yojson.Basic in + let sources = Util.member "sources" json |> Util.to_list |> List.map ~f:Util.to_string in + let sinks = Util.member "sink" json |> Util.to_string in sources, sinks in List.map ~f:parse_user_spec user_specs | _ ->