The current version of Poly/ML is approaching the point of creating a
new release, 5.8. Makarius has run a lot of tests with Isabelle and
various bugs have been fixed. This has mainly affected the 32-bit
object ID version for 64-bits but some of the fixes will also have
affected the native-address versions.
This is a last chance to test the current git master before release.
Don't forget to run "make compiler" at least twice after the initial
"make" in order to build the up-to-date compiler and recompile all the
code with it. This is particularly important if testing the
--enable-compact32bit version. Some extra checking was added during
testing and there is a strong chance of getting an assertion failure
during the initial "make" or the first "make compiler" due to a bug in
the pre-built compiler. If this happens just rerun the step. Once the
compiler has been rebuilt it will incorporate a fix.
David
