[PPL-devel] [GIT] ppl/ppl(master): Report on two bugs fixed in the OCaml interface.

[Patricia Hill]

Module: ppl/ppl
Branch: master
Commit: 10dc3fd3600d9f6f978dde677c8a3da31a7decbf
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10dc3fd3600d9f6f978dde677c8a3da31a7decbf

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Thu Mar 26 12:31:24 2009 +0000

Report on two bugs fixed in the OCaml interface.

---

 NEWS |   13 +++++++++++++
 1 files changed, 13 insertions(+), 0 deletions(-)

diff --git a/NEWS b/NEWS
index 1833ebd..469c04b 100644
--- a/NEWS
+++ b/NEWS
@@ -85,6 +85,19 @@ o  Fixed a bug in the Java/OCaml/Prolog interfaces, whereby
 o  Fixed a bug in method Octagonal_Shape<T>::affine_image(var, expr)
    whereby a wrong result was computed under specific conditions.
 
+o  Fixed a bug in the OCaml interface, whereby functions of form
+
+     ppl_..._widening_assign_with_tokens
+
+   and
+
+     ppl_..._extrapolation_assign_with_tokens
+
+   could return a wrong number of tokens.
+
+o  Fixed a bug in the OCaml interface, whereby functions that returned
+   an OCaml 'unit' type were returning the wrong value.
+
 
 --------------------------------------------------------------------------
 NEWS for version 0.10  (released on November 4, 2008)