Commits

Anonymous committed b0df91e

+ dest_put_exn

Comments (0)

Files changed (2)

          dest_put d (CR_Error (`Exn_string s))
     ;
 
+    value dest_put_exn
+     : dest 'o -> exn -> unit
+     = fun d e ->
+         dest_put_error d (Printexc.to_string e)
+    ;
+
 
     value (dest_pre_map : ('a -> 'b) -> dest 'b -> dest 'a) m d =
       let dest_ref = ref None in
 value dest_put_error : dest 'o -> string -> unit
 ;
 
+value dest_put_exn : dest 'o -> exn -> unit
+;
+
 
 
 value dest_get : dest 'o -> IO.m (call_resp 'o)