diff options
| author | Pierre-Marie Pédrot | 2015-09-14 16:40:28 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-09-20 15:20:32 +0200 |
| commit | f4584f8a332c9077844e227c8b86d3cb1daf8b12 (patch) | |
| tree | 8f09f14d3a3273ccdbd7ec86146b70bce5623278 /lib/serialize.ml | |
| parent | 481d2b681463d2758fec6b2417631491be69f216 (diff) | |
Adding rich printing primitives.
Diffstat (limited to 'lib/serialize.ml')
| -rw-r--r-- | lib/serialize.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/serialize.ml b/lib/serialize.ml index aa2e3f02a4..b14bfb2833 100644 --- a/lib/serialize.ml +++ b/lib/serialize.ml @@ -114,3 +114,7 @@ let to_loc xml = with Not_found | Invalid_argument _ -> raise Marshal_error) | _ -> raise Marshal_error +let of_xml x = Element ("xml", [], [x]) +let to_xml xml = match xml with +| Element ("xml", [], [x]) -> x +| _ -> raise Marshal_error |