On 02/07/2012 19:50, Aleks Kissinger wrote:
$ gdb --args poly --use test.ML
....
....
val lib = ?: dylib
val diff = fn: int * int -> int
Reading symbols for shared libraries ...................... done
Program received signal SIGTRAP, Trace/breakpoint trap.
[Switching to process 75853 thread 0x1703]
0x00007fff8619cedf in __CFInitialize ()
Right, well a quick check with Google turned up this:
http://stackoverflow.com/questions/3414523/debugging-a-crash-when-a-library-is-opened-via-dlopen-on-osx
which references:
http://openradar.appspot.com/7209349
Apparently it's all to do with the CoreFoundation library. The second
reference gives a couple of possible work-arounds. I'm afraid that
things like this seem to happen with Mac OS.
Regards,
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
