No, there's no standard support now for serialization to XML.
On 04/14/2014 10:21 AM, Marco Maggesi wrote:
Ah, good.
Thanks, This solves my problem.
As a side curiosity, can the serialised type family be used to
encode/decode to xml?
2014-04-14 14:16 GMT+02:00 Adam Chlipala <[email protected]
<mailto:[email protected]>>:
On 04/14/2014 03:13 AM, Marco Maggesi wrote:
I have a tree-like datatype as follows
datatype tree =
| Leaf of { Label : string }
| Node of { Label : string, Children : list tree}
and I would like to write values of tree type inside an SQL database.
I expect the built-in [serialized] type family is exactly what you
want. You could help me test the documentation, by seeing if this
tip is enough to point you in the right direction without more
detail here. :)
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
