[MLton-devel] -may-load-world option a bit ugly

[Stephen Weeks]

> wouldn't the more sensible option  be  to  NOT  allow  world  loading  unless
> MLton.World.save  is called in the executable, and to always allow it in that
> case.

One problem is that "MLton.World.save is called in the executable"
very much depends on what the compiler is able to figure out.  Because
of whole-program optimization, it might even change due to a small
seemingly unrelated change.  Another problem is that maybe there is
some library that calls MLton.World.save, but that the user know it
won't actually happen for this executable and doesn't want it.  Since
this is for security, it seems like the only safe way is to put it on
the command line.



-------------------------------------------------------
This SF.Net email is sponsored by: INetU
Attention Web Developers & Consultants: Become An INetU Hosting Partner.
Refer Dedicated Servers. We Manage Them. You Get 10% Monthly Commission!
INetU Dedicated Managed Hosting http://www.inetu.net/partner/index.php
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel