Re: [MLton] Patches needed for MLton in debian/stretch

On Sat, Dec 17, 2016 at 4:20 PM, Matthew Fluet <[email protected]> wrote:
> The various platform patches can probably be merged.

I've also noticed that on some architectures some MLton-produced
executables segfault. I suspect this is probably a gcc issue. When was
the LLVM backend introduced and how reliable would you say it is
compared to the c-codegen?

> We should include a way of disabling PIC.  But, for those needing a
> non-PIE, they can achieve that with a "-link-opt -fno-PIE"; there
> shouldn't be a problem (just a small performance hit) if the
> intermediate object files are PIC.

There is a problem. Often you cannot link a PIC object with a non-PIC
object. The linker fails. This definitely needs to be under user
control.

> MLton.World.load (and "@MLton load-world <world>") are incompatible
> with PIE

That was my suspicion. Thank you for confirming.

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most 
engaging tech sites, SlashDot.org! http://sdm.link/slashdot