Achim D. Brucker wrote:
I've implemented a simple Word32 structure for Poly/ML (see the attachment file). It is a crude hack that implements the Word32 structure (mis-) using LargeWord. I know, this is not very efficient, but it works :-). Whereas the Word32 is not yet tested throughoutly, it works well enough for fxp [1] (a functional XML parser for SML). Moreover, I tested the setup by building HOL-OCL [2] with Poly/ML and running our regression test-suite (consisting out of several UML models that are imported into the system using the fxp parser). All tests run successfully (which also means, that I could successfully build Isabelle/HOL-Complex, version 2005, using the Poly/ML 5 beta). [1] http://www2.in.tum.de/~berlea/Fxp/ [2] http://www.brucker.ch/projects/hol-ocl/
Thanks for submitting this, Achim. I've made a few modifications and added it to CVS. I also made a small fix to the Word8 structure while I was doing this. Can you check that this still works?
In case anyone else wants to try this and isn't familiar with CVS, the commands are: cd polyml cvs update -Pd make clean make make install
David.