[MLton] Re: [MLton-commit] r7033

Matthew Fluet fluet at tti-c.org
Sun Apr 5 06:38:08 PDT 2009

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).

More information about the MLton mailing list