~marionnet-drivers/ocamlbricks/trunk

Viewing all changes in revision 528.

  • Committer: Jean-Vincent Loddo
  • Date: 2020-05-23 20:20:55 UTC
  • Revision ID: loddo@lipn.univ-paris13.fr-20200523202055-pg9f4cxrjo3cuw2k
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.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: