marionnet-dev team mailing list archive
-
marionnet-dev team
-
Mailing list archive
-
Message #00946
[Branch ~marionnet-drivers/ocamlbricks/trunk] Rev 510: Some basic but useful tools added in Misc (protect, protect2, standby, standby2, succeed, succeed...
------------------------------------------------------------
revno: 510
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
branch nick: ocamlbricks
timestamp: Sat 2020-04-25 16:35:22 +0200
message:
Some basic but useful tools added in Misc (protect, protect2, standby, standby2, succeed, succeed2, try_finalize, try_finalize2) and Either (to_option).
modified:
BASE/misc.ml
BASE/misc.mli
STRUCTURES/either.ml
STRUCTURES/either.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