[MLton] cvs commit: world no longer contains a preprocessed basis library

Matthew Fluet fluet@cs.cornell.edu
Thu, 11 Dec 2003 19:00:41 -0500 (EST)


  This message is in MIME format.  The first part should be readable text,
  while the remaining parts are likely unreadable without MIME-aware tools.
  Send mail to mime@docserver.cac.washington.edu for more info.

---559023410-33463914-1071187241=:19
Content-Type: TEXT/PLAIN; charset=US-ASCII


> > I think the best idea would be to hack GenSML into something that works
> > essentially like cmcat did.  I've already looked at it a little bit, so it
> > wouldn't be too hard.
>
> That would be excellent.  We would be no worse off in terms of
> semantics/scope preservation, and we would be much better off in
> letting users use a recent SML/NJ.

Here's a "working" version of a new cmcat.

The caveats:
 1) Uses the MLton Library.  (I need to compute the tolopological sort of
     the closure of imported libraries.)
 2) CM.Graph.graph doesn't perform dependency analysis, so we're getting
     a different set of files.  For example, the mlton.cm derived using
     this cmcat includes the file ../lib/mlton/heap/forest.fun, which
     references  DoublyLinked and CircularList from ../lib/mlton/basic.
     Oddly, since neither DoublyLinked nor CircularList are exported
     from lib/mlton/basic/sources.cm, their files aren't included, and the
     resulting MLton .cm file has unbound structures.

So, I need to do a little more investigating.  But, in any event, I don't
think that the lib/mlton sources are semantically correct from CM's point
of view.  At the very least,  CM.make "lib/mlton/heap/sources.cm"  doesn't
work.


---559023410-33463914-1071187241=:19
Content-Type: APPLICATION/octet-stream; name="cmcat.tgz"
Content-Transfer-Encoding: BASE64
Content-ID: <Pine.GSO.4.44.0312111900410.19@snoball.cs.cornell.edu>
Content-Description: 
Content-Disposition: attachment; filename="cmcat.tgz"

H4sIAF4C2T8AA+1Ze2/byBHPv9KnmOMFKBnItJzk4kKpjUv9yOUQx0bsIihS
90CTK4kNucvukrEFn757Z2YfFH1B2qJNgQJaJBF3d2Z35jdPMnmdZ+1uTv+m
pq4efYsx3ZtOX0ynj6bT6d6z/Webv/S4tz/F5/39Fy+e4mT6A9I/3d9/+gim
30SaB6MzbaYBHs2rTrRfoftn+/+nI34yhifwqmuXSpsZXLaiWQoJH4T4ZCA2
t/T7Y5bXqdKLhEjDOMvadilu4ZSAgZjx+TE3aa60FFWViqJLADmI6WpZGtDi
712phYF2mbWwUh0ss88CLs/e7r77GUqJhqgqUaTE8KaFW6VRhNuyXXoSdI70
+XPIZAF1tvLnQb7M5IKOVcxjWRTKpumkz0KbUkkzAVPKXEDZQiEaIQsDSqIo
Ao7OwLS6y9tOi9QJzAEBbfYJz80gSvM6gnlZCb680aVsmd20hepapKhK04Ka
M41BXfhgpQsrQ4FY5KKAmxVe5q+4UtAZAXOtaqZ+f3LxdgKF4slcVZW6LeVi
RqRHZ0cYnlam+0LMS4mXHMDH68nAIjSM6nTOu5F7JNmJbuRJSOIDuBJ37Zvz
FDU479q1k+mPYq4Q0Q6hWvSSmSXac8IWqzFcfiPjBG4RbAF/wAQi/3YIpaGz
iEQrheRopLxVekUA0erQ4lmL5kkB/kzHo1mlQKTQljeOvZR0GmNJy/Zyw5aC
vRROvZTuVIJxFmBBuGs04gCMlxu7hKu4a5RGD05442kKlYQd47XZvSnlbqo7
uYPzwSLbg1iepVB/ti6T3v3+xU5Vyu5uyL8UWeMwPndeWJre5yesQWeyhaD1
zDhwjdPEmv7jzrFZ1ZCm6TX0+rhj7V6eSQIOHYsxtL5CHt5o0WiFHEZpQMob
VRmCMBmPg/NbPODArYzJncLexWt0mgsEKrupxGudNcvhPi8hyTFbWxRfIHmn
CoEUvJPSZLh9Uiz6bZqMaX/eSahRbIKG3Bq9NUUPbtCJY3oWWiuNwQ1/hegv
MkrGw0PfljeokIsNq9ZouG0Fnx1iflhAu2oEtIDpAa8aDwKLeTzBAXSyZLox
nldkbRY2rsjN7xd06gxRS/lpMh6NOACXmcHlD+jOaRsWJcbAZ2F0TgkYk8si
bWHnMDz3dIjZLMiMRATixr51iv6QNQlHALaqUZdou6NKGVLbEiIwzFaJduyz
w+esggUMLvG/3jQSk36cDDhq5GjhJ9TtUrREOiaB/JwY7klxPGIuESCeTMiR
13BwyJisB+fdL7CkfEFTQoXVZW1FO8EiUK/ddRdaNUK3qxSZ8VqKM16Pmbeh
FD3piUq03/usxAwcRw/gmeEB0cReWWWY9tokGQ/k67OsFnP4GNv55N35u5Pk
+mVPS9jnDvM4cXKWc1TMtGkl5AIrVfydOw33Yep0o3wgGWU7FRUKerySWV3m
H0pZpFTkTkyeNcIaP0ZghckRTucMbFTHzTJ7Icua0p3QdB3L0ajGKzTkcCZz
3sQzSzfu6UhDDkGvH27EPl7jCPOvtSBHAUQYpc73MFxnMM+wXhYRZl5mZA1i
BntTDnQY8nzvMJbWO1el1KeuOddvpEG7egEmYF3Mupt3d3f373rXc/c6FbGh
yCoTkPLkycSRzSVrGdjiPDOUNQc6usvU3BHRIMcgPo9U2PoVLs/PTly6mIC1
DfYqISM8EHXk7WrZCR25mVUx1DjLLoY02HV1FUVwv4zjyt2L632S4m1necYw
LAaZcKeXr9+2crClwuID5NfufqzpQRBD3aO1rxUzgZf9LnsoNSVZvuxX4wAU
mqSiFH+4oVmAaES6F+hUGiVAM2E+0ZlepXYJ+b5AZkMzwzYndl5hMHW0Me9P
4PtoFiXJBl/QcON8ZQyz9lewXF7rEWYAd3ZpLjCDlHdw39hf7NseY+5x/AdW
rHXA0+aFPr7Mp7JpqE3k0GLipCfmrGFjvDNL59YIWnBwdj7C3qtkk40sBjaw
ZnFz2rTui213gR3xL5uOnQwj9xcq2A03eHXWxD71sNn8JNhu5Hw4Kwqu/m4x
xv7ynntR51zU2BwE9nW408JrL++TrluzYnsrwEMqUtcvUky7soN1oVKLMs8q
Kg9YGDmq+3jWXEBOMYtB9JAYuwArow0un+uQ3wW9NHSEd1aCq/L+R2DRKwsW
oh5R5z7VeMNOVmp6gLDku6bh+8KE+n6f0tahJ7K1P34Cx7ZV/FKfSF3iKNhz
MyLjcDgalPpPl6fs2fH3HNsYGLjFsbKqkwTjirTfSzYPtaRIeaRkq1WV4mvb
jTIiQdjQiR0lvkmQQ12mpwjl5cpQpcd+k6wMAaIHKQNijMr0YQMU4yEXWbtM
60+vboyqulZgCOJCSFWUjSrOclfkbnj1OpnA2FYBOvIqZO2NZO15XdIm8niz
Y2UbRAg3heuGEO/dXf+CEFQ50SLU61qnRRMyOthrvn7/6uInNrnxMljvG9sA
Ae/lDzCy5rJsqB4+OOH7iKA15/140fHJKdzrJXVAODs6P7t48xbLmC0OMUNh
UUmsHBuI2FN7UCwmMeZEy2FTHJ3E6auvOvg3CV0+RRFnHs45LsCTL0RBUQqo
zSI4fGhOoj/Rz+yr71aRfwV4uZFzTyjX2YSLByc9CZnTxg6+U+Lbwcacgh/9
LglihZfOIBi+v6r5u5/d6+ip9PJGLGDEhol/mUCmF9QqHvp7Xfdua5j/NMBt
aXT2tlUyumanxTuxVWqYnRuB3rS8xLb9SN8vroOZfvPF4Tsf7zbI7ZcEMiW+
x8oi04XbCEWRzgut/a8wrzJ8uZg5IdwtX6+GO8eb5ZAOWHsfYk/hC30egllo
V8Vdq7OcP0xlWEGeTjhpJ3S718LK+rLHJbTb1vXIdXwTkCvJbhKVEpEuC6sK
WQV/r5NeRXZK4oxutUKZZVffYJHDaoA3dLWQrQleZUtRb5bNispHWAOEykHC
Tj0zV7Qx/vsfff/jG3Z7j/8vfVYcjK9//6VJ+P47/WG6h/TP9l48337//V+M
11p1zXj04BvQuMTgeMwfsHbzmj4yjR7vNlxJeJKmu/gHu9vdusIUs+E/49G3
/b+E7diO7diO7diO7diO7diO7diO7diO7fj3xz8AUV835wAoAAA=
---559023410-33463914-1071187241=:19--