19 Aug
2010
19 Aug
'10
8 p.m.
Matthew, That looks suspiciously like the "execute bit" problem. Did you include -segprot POLY rwx rwx to the linker? See the last line of (the updated) http://www.polyml.org/FAQ.html#standalone
David
Matthew Fluet wrote:
David, With that change, I was able to successfully compile MLton with Poly/ML; unfortunately, the PolyML.export-ed executable gives a "Bus error" (on MacOSX (Snow Leopard)). I'll see if I get a different result on Linux and if I can reduce the issue. -Matthew