[polyml] segmentation fault during build

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.

Makarius