[PPL-devel] [GIT] ppl/w3ppl(master): Mention correction of bugs in the OCaml interface.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Apr  9 08:58:33 2009 +0200

Mention correction of bugs in the OCaml interface.

---

 htdocs/Bugs/Bugs.raw    |   17 +++++++++++++++++
 htdocs/Bugs/archive.raw |   17 +++++++++++++++++
 2 files changed, 34 insertions(+), 0 deletions(-)

diff --git a/htdocs/Bugs/Bugs.raw b/htdocs/Bugs/Bugs.raw
index c13c36c..e01447f 100644
--- a/htdocs/Bugs/Bugs.raw
+++ b/htdocs/Bugs/Bugs.raw
@@ -50,6 +50,23 @@ affecting various releases of the PPL.
 
 <DL>
 
+<DT><STRONG>March 26, 2009</STRONG></DT>
+<DD>
+Fixed several bugs in the OCaml interface code that were reported
+by Kenneth MacKenzie (thanks!). Corrections include:
+<UL>
+<LI>
+garbage collection issues (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=778dfb88238cb7f66cb638d9af2411cd88aa0038">778dfb88238cb7f66cb638d9af2411cd88aa0038</A>);
+</LI>
+<LI>
+proper handling of unit values (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8bd3d1d46d8b44f57d29b39912c3802968856596">8bd3d1d46d8b44f57d29b39912c3802968856596</A>);
+</LI>
+<LI>
+proper handling of tokens in widening functions (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aadc083b812f6bc477ad2c4bd08155f04992d310">aadc083b812f6bc477ad2c4bd08155f04992d310</A>).
+</LI>
+</UL>
+</DD>
+
 <DT><STRONG>March 24, 2009</STRONG></DT>
 <DD>
 Found a bug affecting the method
diff --git a/htdocs/Bugs/archive.raw b/htdocs/Bugs/archive.raw
index 9c0cadd..ae07a1d 100644
--- a/htdocs/Bugs/archive.raw
+++ b/htdocs/Bugs/archive.raw
@@ -10,6 +10,23 @@ for various versions of the PPL.
 
 <DL>
 
+<DT><STRONG>March 26, 2009</STRONG></DT>
+<DD>
+Fixed several bugs in the OCaml interface code that were reported
+by Kenneth MacKenzie (thanks!). Corrections include:
+<UL>
+<LI>
+garbage collection issues (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=778dfb88238cb7f66cb638d9af2411cd88aa0038">778dfb88238cb7f66cb638d9af2411cd88aa0038</A>);
+</LI>
+<LI>
+proper handling of unit values (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8bd3d1d46d8b44f57d29b39912c3802968856596">8bd3d1d46d8b44f57d29b39912c3802968856596</A>);
+</LI>
+<LI>
+proper handling of tokens in widening functions (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aadc083b812f6bc477ad2c4bd08155f04992d310">aadc083b812f6bc477ad2c4bd08155f04992d310</A>).
+</LI>
+</UL>
+</DD>
+
 <DT><STRONG>March 24, 2009</STRONG></DT>
 <DD>
 Found a bug affecting the method