From 75527525e5fcb0e62ad3a6e03f03ec051e66d863 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Tue, 29 Nov 2016 16:39:03 -0800 Subject: [PATCH] ppx_compare Errlog Reviewed By: sblackshear Differential Revision: D4232400 fbshipit-source-id: 1878002 --- infer/src/IR/Errlog.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/infer/src/IR/Errlog.ml b/infer/src/IR/Errlog.ml index 87396a34e..ec34d7415 100644 --- a/infer/src/IR/Errlog.ml +++ b/infer/src/IR/Errlog.ml @@ -31,7 +31,7 @@ type err_data = (int * int) * int * Location.t * L.ml_loc option * loc_trace * Exceptions.err_class * Exceptions.exception_visibility -let err_data_compare +let compare_err_data (_, _, loc1, _, _, _, _) (_, _, loc2, _, _, _, _) = Location.compare loc1 loc2 @@ -39,7 +39,7 @@ let err_data_compare module ErrDataSet = (* set err_data with no repeated loc *) Set.Make(struct type t = err_data - let compare = err_data_compare + let compare = compare_err_data end) (** Hash table to implement error logs *) @@ -253,7 +253,7 @@ module Err_table = struct module LocMap = Map.Make(struct type t = ErrDataSet.elt - let compare = err_data_compare + let compare = compare_err_data end) let print_err_table_details fmt err_table =