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

[Henry Cejtin]

This  is  very  low  priority,  but  instead  of  the -may-load-world option,
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.  I didn't think of  the  problem  with  loading  a  world  and  set-uid
executables, but I would think that this would solve everything and in a more
elegant way.

Actually, all of this harkens back to my experiments making a single file  be
the  executable  AND  the  dumped  world.   This  would be the optimal way of
solving the whole problem I think.



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