[server] avoid deprecated Basic.json

src/plugins/server/data.ml

@@ -27,7 +27,7 @@
 module Json = Yojson.Basic
 module Jutil = Yojson.Basic.Util
 
-type json = Json.json
+type json = Json.t
 let pretty = Json.pretty_print ~std:false
 
 module type S =

src/plugins/server/doc.ml

@@ -125,7 +125,7 @@ let index () =
     (fun (title,entry) -> Markdown.href ~title entry)
     (List.sort (fun (a,_) (b,_) -> String.compare a b) !entries)
 
-type json = Yojson.Basic.json
+type json = Json.t
 
 let link ~toc ~title ~href : json =
   let link = [ "title" , `String title ; "href" , `String href ] in
@@ -141,7 +141,7 @@ let link_page page : json list =
        else links
     ) (pages_of_chapter page.chapter) []
 
-let maindata : Yojson.Basic.json =
+let maindata : json =
   `Assoc [
     "document", `String "Frama-C Server" ;
     "title",`String "Documentation" ;

src/plugins/server/jbuffer.ml

@@ -20,7 +20,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-type json = Yojson.Basic.json
+type json = Json.t
 
 type buffer = {
   text : FCBuffer.t ;

src/plugins/server/jbuffer.mli

@@ -20,7 +20,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-type json = Yojson.Basic.json
+type json = Json.t
 
 (** All-in-one formatter. Return the JSON encoding of formatted text. *)
 val format : ?indent:int -> ?margin:int ->

src/plugins/server/main.ml

@@ -55,7 +55,7 @@ let exec request data = (snd (Hashtbl.find registry request)) data
 (* --- Public API                                                         --- *)
 (* -------------------------------------------------------------------------- *)
 
-type json = Json.json
+type json = Json.t
 
 type 'a request = [
   | `Poll

src/plugins/server/main.mli

@@ -24,7 +24,7 @@
 (** Server Main Process *)
 (* -------------------------------------------------------------------------- *)
 
-type json = Yojson.Basic.json
+type json = Json.t
 type kind = [ `GET | `SET | `EXEC ]
 val string_of_kind : kind -> string
 val pp_kind : Format.formatter -> kind -> unit