diff options
| author | Emilio Jesus Gallego Arias | 2016-06-01 16:51:15 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2016-06-02 16:45:39 +0200 |
| commit | ffd89ea323937b7d323e24a2b6d53cdc857117dd (patch) | |
| tree | 0e2a089a429486362bf5a4cd00e7662dee450a11 /lib/richpp.mli | |
| 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.mli')
| -rw-r--r-- | lib/richpp.mli | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/lib/richpp.mli b/lib/richpp.mli index 807d52aba4..287d265a8f 100644 --- a/lib/richpp.mli +++ b/lib/richpp.mli @@ -57,10 +57,7 @@ val richpp_of_string : string -> richpp val repr : richpp -> Xml_datatype.xml (** Observe the styled text as XML *) -(** {5 Serialization} *) - -val of_richpp : richpp -> Xml_datatype.xml -val to_richpp : Xml_datatype.xml -> richpp +(** {5 Debug/Compat} *) (** Represent the semi-structured document as a string, dropping any additional information. *) |