ppx_compare Passthrough

Reviewed By: cristianoc

Differential Revision: D4232389

fbshipit-source-id: ffffa6d

infer/src/checkers/Passthrough.ml

@@ -17,6 +17,7 @@ type t =
   {
     site : CallSite.t;
   }
+[@@deriving compare]
 
 let make site =
   { site }
@@ -24,11 +25,6 @@ let make site =
 let site t =
   t.site
 
-let compare pt1 pt2 =
-  (match pt1, pt2 with
-   | {site=site1}, {site=site2} -> CallSite.compare site1 site2
-  )[@warning "+9"]
-
 let pp fmt s =
   F.fprintf fmt "%a" CallSite.pp s.site
 

infer/src/checkers/Passthrough.mli

@@ -9,14 +9,12 @@
 
 module F = Format
 
-type t
+type t [@@deriving compare]
 
 val make : CallSite.t -> t
 
 val site : t -> CallSite.t
 
-val compare : t -> t -> int
-
 val pp : F.formatter -> t -> unit
 
 module Set : PrettyPrintable.PPSet with type elt = t