diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-04-25 18:02:27 +0200 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-04-25 18:02:27 +0200 |
commit | 43732086e664ff1fe59617a673e82cab6464c5e1 (patch) | |
tree | 464400e45215687469921b25660b71f4825cbb3d /myocamlbuild.ml | |
parent | 67b85b04d6d78d8e4bbec58eab4b0630abfcd67d (diff) |
Future: memory optimization when forcing a chained pure computation
Kudos to PMP for spotting that!
Diffstat (limited to 'myocamlbuild.ml')
0 files changed, 0 insertions, 0 deletions