Any idea why calling symbols from certain shared libraries would cause poly/ML to crash on OS X? Example:
> val gtk = load_lib "libgtk-quartz-2.0.dylib"; val gtk = ?: dylib > val gtk_init = call2 (load_sym gtk "gtk_init") (INT,INT) VOID; val gtk_init = fn: int * int -> unit > gtk_init(0,0); [1] 96630 killed rlwrap -z poly This (or rather, the equivalent) code works fine on linux, and "libgtk-quartz-2.0.dylib" will link with C code in OS X with no problems. It seems to only do this for some libraries. For instance, the "difference" example from the poly docs (http://www.polyml.org/docs/CInterface.html) also works fine on OS X. _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
