ppx_compare Unop

Reviewed By: sblackshear

Differential Revision: D4232382

fbshipit-source-id: 292121c

infer/src/IR/Unop.re

@@ -23,18 +23,8 @@ let module F = Format;
 type t =
   | Neg /** Unary minus */
   | BNot /** Bitwise complement (~) */
-  | LNot /** Logical Not (!) */;
+  | LNot /** Logical Not (!) */
-
+[@@deriving compare];
-let compare o1 o2 =>
-  switch (o1, o2) {
-  | (Neg, Neg) => 0
-  | (Neg, _) => (-1)
-  | (_, Neg) => 1
-  | (BNot, BNot) => 0
-  | (BNot, _) => (-1)
-  | (_, BNot) => 1
-  | (LNot, LNot) => 0
-  };
 
 let equal o1 o2 => compare o1 o2 == 0;
 

infer/src/IR/Unop.rei

@@ -23,12 +23,11 @@ let module F = Format;
 type t =
   | Neg /** Unary minus */
   | BNot /** Bitwise complement (~) */
-  | LNot /** Logical Not (!) */;
+  | LNot /** Logical Not (!) */
+[@@deriving compare];
 
 let equal: t => t => bool;
 
-let compare: t => t => int;
-
 
 /** String representation of a unary operator. */
 let str: t => string;