package forester

  1. Overview
  2. Docs
A tool for tending mathematical forests

Install

Dune Dependency

Authors

Maintainers

Sources

5.0.tar.gz
md5=24f4aed96a8b8af33aba13fba66f1b37
sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573

doc/src/forester.language_server/Lsp_error.ml.html

Source file Lsp_error.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
(*
 * SPDX-FileCopyrightText: 2024 The Forester Project Contributors AND The RedPRL Development Team
 *
 * SPDX-License-Identifier: GPL-3.0-or-later OR Apache-2.0 WITH LLVM-exception
 *
 *)

(* https://github.com/ocaml/ocaml-lsp/blob/556da72593c88b027a7124ae86da6cd638c7d679/ocaml-lsp-server/src/code_actions/action_jump.ml#L23 *)

type lsp_error =
  | Decode_error of string
  | Handshake_error of string
  | Shutdown_error of string
  | Unknown_request of string
  | Unknown_notification of string

exception Lsp_error of lsp_error

let decode_error s = Lsp_error (Decode_error s)
OCaml

Innovation. Community. Security.