Skip to content

Commit

Permalink
remove unused exception Invalid_edit ...
Browse files Browse the repository at this point in the history
  • Loading branch information
ulugbekna committed Jan 19, 2023
1 parent 16e5a7d commit 0759a17
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 19 deletions.
12 changes: 0 additions & 12 deletions lsp/src/text_document.ml
Original file line number Diff line number Diff line change
Expand Up @@ -138,18 +138,6 @@ let version (t : t) = t.document.version

let languageId (t : t) = t.document.languageId

type invalid_edit =
{ message : string
; change : TextDocumentContentChangeEvent.t
}

exception Invalid_edit of invalid_edit

let () =
Printexc.register_printer (function
| Invalid_edit { message; change = _ } -> Some message
| _ -> None)

let apply_change encoding sz (change : TextDocumentContentChangeEvent.t) =
match change.range with
| None -> String_zipper.of_string change.text
Expand Down
7 changes: 0 additions & 7 deletions lsp/src/text_document.mli
Original file line number Diff line number Diff line change
Expand Up @@ -15,13 +15,6 @@ val text : t -> string

exception Invalid_utf8

type invalid_edit =
{ message : string
; change : TextDocumentContentChangeEvent.t
}

exception Invalid_edit of invalid_edit

val apply_content_changes :
?version:int -> t -> TextDocumentContentChangeEvent.t list -> t

Expand Down

0 comments on commit 0759a17

Please sign in to comment.