From 25c3cb41bdee283dde9ec68f41bc5675e27d572b Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Tue, 29 Nov 2016 16:36:05 -0800
Subject: [PATCH] ppx_compare CallFlags

Reviewed By: cristianoc

Differential Revision: D4232386

fbshipit-source-id: 8b2e568
---
 infer/src/IR/CallFlags.re  | 9 ++-------
 infer/src/IR/CallFlags.rei | 5 ++---
 2 files changed, 4 insertions(+), 10 deletions(-)

diff --git a/infer/src/IR/CallFlags.re b/infer/src/IR/CallFlags.re
index b2daa88b0..93db2e7c6 100644
--- a/infer/src/IR/CallFlags.re
+++ b/infer/src/IR/CallFlags.re
@@ -26,13 +26,8 @@ type t = {
   cf_noreturn: bool,
   cf_is_objc_block: bool,
   cf_targets: list Procname.t
-};
-
-let compare cflag1 cflag2 =>
-  bool_compare cflag1.cf_virtual cflag2.cf_virtual |>
-  next bool_compare cflag1.cf_interface cflag2.cf_interface |>
-  next bool_compare cflag1.cf_noreturn cflag2.cf_noreturn |>
-  next bool_compare cflag1.cf_is_objc_block cflag2.cf_is_objc_block;
+}
+[@@deriving compare];
 
 let pp f cf => {
   if cf.cf_virtual {
diff --git a/infer/src/IR/CallFlags.rei b/infer/src/IR/CallFlags.rei
index c595f917a..0eb2e53cb 100644
--- a/infer/src/IR/CallFlags.rei
+++ b/infer/src/IR/CallFlags.rei
@@ -26,9 +26,8 @@ type t = {
   cf_noreturn: bool,
   cf_is_objc_block: bool,
   cf_targets: list Procname.t
-};
-
-let compare: t => t => int;
+}
+[@@deriving compare];
 
 let pp: F.formatter => t => unit;