Source file extension.ml

open Import
open Json.Conv

module DebugEcho = struct
  module T = struct
    type t = { message : string } [@@deriving_inline yojson]

    let _ = fun (_ : t) -> ()

    let t_of_yojson =
      (let _tp_loc = "lsp/src/extension.ml.DebugEcho.T.t" in
       function
       | `Assoc field_yojsons as yojson -> (
         let message_field = ref Ppx_yojson_conv_lib.Option.None
         and duplicates = ref []
         and extra = ref [] in
         let rec iter = function
           | (field_name, _field_yojson) :: tail ->
             (match field_name with
             | "message" -> (
               match Ppx_yojson_conv_lib.( ! ) message_field with
               | Ppx_yojson_conv_lib.Option.None ->
                 let fvalue = string_of_yojson _field_yojson in
                 message_field := Ppx_yojson_conv_lib.Option.Some fvalue
               | Ppx_yojson_conv_lib.Option.Some _ ->
                 duplicates :=
                   field_name :: Ppx_yojson_conv_lib.( ! ) duplicates)
             | _ ->
               if
                 Ppx_yojson_conv_lib.( ! )
                   Ppx_yojson_conv_lib.Yojson_conv.record_check_extra_fields
               then extra := field_name :: Ppx_yojson_conv_lib.( ! ) extra
               else ());
             iter tail
           | [] -> ()
         in
         iter field_yojsons;
         match Ppx_yojson_conv_lib.( ! ) duplicates with
         | _ :: _ ->
           Ppx_yojson_conv_lib.Yojson_conv_error.record_duplicate_fields
             _tp_loc
             (Ppx_yojson_conv_lib.( ! ) duplicates)
             yojson
         | [] -> (
           match Ppx_yojson_conv_lib.( ! ) extra with
           | _ :: _ ->
             Ppx_yojson_conv_lib.Yojson_conv_error.record_extra_fields
               _tp_loc
               (Ppx_yojson_conv_lib.( ! ) extra)
               yojson
           | [] -> (
             match Ppx_yojson_conv_lib.( ! ) message_field with
             | Ppx_yojson_conv_lib.Option.Some message_value ->
               { message = message_value }
             | _ ->
               Ppx_yojson_conv_lib.Yojson_conv_error.record_undefined_elements
                 _tp_loc
                 yojson
                 [ ( Ppx_yojson_conv_lib.poly_equal
                       (Ppx_yojson_conv_lib.( ! ) message_field)
                       Ppx_yojson_conv_lib.Option.None
                   , "message" )
                 ])))
       | _ as yojson ->
         Ppx_yojson_conv_lib.Yojson_conv_error.record_list_instead_atom
           _tp_loc
           yojson
        : Ppx_yojson_conv_lib.Yojson.Safe.t -> t)

    let _ = t_of_yojson

    let yojson_of_t =
      (function
       | { message = v_message } ->
         let bnds : (string * Ppx_yojson_conv_lib.Yojson.Safe.t) list = [] in
         let bnds =
           let arg = yojson_of_string v_message in
           ("message", arg) :: bnds
         in
         `Assoc bnds
        : t -> Ppx_yojson_conv_lib.Yojson.Safe.t)

    let _ = yojson_of_t

    [@@@deriving.end]
  end

  module Params = T
  module Result = T
end

module DebugTextDocumentGet = struct
  module Params = Types.TextDocumentPositionParams

  module Result = struct
    type t = string option

    let yojson_of_t = function
      | None -> `Null
      | Some s -> `String s

    let t_of_yojson = function
      | `Null -> None
      | `String s -> Some s
      | json -> Json.error "DebugTextDocumentGet" json
  end
end