Thanks! (This message confirms that the fix led to a successful build on my machine.)
On Wed, Mar 10, 2010 at 10:29 PM, David Matthews David.Matthews@prolingua.co.uk wrote:
I've fixed a bug in the X86/64 version (SVN 1082) and it now builds successfully.
David
Makarius wrote:
On Mon, 8 Mar 2010, David Matthews wrote:
Ramana Kumar wrote:
I decided to update Poly/ML svn today and ran into this problem. Not a big deal since my old version still works, but maybe there's a bug to be found.
... Use: basis/PrettyPrinter.sml Use: basis/FinalPolyML.sml Use: basis/TopLevelPolyML.sml /bin/sh: line 1: 16849 Segmentation fault ? ? ?./polyimport -H 10
What platform was this? ?In particular what hardware? ?I'm doing a lot on the low-level code-generation at the moment so things may be broken but if it's easy to fix I'd rather do it now than later.
I've run into the same problem on Mac OS (Snow Leopard), compiling for x86-darwin or x86_64-darwin.
polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml