From 3e9702edf213987767a8c1d5ab3b68b1b412d662 Mon Sep 17 00:00:00 2001 From: Artem Pianykh Date: Mon, 24 Feb 2020 05:44:58 -0800 Subject: [PATCH] [build] Fix test build failure due to use of polymorphic compare Reviewed By: skcho Differential Revision: D20067724 fbshipit-source-id: f873cf937 --- infer/src/nullsafe/modelTables.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/infer/src/nullsafe/modelTables.ml b/infer/src/nullsafe/modelTables.ml index 8bc2f9e9f..8771da637 100644 --- a/infer/src/nullsafe/modelTables.ml +++ b/infer/src/nullsafe/modelTables.ml @@ -226,7 +226,7 @@ let mapPut_list = type nonnull_alternative_method = {package_name: string; class_name: string; method_name: string} -(* Nullable methods that have non-nullable signatures. +(* Nullable methods that have non-nullable signatures. Format is a triple: (, , ), *) let nullable_methods_with_nonnull_alternatives_list = [ ( (n, [o]) @@ -243,7 +243,7 @@ let nullable_method_with_nonnull_alternatives_nullability_list = ~f:(fun (nullability, method_descr, _) -> (nullability, method_descr)) in List.iter result ~f:(fun ((ret_nullability, _param_nullability), _) -> - if not (ret_nullability == n) then + if not (Bool.equal ret_nullability n) then Logging.die Logging.InternalError "Function is expected to be nullable" ) ; result