[MLton] Re: [MLton-commit] r7033

[Matthew Fluet]

On Sat, 4 Apr 2009, Ville Laurikari wrote:
> Changed hard coded (non-portable) values for RTLD_GLOBAL, RTLD_LAZY,
> RTLD_LOCAL, and RTLD_NOW.  Use the "make constants" mechanism instead.
>
> ----------------------------------------------------------------------
>
> U   mlton/trunk/lib/mlnlffi/memory/linkage-libdl.sml
> U   mlton/trunk/lib/mlnlffi/memory/memory.unix.mlb
> U   mlton/trunk/runtime/gen/basis-ffi.def
> U   mlton/trunk/runtime/platform.c
>
> ----------------------------------------------------------------------

I don't think this is a good idea.  It forces the Basis Library archive to 
carry around values that are only used by mlnlffi-lib.  This means that 
these constants need to be available on every platform, regardless of 
whether or not that platform supports libdl (some may not).