← Back to team overview

marionnet-dev team mailing list archive

[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