From c47881e6644e6c94e7bd27b017f7ce73bd54fa94 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Tue, 17 Mar 2020 09:04:50 -0700
Subject: [PATCH] [sledge] Remove dead Result.pp function

Reviewed By: ngorogiannis

Differential Revision: D20482765

fbshipit-source-id: 080d3ef44
---
 sledge/lib/import/import.ml  | 9 ---------
 sledge/lib/import/import.mli | 8 --------
 2 files changed, 17 deletions(-)

diff --git a/sledge/lib/import/import.ml b/sledge/lib/import/import.ml
index 79a6276df..38a4a194d 100644
--- a/sledge/lib/import/import.ml
+++ b/sledge/lib/import/import.ml
@@ -114,15 +114,6 @@ end
 module Option = Option
 include Option.Monad_infix
 include Option.Monad_syntax
-
-module Result = struct
-  include Base.Result
-
-  let pp fmt pp_elt fs = function
-    | Ok x -> Format.fprintf fs fmt pp_elt x
-    | Error _ -> ()
-end
-
 module List = List
 
 module Vector = struct
diff --git a/sledge/lib/import/import.mli b/sledge/lib/import/import.mli
index f1a596e4a..3e70758b4 100644
--- a/sledge/lib/import/import.mli
+++ b/sledge/lib/import/import.mli
@@ -107,14 +107,6 @@ module Invariant : module type of Base.Invariant
 module Option = Option
 include module type of Option.Monad_infix
 include module type of Option.Monad_syntax with type 'a t = 'a option
-
-module Result : sig
-  include module type of Base.Result
-
-  val pp : ('a_pp -> 'a -> unit, unit) fmt -> 'a_pp -> ('a, _) t pp
-  (** Pretty-print a result. *)
-end
-
 module List = List
 
 module Vector : sig