Re: FFI callback is broken in last git version
Matthew Fluet <[email protected]> Thu, 29 Sep 2016 07:56:26 -0400
| Newsgroups | gmane.comp.lang.ml.mlton.user |
|---|---|
| Message-ID | <CAMrhFL4Kvzo=4N9F_yWa-QkWKHMXZAEb2_Cd4pz4CJ8drxjWyg@mail.gmail.com> |
On Thu, Sep 29, 2016 at 7:14 AM, Kostirya <[email protected]> wrote: > Another question. > My 32byt application is work fine - "reentrant" helped. > But I have problems with 64bit version: segmentation fault is sometimes. > Tell me, please, how it is possible to catch. > As I can enable debug symbol for coredump? Sure, "mlton -debug true z.mlb" will compile the generated .c and .s files with "-g" and will link with a runtime system itself compiled with "-g". The latter won't be as helpful if you don't have the MLton sources around, so best to use with a local build of the compiler. > > 2016-09-29 10:54 GMT+03:00 Florian Weimer <[email protected]>: >> >> > By the way, what does "reentrant" do? >> > I guess it turns GC, among other things. At least this seemed to me when >> > I >> > was exploring rare segmentation faults with MLton 20130715. >> >> It performs additional bookkeeping required so that C code can safely >> call back into SML code. This has some overhead, so it is not enabled >> by default. >> >> -- >> You received this message because you are subscribed to the Google Groups >> "MLton-user" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> >> >> >> ------------------------------------------------------------------------------ >> _______________________________________________ >> MLton-user mailing list >> [email protected]; [email protected] >> https://lists.sourceforge.net/lists/listinfo/mlton-user > > > -- > You received this message because you are subscribed to the Google Groups > "MLton-user" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > > ------------------------------------------------------------------------------ > > _______________________________________________ > MLton-user mailing list > [email protected]; [email protected] > https://lists.sourceforge.net/lists/listinfo/mlton-user > -- You received this message because you are subscribed to the Google Groups "MLton-user" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. ------------------------------------------------------------------------------