[PPL-devel] Bugs in OCaml interface

[Roberto Bagnara]

Kenneth MacKenzie wrote:
> I've been using the PPL OCaml interface to carry out some program
> analysis within a compiler.  It's been working pretty well, but I've
> come across a number of bugs.

Hi Kenneth,

thanks a lot for your detailed report.  We will look into these
issues in the next few days.  We will release PPL 0.10.1 in one
week or so: would you like to test a release snapshot to make
sure all the problems you reported have been solved?
All the best,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it