8 Mar
2010
8 Mar
'10
8:43 a.m.
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.
David