------------------------------------------------------------ revno: 528 committer: Jean-Vincent Loddo <lo...@lipn.univ-paris13.fr> branch nick: WORKING timestamp: Sat 2020-05-23 20:20:55 +0000 message: In module Extreme_sharing, added function `weakly_memoize_with_prj'. This variant of `weakly_memoize' prevent the collection of arguments that may occur memoizing functions with several arguments. Indeed, functions with several arguments must be uncurried before to be memoized. Doing that, it is possible that their arguments are built only to call the function, then unused hence collected. modified: STRUCTURES/extreme_sharing.ml STRUCTURES/extreme_sharing.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
