-
Notifications
You must be signed in to change notification settings - Fork 7
/
Copy pathlsp_error.mli
33 lines (29 loc) · 959 Bytes
/
lsp_error.mli
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
open Lsp.Types
type error =
(* channel *)
| Error_request_unsupported
| Error_response_unsupported
| Error_invalid_request of { error : string }
| Error_invalid_notification of { error : string }
(* server *)
| Error_unsupported_request
| Error_unsupported_notification
(* context *)
| Error_notification_before_initialize
| Error_invalid_status_during_initialize
| Error_text_document_already_in_context
| Error_text_document_not_in_context
(* notification *)
| Error_multiple_content_changes of {
content_changes : TextDocumentContentChangeEvent.t list;
}
| Error_partial_content_change of {
content_change : TextDocumentContentChangeEvent.t;
}
| Error_invalid_content_change of {
content_change : TextDocumentContentChangeEvent.t;
}
| Error_unknown_language_id of { language_id : string }
type t = error [@@deriving show]
exception Lsp_error of { error : error }
val fail : error -> 'a