[MLton] Shared libraries for MLton

[Jens Axel Søgaard]

This is a multi-part message in MIME format.
--------------070609030506020205080209
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit

Hi Stephen,

Attached is a patch that almost enables MLton to produce
shared libraries. The patch is agains the CVS version.
It was tested on Linux (I gave up on Cygwin and installed
Linux inside Vmware).

Here is a summary of the changes:

  - mlton/main/main.fun
     o Added new compiler option -shared-library
  - mlton/control/control-flags.sig/sml
     o added Control.sharedLibrary, which defaults to false
  - basis-library/mlton/mlton.sml
     o If the Control.sharedLibrary is true, then
       the program ends with a call to returnToC otherwise
       the program exits
     o NOTE:
         I couldn't figure how to import Control,
         so right now it says true in stead of !Control.sharedLibrary
  - include/c-main.h
     o Added init_function, which is called when a shared library is
       opened. It takes care of initializing the GC collector and
       global variables.
     o NOTE: main() isn't called, when the executable is opened
             as shared library
     o NOTE: The first garbage collection provokes a crash, the
             error is probably to be found here.


The directory test contains a small test. The files test.sml
contains some small test functions. The file test.c shows that
MLton can produce a shared library and that a functions can
be exported and called repeatedly until the first garbage
collection kicks in. The file test.ss shows how to open
the shared library from mzscheme.


/Jens Axel

--------------070609030506020205080209
Content-Type: application/x-gzip;
 name="shared-library-for-mlton.tar.gz"
Content-Transfer-Encoding: base64
Content-Disposition: inline;
 filename="shared-library-for-mlton.tar.gz"

H4sIAArf4kIAA+1a+3PaSBLOr+Gv6HB1tRKFhHn6wSZVjhPnvEdsl3Fua2+TooQ0gDZCw85I
fmQv//t1z0iAeBjwebO3d+oqgyV1f90zPY9vWsiRI5hnBX5fOOLeGnBhjYOIh5VnTyd7KPvN
pvpGWfxW/1f3avt7zeZ+fX//2V612Wo2nkHzCWNYK7GMHAHwTHAePaS36fli4/4kItflf+JE
7khdZ1Ue4YP6o9VorMt/q9aa5b+213q2V6vVW/Vn8E068f88/54/GIAlQCXdcm9kpe9IX6bZ
rujBoD5tOQ4SPT0kHlYtHNTdg3r5oFX4HrQYgxAME16+gvcdVLoU3GVS2uzOj7J3upETxdKW
sUuXplmwLKvwagnFH0AkYgZGCa4v3lzAixMeRoIHtg6vo+OCkjm1nUk0YggzEX4YQfHvZ52r
i58MP4QHW2R+DIttxHr+XGNcCn/sR/4Ns69HgjmeLVgUi/Can2CAq5yyQLKd276cIT90g9hj
FdcaO35oj7JJWXxaaB66zcPywQHm4WvSk1+XQnucfESsG+57wIS4pL48DWI5MlyMBEpjOTR3
xPrtCeOaykBleWDIyMMwy0BxtR+LNVAN1FC7oMywnrzvnwgLej0nioTfjyPW6xmGy0OJ08uN
uDB3yCNB+aEf9QZx6EY+x1lGc8yLx+P7XYZDivV7DAkKyBFD92V15wwuYakUlBDt5ufap0fA
EdZz3dGAXa4/2s+VzPtRHvY+wUso9h1RfNTQy2BVCev8Q6eze9AfF9a27OwvZtL/CrrXx1fX
uHSuni6q/Wdo4TuB/wUXcyfAKTrEv4HEj7Fbhsln/JNme6FHNnvuM+QvDHBtDnrkIhuE8jx9
Zij8ZGVPv3dtqjOImFjnTzu8FGxy6ogf4vHEoMbhtqKz/TiPSRMj4YwnPPBDlvGpPFZwe5w+
hlJleWzN9q2XcHrc6b7dcUgoNx6nuarB1zZmu0bNWgPVWXsU1vPnND9eGiVjbs4YJdOgeWia
dGWH7C46GcXhZ1MlVUX3FW5HfoDDK+TRrL1J1+/W5ccqybS5rhrUT7vEt6rOYRURCxdhcI/r
VnarVxdHgNz5QDGuB5WazfpmpYP9vb3NWoet2mas2l7jcLNSs9FSSsssR5MvV1O69NsaBM4Q
2ZE/XAG3XrlQa1adWrNWRn8zIlmCdyxkwokYaBhIiB/E0g+HxBHhBCmh+5mF3jyNvHECyHDM
I+hzHuC4GlCudmzLIqveoFxotQ6cVuuw3NrfIwqwGAvOYYwDBg6SzfZD4dAIVh82ju1VIWQU
CvXDfad+eFCuHx7OpotxzsWYVuxi9pRYxDvwm4rhX8TRvxbLc3OsOMz2+5wV9eMVhr+Sypvl
wh99Xvpfk7Xn/4jJKB0O/6GPneo/tX08/6N+La//fAvZKv+uRVe2+0gfG+o/jfp+dZb/Ko6T
WhXv5fWfbyGVUqkEaX4BLAvgBxZKOL5jAXQ5GzqO8PT9WiMawQ8xbuY4P5sAaFkpFJBdXn64
urzovi1ACdf265EvQeKeEACB4grPbyVupU5S5wDXCWEiuBe7DJxkA9CmySC04QyPZ4Hk87aS
j1k0ol15yJmEW8HxX7yPe7Q2HvgCvQ0d0XeGDFlhEDDF12x8TBpn593rqw8n12cX593dWJjG
r9q4J40nxCEjaiI2YYg0FQxsUscP47s1h1ttDTB0XbDY3YSLyPLuQ2fs43XgBWDxpP/n0rBg
XZv3zVS/KtrgyGkPpp2XugPbTnbxfuwHXqXvJ4WsaUCpWK5r8UkERUvej/vIujGuBNMaXJ6d
FJctkJl/Tm0Szdep8Qp1l3sMd3xAYI8NnDiILCcM4TscI/z2reoSVcj7DqzPjE1gCNYNE30u
kf4/4Nyaas3d+zEoz2KZ9lQyBgDqNlwh2aFeTBI4w7eTdQ7v4LimgX0qGHvdfQPnHO8fKc1u
hAHiWIAzPHoF/g1bSqovw+8iCBnzsF/i0MOzQoozQ8CMwrGX9psKlauoLEtnA/9w8Eow6CZx
P8QFPLtku0PGE/I9daQGIiQN+EtSCYTvZeTh8LBHr7L3fJ695QUDN6RbBSqQEPEz0kpJGXRN
TxU6TPitkBY+Rk7oBcgzcfbSjDRKA85Ng/435272HTF3U0PhIYuLdgGvsaf5hOmsLBBxbAiA
9oG81gtIz4BihVbjikyWp4pOM0f6eHXdedPrHP/zJ+XIH4DxQlvrmKkYGEfSwBvk3TDLkJby
1FMqxxpVdfE1icwfq/HpwLSeNRB8vCLWMiGUQLK5CYrbqdLEYU+HSLLmSM05B6VMjaMLahmO
A0OHitQZbxanLTBUrEopidqEF7p0k22Verq5Ra5amzEq3TRswbRpgk0Y0nIP1/goiVENTOEP
h0w3ZXmFpZnUD9h42qSk3lr8q4cH5HI6JnT+GzVTBZPr5DqP10lHckCr/7plwwvU82RWoZWa
AAD6448mXv8lshX/T9ezR/rYxP/3q62581+d+H+Tzn85///9xSjNdqvd2L9ZKBhz3J9Ecf8B
0VSqWiF/kHDjCJ/HmRNButtItbXQHZrBBbVZ0YZUSbZc3CkdZc+ie7qI7idM2uiEaR/oK5Y4
6fv30OfRiAAS/owTPmlVop/cTzk7p4okMTS5sDsTht6gbbVWnFy8vzzrHNOhQbcwcwRQUdz6
2C+IggtRytmQHigidlRImeV6Lr4zFd+NiT8pEX8CHk6jhobN9dvu9dn5OzWKqILZQ3rT0+nX
7OdIvaSz6F1iNCuxq3f/vnr5jxtBe9mUXo3NmyJ5Fc59O7G8U5bHdMsmFtfxcfD9XC1DrQz1
T7SvLAGOGPbNDFIiFQqH7Xm44t+UykrrvvMFbWMcXGRM39r0jgwNc1ULfo3v5kxU66cWjfpK
i/u7WYCrfFCPF/TrklgweM15oPrgCpc0iUj0nb5OoUkGEd5UBW3Ve8BCD1FmACc40jYDKJa/
GuAsjA42A5CWPc3hKpBqayuUauthmHptK5h67WGYVmMrmFbjYZjNIOvNLzk+Y1skR5Vi7ETd
Xgd3xZxgm87Reja993wAaZv+0XqbkJ4Cp6tm8mYkPePXgPzIhbfFSFZq9i1+PoCzzWDWepuQ
tkmZ1tuEtE3KtN4mpM04SwDLK51gQ1yxmSD73nQZKyZv3/S6rhHSpTO71tnzACtW0jhc6yGz
vC6gZs1W4A5ZtA5wMfIl8MQWu4P2yuQHa2/P38DFKXTfd+Dy6uLd1fF79dO0RxxqduD/8rEc
cwP/r+01agvvf6oNPBLk/P8bSLvdTqnyg/x/gf4XCmiXcv82EbTrhMvfjhiyYQHvv3TdERsz
Ve9Pi2jIy6n6RBaqrjk9CeiZosl8ShZt5WS+bj/1JJIarj5PpPU4l4/H5EL9cASPBkdaH2X8
RepgrEHaWv3sH0xIKmHVDg+BCxj5Q4odjwBTC+T5gv0a+zgPytpG+qGrqw4hu4XT0zO4dSTN
Z/1SwwOEYBS8Xtvu6JiDAPqYc/X2slMw1ImDIcvHU9Idahj6P8v3LBEHTNIPXH/ugUHVO/OT
aSL3LhhJGGDgZCWSLJg/DLElRXxuxKF0BuyFmWJTKQRp4MC3lPaKgimZYYxnOjXz6VA1yTVV
zik+6Ri4OFnkg/d/0bRdu6Ufy0AvVsVfXOP0fyaF6flyEuD6bJB5le5gH1K+VCyYaTwUTF0o
7j2l/hlfmpZPzwUrvU40uyG/7RRS7+YdFg5xOGch5x9l2pHgZFsyDdIYB0dq5bYCjaouKGNg
TCJh0W8x9J7Ui9WaX9P9rt1JfEY/UJsIPECGNAH8EMmZerNDRpLGIjFpx8UQZJkMOdzqWYXh
qwwljtV5WcOWk1+wLMQ21/+LURu6s6tmNid5oSyXXHLJJZdccskll1xyySWXXHLJJZdccskl
l1xyySWXXHLJ5U8i/wYTnriyAFAAAA==
--------------070609030506020205080209--