------------------------------------------------------------
revno: 330
committer: Jean-Vincent Loddo <lo...@lipn.univ-paris13.fr>
branch nick: ocamlbricks
timestamp: Wed 2012-10-03 17:54:23 +0200
message:
Added support to marshal fields of type (class1, class2, class3) t (where t
is a trifunctor, as for instace Either.t) in Marshallable_classes. In order to
convince ourself that this commit could be useful, we can think about a tree
structure where the leafs are decorated by a certain kind of values ('a), the
nodes are decorated by a second kind of values ('b), and the arcs are decorated
by a third kind of values ('c).
In OCaml, for fun:
type ('a,'b,'c) t = Leaf of 'a | Node of 'b * ('c * ('a,'b,'c) t) list1 ;;
modified:
MARSHAL/marshallable_classes.ml
MARSHAL/marshallable_classes.mli
--
lp:ocamlbricks
https://code.launchpad.net/~marionnet-drivers/ocamlbricks/trunk
Your team marionnet-dev is subscribed to branch lp:ocamlbricks.
To unsubscribe from this branch go to
https://code.launchpad.net/~marionnet-drivers/ocamlbricks/trunk/+edit-subscription
_______________________________________________
Mailing list: https://launchpad.net/~marionnet-dev
Post to : marionnet-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~marionnet-dev
More help : https://help.launchpad.net/ListHelp
