[server] added Jfile converters

src/plugins/server/data.ml

@@ -210,6 +210,14 @@ struct
   let to_json s = `String s
 end
 
+module Jfile : S with type t = Filepath.Normalized.t =
+struct
+  type t = Filepath.Normalized.t
+  let jtype = Jstring
+  let of_json js = Ju.to_string js |> Filepath.Normalized.of_string
+  let to_json (file:t) = `String (file :> string)
+end
+
 (* -------------------------------------------------------------------------- *)
 (* --- Text Datatypes                                                     --- *)
 (* -------------------------------------------------------------------------- *)

src/plugins/server/data.mli

@@ -81,6 +81,7 @@ module Jint : S with type t = int
 module Jfloat : S with type t = float
 module Jstring : S with type t = string
 module Jalpha : S with type t = string
+module Jfile : S with type t = Filepath.Normalized.t
 
 (** Rich text encoding, see [Jbuffer]. *)
 module Jtext : S with type t = json

src/plugins/server/kernel_main.ml

@@ -65,20 +65,20 @@ let () =
 let () =
   Request.register ~package ~kind:`SET ~name:"load"
     ~descr:(Md.plain "Load a save file. Returns an error, if not successfull.")
-    ~input:(module Jstring)
+    ~input:(module Jfile)
     ~output:(module Joption(Jstring))
     (fun file ->
-       try Project.load_all (Filepath.Normalized.of_string file); None
+       try Project.load_all file; None
        with Project.IOError err -> Some err)
 
 
 let () =
   Request.register ~package ~kind:`SET ~name:"save"
     ~descr:(Md.plain "Save the current session. Returns an error, if not successfull.")
-    ~input:(module Jstring)
+    ~input:(module Jfile)
     ~output:(module Joption(Jstring))
     (fun file ->
-       try Project.save_all (Filepath.Normalized.of_string file); None
+       try Project.save_all file; None
        with Project.IOError err -> Some err)