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

Reply via email to