marionnet-dev team mailing list archive

Thread
Date

[Branch ~marionnet-drivers/ocamlbricks/trunk] Rev 330: Added support to marshal fields of type (class1, class2, class3) t (where t is a trifunctor, as f...

To: marionnet-dev <marionnet-dev@xxxxxxxxxxxxxxxxxxx>
From: noreply@xxxxxxxxxxxxx
Date: Wed, 03 Oct 2012 15:59:12 -0000
Reply-to: noreply@xxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

------------------------------------------------------------
revno: 330
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
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