[sledge] Remove dead Loc.is_none

Reviewed By: jvillard

Differential Revision: D21441537

fbshipit-source-id: f09888760
master
Josh Berdine 5 years ago committed by Facebook GitHub Bot
parent dd3645820f
commit 0953444c24

@ -11,7 +11,6 @@ type t = {dir: string; file: string; line: int; col: int}
[@@deriving compare, equal, hash, sexp] [@@deriving compare, equal, hash, sexp]
let none = {dir= ""; file= ""; line= 0; col= 0} let none = {dir= ""; file= ""; line= 0; col= 0}
let is_none loc = compare loc none = 0
let mk ?(dir = none.dir) ?(file = none.file) ?(col = none.col) ~line = let mk ?(dir = none.dir) ?(file = none.file) ?(col = none.col) ~line =
{dir; file; line; col} {dir; file; line; col}

@ -12,5 +12,4 @@ type t = {dir: string; file: string; line: int; col: int}
val pp : t pp val pp : t pp
val none : t val none : t
val is_none : t -> bool
val mk : ?dir:string -> ?file:string -> ?col:int -> line:int -> t val mk : ?dir:string -> ?file:string -> ?col:int -> line:int -> t

Loading…
Cancel
Save