aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/serialize.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/serialize.ml')
-rw-r--r--lib/serialize.ml15
1 files changed, 6 insertions, 9 deletions
diff --git a/lib/serialize.ml b/lib/serialize.ml
index c97817779..042b75e2d 100644
--- a/lib/serialize.ml
+++ b/lib/serialize.ml
@@ -19,7 +19,7 @@ open Interface
open Xml_datatype
(* Marshalling of basic types and type constructors *)
-module Xml_marshalling = struct (* {{{ *)
+module Xml_marshalling = struct
exception Marshal_error
@@ -370,12 +370,12 @@ let to_feedback xml = match xml with
content = to_feedback_content content }
| _ -> raise Marshal_error
-end (* }}} *)
+end
include Xml_marshalling
(* Reification of basic types and type constructors, and functions
from to xml *)
-module ReifType : sig (* {{{ *)
+module ReifType : sig
type 'a val_t
@@ -609,7 +609,7 @@ end = struct
(pr_xml (of_option_state { opt_sync = true; opt_depr = false;
opt_name = "name1"; opt_value = IntValue (Some 37) }));
-end (* }}} *)
+end
open ReifType
(** Types reification, checked with explicit casts *)
@@ -755,7 +755,7 @@ let abstract_eval_call handler (c : 'a call) : 'a value =
with any ->
Fail (handler.handle_exn any)
-(** brain dead code, edit if protocol messages are added/removed {{{ *)
+(** brain dead code, edit if protocol messages are added/removed *)
let of_answer (q : 'a call) (v : 'a value) : xml = match q with
| Add _ -> of_value (of_value_type add_rty_t ) (Obj.magic v)
| Edit_at _ -> of_value (of_value_type edit_at_rty_t ) (Obj.magic v)
@@ -833,7 +833,6 @@ let to_call : xml -> unknown call =
| "Interp" -> Interp (mkCallArg interp_sty_t a)
| "StopWorker" -> StopWorker (mkCallArg stop_worker_sty_t a)
| _ -> raise Marshal_error)
-(* }}} *)
(** misc *)
@@ -841,7 +840,7 @@ let is_feedback = function
| Element ("feedback", _, _) -> true
| _ -> false
-(** {{{ Debug printing *)
+(** Debug printing *)
let pr_value_gen pr = function
| Good v -> "GOOD " ^ pr v
@@ -885,8 +884,6 @@ let pr_call call = match call with
| Interp x -> str_of_call call ^ " " ^ print interp_sty_t x
| StopWorker x -> str_of_call call ^ " " ^ print stop_worker_sty_t x
-(* }}} *)
-
let document to_string_fmt =
Printf.printf "=== Available calls ===\n\n";
Array.iter (fun (cname, csty, crty) ->