Module: ppl/ppl Branch: master Commit: 6f92bdda48d52db1c27f36537b9af13f20b6c755 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6f92bdda48d52... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Wed Apr 7 17:37:14 2010 +0200 Restructured the OCaml interface to PIP_Tree_Node C++ classes. Also corrected several bugs related to object finalization. --- interfaces/OCaml/ppl_ocaml_common.cc | 238 ++++++++++++++------------------ interfaces/OCaml/ppl_ocaml_globals.ml | 46 +++---- interfaces/OCaml/ppl_ocaml_globals.mli | 34 ++--- 3 files changed, 141 insertions(+), 177 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=6f92bdda4...