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 <[email protected]> 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 > [email protected] > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml > _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
