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