Re: MLton on OS X El Capitan
Matthew Fluet <[email protected]> Fri, 15 Apr 2016 09:19:19 -0400
| Newsgroups | gmane.comp.lang.ml.mlton.user |
|---|---|
| Message-ID | <CAMrhFL7KNpn95Jza8DGVhDZOPoiJEs+CmSajyzJK9-0mFdMACQ@mail.gmail.com> |
Great. BTW, I'm curious how/why you are using the save/load world feature. Due to its complicated relationship with position independent code as well as other stateful things that can be captured by the saved world but not restored by the loaded world (e.g., open file descriptors, signal handling, ...), I've been wondering whether it is worth maintaining or if it should be deprecated and removed. On Thu, Apr 14, 2016 at 2:12 PM, Christopher Harris <[email protected]> wrote: > Perfect -- thanks! It's working as expected. > > On Thu, Apr 14, 2016 at 11:35 AM, Matthew Fluet <[email protected]> > wrote: >> >> On Thu, Apr 14, 2016 at 12:20 PM, Rob Arthan <[email protected]> wrote: >> > I see the same behaviour on El Capitan as you, but it is consistent with >> > what >> > Matthew said: you've generated a world and then recompiled your program, >> > so you >> > can't load the old world into the new executable. If you run save-world >> > with no >> > arguments after recompiling you get a new world that you can load into >> > the new executable. >> >> Precisely: >> >> [mtf@graywolf tmp]$ mlton >> MLton 20100608 (built Tue Jun 8 16:05:08 EDT 2010 on zaphod.cs.rit.edu) >> [mtf@graywolf tmp]$ mlton save-world.sml >> [mtf@graywolf tmp]$ ./save-world >> I am the original >> [mtf@graywolf tmp]$ ./save-world @MLton load-world world -- >> Segmentation fault: 11 >> [mtf@graywolf tmp]$ mlton -link-opt -fno-PIE save-world.sml >> [mtf@graywolf tmp]$ ./save-world @MLton load-world world -- >> Invalid world: wrong magic number. >> [mtf@graywolf tmp]$ ./save-world >> I am the original >> [mtf@graywolf tmp]$ ./save-world @MLton load-world world -- >> I am the clone > > -- 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]. ------------------------------------------------------------------------------ Find and fix application performance issues faster with Applications Manager Applications Manager provides deep performance insights into multiple tiers of your business applications. It resolves application problems quickly and reduces your MTTR. Get your free trial! https://ad.doubleclick.net/ddm/clk/302982198;130105516;z