After integrating the new Finalizable module in a library, I am getting an internal error from the compiler:

Exception- InternalError: AllocStore found but last allocation not complete raised while compiling

This affects Poly/ML 5.5.2 and the very latest commit with the compiler rebuilt (twice). An example is attached showing this. I have reduced this as far as I can but still a few small library files are required. The file 'polyml.sml' is the top-level file that uses the other files.

Regards,
Phil

Attachment: polyml_compiler_issue-20150922-1.tar.gz
Description: GNU Zip compressed data

_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

Reply via email to