diff options
author | 2016-06-01 16:51:15 +0200 | |
---|---|---|
committer | 2016-06-02 16:45:39 +0200 | |
commit | ffd89ea323937b7d323e24a2b6d53cdc857117dd (patch) | |
tree | 0e2a089a429486362bf5a4cd00e7662dee450a11 /lib/richpp.ml | |
parent | e020cc70578b65609ac7337537f16a1c25254e77 (diff) |
Encapsulate xml serialization in xmlprotocol.mli
This eases the task of replacing/improving the serializer, as well as
making it more resistant. See pitfalls below:
Main changes are:
- fold `message` type into `feedback` type
- make messages of type `Richpp.richpp` so we are explicit about the
content being a rich document.
- moved serialization functions for messages and stateid to `Xmlprotocol`
- improved a couple of internal API points (`is_message`).
Tested.
Diffstat (limited to 'lib/richpp.ml')
-rw-r--r-- | lib/richpp.ml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/richpp.ml b/lib/richpp.ml index fe3edd99c..a98273edb 100644 --- a/lib/richpp.ml +++ b/lib/richpp.ml @@ -194,7 +194,3 @@ let raw_print xml = let () = print xml in Buffer.contents buf -let of_richpp x = Element ("richpp", [], [x]) -let to_richpp xml = match xml with -| Element ("richpp", [], [x]) -> x -| _ -> raise Serialize.Marshal_error |