prodcons.mlton

[Stephen Weeks]

--uC6KNpsJKv
Content-Type: text/plain; charset=us-ascii
Content-Description: message body text
Content-Transfer-Encoding: 7bit


Attached is prodcons.mlton.  It uses MLton's nonstandard thread package, and so
is not directly portable to SML/NJ.



--uC6KNpsJKv
Content-Type: application/octet-stream
Content-Disposition: attachment;
	filename="prodcons.mlton"
Content-Transfer-Encoding: base64

KCogVHJhbnNsYXRlZCBmcm9tIHByb2Rjb25zLm9jYW1sLiAqKQoKZnVuY3RvciBaIChTOiBzaWcK
CQkgc3RydWN0dXJlIFByaW1pdGl2ZToKCQkgICAgc2lnCgkJICAgICAgIHN0cnVjdHVyZSBUaHJl
YWQ6CgkJCSAgc2lnCgkJCSAgICAgdmFsIGF0b21pY0JlZ2luOiB1bml0IC0+IHVuaXQKCQkJICAg
ICB2YWwgYXRvbWljRW5kOiB1bml0IC0+IHVuaXQKCQkJICBlbmQKCQkgICAgZW5kCgkJIHN0cnVj
dHVyZSBNTHRvbjoKCQkgICAgc2lnCgkJICAgICAgIHN0cnVjdHVyZSBUaHJlYWQ6CgkJCSAgc2ln
CgkJCSAgICAgdHlwZSAnYSB0CgkJCSAgICAgdmFsIG5ldzogKCdhIC0+IHVuaXQpIC0+ICdhIHQK
CQkJICAgICB2YWwgc3dpdGNoOiAoJ2EgdCAtPiAnYiB0ICogJ2IpIC0+ICdhCgkJCSAgZW5kCgkJ
ICAgIGVuZAoJICAgICAgZW5kKSA9CnN0cnVjdAoKb3BlbiBTCgpmdW4gZm9yIChzdGFydCwgc3Rv
cCwgZikgPQogICBsZXQKICAgICAgZnVuIGxvb3AgaSA9CgkgaWYgaSA+IHN0b3AKCSAgICB0aGVu
ICgpCgkgZWxzZSAoZiBpOyBsb29wIChpICsgMSkpCiAgIGluCiAgICAgIGxvb3Agc3RhcnQKICAg
ZW5kCgpzdHJ1Y3R1cmUgUXVldWU6CiAgIHNpZwogICAgICB0eXBlICdhIHQKCiAgICAgIHZhbCBu
ZXc6IHVuaXQgLT4gJ2EgdAogICAgICB2YWwgZW5xdWU6ICdhIHQgKiAnYSAtPiB1bml0CiAgICAg
IHZhbCBkZXF1ZTogJ2EgdCAtPiAnYSBvcHRpb24KICAgZW5kID0KICAgc3RydWN0CiAgICAgIGRh
dGF0eXBlICdhIHQgPSBUIG9mIHtmcm9udDogJ2EgbGlzdCByZWYsIGJhY2s6ICdhIGxpc3QgcmVm
fQoKICAgICAgZnVuIG5ldyAoKSA9IFQge2Zyb250ID0gcmVmIFtdLCBiYWNrID0gcmVmIFtdfQoK
ICAgICAgZnVuIGVucXVlIChUIHtiYWNrLCAuLi59LCB4KSA9IGJhY2sgOj0geCA6OiAhYmFjawoK
ICAgICAgZnVuIGRlcXVlIChUIHtmcm9udCwgYmFja30pID0KCSBjYXNlICFmcm9udCBvZgoJICAg
IFtdID0+IChjYXNlICFiYWNrIG9mCgkJICAgICAgW10gPT4gTk9ORQoJCSAgICB8IGwgPT4gbGV0
IHZhbCBsID0gcmV2IGwKCQkJICAgaW4gY2FzZSBsIG9mCgkJCSAgICAgIFtdID0+IHJhaXNlIEZh
aWwgImRlcXVlIgoJCQkgICAgfCB4IDo6IGwgPT4gKGJhY2sgOj0gW107IGZyb250IDo9IGw7IFNP
TUUgeCkKCQkJICAgZW5kKQoJICB8IHggOjogbCA9PiAoZnJvbnQgOj0gbDsgU09NRSB4KSAKICAg
ZW5kCgpzdHJ1Y3R1cmUgVGhyZWFkOgogICBzaWcKICAgICAgdmFsIGV4aXQ6IHVuaXQgLT4gJ2EK
ICAgICAgdmFsIHJ1bjogdW5pdCAtPiB1bml0CiAgICAgIHZhbCBzcGF3bjogKHVuaXQgLT4gdW5p
dCkgLT4gdW5pdAogICAgICB2YWwgeWllbGQ6IHVuaXQgLT4gdW5pdAogICAgICBzdHJ1Y3R1cmUg
TXV0ZXg6Cgkgc2lnCgkgICAgdHlwZSB0CgoJICAgIHZhbCBuZXc6IHVuaXQgLT4gdAoJICAgIHZh
bCBsb2NrOiB0IC0+IHVuaXQKCSAgICB2YWwgdW5sb2NrOiB0IC0+IHVuaXQKCSBlbmQKICAgICAg
c3RydWN0dXJlIENvbmRpdGlvbjoKICAgICAgCSBzaWcKCSAgICB0eXBlIHQKCSAgICAgICAKCSAg
ICB2YWwgbmV3OiB1bml0IC0+IHQKCSAgICB2YWwgc2lnbmFsOiB0IC0+IHVuaXQKCSAgICB2YWwg
d2FpdDogdCAqIE11dGV4LnQgLT4gdW5pdAoJIGVuZAogICBlbmQgPQogICBzdHJ1Y3QKICAgICAg
b3BlbiBNTHRvbgogICAgICBvcGVuIFRocmVhZAoKICAgICAgdmFsIHRvcExldmVsOiB1bml0IFRo
cmVhZC50IG9wdGlvbiByZWYgPSByZWYgTk9ORQoKICAgICAgbG9jYWwKCSB2YWwgdGhyZWFkczog
dW5pdCBUaHJlYWQudCBRdWV1ZS50ID0gUXVldWUubmV3KCkKICAgICAgaW4KCSBmdW4gcmVhZHkg
dCA9IFF1ZXVlLmVucXVlKHRocmVhZHMsIHQpCgkgZnVuIG5leHQoKSA9CgkgICAgY2FzZSBRdWV1
ZS5kZXF1ZSB0aHJlYWRzIG9mCgkgICAgICAgTk9ORSA9PiB2YWxPZighdG9wTGV2ZWwpCgkgICAg
IHwgU09NRSB0ID0+IHQKICAgICAgZW5kCiAgIAogICAgICBmdW4gJ2EgZXhpdCgpOiAnYSA9IHN3
aXRjaChmbiBfID0+IChuZXh0KCksICgpKSkKICAgICAgCiAgICAgIGZ1biBuZXcoZjogdW5pdCAt
PiB1bml0KTogdW5pdCBUaHJlYWQudCA9CgkgVGhyZWFkLm5ldyhmbiAoKSA9PiAoKGYoKSBoYW5k
bGUgXyA9PiBleGl0KCkpCgkJCSAgICAgIDsgZXhpdCgpKSkKCSAKICAgICAgZnVuIHNjaGVkdWxl
IHQgPSAocmVhZHkgdDsgbmV4dCgpKQoKICAgICAgZnVuIHlpZWxkKCk6IHVuaXQgPSBzd2l0Y2go
Zm4gdCA9PiAoc2NoZWR1bGUgdCwgKCkpKQoKICAgICAgdmFsIHNwYXduID0gcmVhZHkgbyBuZXcK
CiAgICAgIGZ1biBydW4oKTogdW5pdCA9CgkgKHN3aXRjaChmbiB0ID0+CgkJICh0b3BMZXZlbCA6
PSBTT01FIHQKCQkgIDsgKG5leHQoKSwgKCkpKSkKCSAgOyB0b3BMZXZlbCA6PSBOT05FKQoJIAog
ICAgICBzdHJ1Y3R1cmUgTXV0ZXggPQoJIHN0cnVjdAoJICAgIGRhdGF0eXBlIHQgPSBUIG9mIHts
b2NrZWQ6IGJvb2wgcmVmLAoJCQkgICAgICAgd2FpdGluZzogdW5pdCBUaHJlYWQudCBRdWV1ZS50
fQoJICAgICAgIAoJICAgIGZ1biBuZXcgKCkgPQoJICAgICAgIFQge2xvY2tlZCA9IHJlZiBmYWxz
ZSwKCQkgIHdhaXRpbmcgPSBRdWV1ZS5uZXcgKCl9CgoJICAgIGZ1biBsb2NrIChUIHtsb2NrZWQs
IHdhaXRpbmcsIC4uLn0pID0KCSAgICAgICBsZXQKCQkgIGZ1biBsb29wICgpID0KCQkgICAgIChQ
cmltaXRpdmUuVGhyZWFkLmF0b21pY0JlZ2luICgpCgkJICAgICAgOyBpZiAhbG9ja2VkCgkJCSAg
IHRoZW4gKFByaW1pdGl2ZS5UaHJlYWQuYXRvbWljRW5kKCkKCQkJCSA7IHN3aXRjaCAoZm4gdCA9
PgoJCQkJCSAgIChRdWV1ZS5lbnF1ZSAod2FpdGluZywgdCkKCQkJCQkgICAgOyAobmV4dCAoKSwg
KCkpKSkKCQkJCSA7IGxvb3AgKCkpCgkJCWVsc2UgKGxvY2tlZCA6PSB0cnVlCgkJCSAgICAgIDsg
UHJpbWl0aXZlLlRocmVhZC5hdG9taWNFbmQoKSkpCgkgICAgICAgaW4gbG9vcCAoKQoJICAgICAg
IGVuZAoJICAgIAoJICAgIGZ1biBzYWZlVW5sb2NrIChUIHtsb2NrZWQsIHdhaXRpbmcsIC4uLn0p
ID0KCSAgICAgICAobG9ja2VkIDo9IGZhbHNlCgkJOyAoY2FzZSBRdWV1ZS5kZXF1ZSB3YWl0aW5n
IG9mCgkJICAgICAgTk9ORSA9PiAoKQoJCSAgICB8IFNPTUUgdCA9PiByZWFkeSB0KSkKCgkgICAg
ZnVuIHVubG9jayAobTogdCkgPQoJICAgICAgIChQcmltaXRpdmUuVGhyZWFkLmF0b21pY0JlZ2lu
ICgpCgkJOyBzYWZlVW5sb2NrIG0KCQk7IFByaW1pdGl2ZS5UaHJlYWQuYXRvbWljRW5kICgpKQoJ
IGVuZAoKICAgICAgc3RydWN0dXJlIENvbmRpdGlvbiA9Cgkgc3RydWN0CgkgICAgZGF0YXR5cGUg
dCA9IFQgb2Yge3dhaXRpbmc6IHVuaXQgVGhyZWFkLnQgUXVldWUudH0KCgkgICAgZnVuIG5ldyAo
KSA9IFQge3dhaXRpbmcgPSBRdWV1ZS5uZXcgKCl9CgoJICAgIGZ1biB3YWl0IChUIHt3YWl0aW5n
LCAuLi59LCBtKSA9CgkgICAgICAgc3dpdGNoIChmbiB0ID0+CgkJICAgICAgIChNdXRleC5zYWZl
VW5sb2NrIG0KCQkJOyBRdWV1ZS5lbnF1ZSAod2FpdGluZywgdCkKCQkJOyAobmV4dCAoKSwgKCkp
KSkKCgkgICAgZnVuIHNpZ25hbCAoVCB7d2FpdGluZywgLi4ufSkgPQoJICAgICAgIGNhc2UgUXVl
dWUuZGVxdWUgd2FpdGluZyBvZgoJCSAgTk9ORSA9PiAoKQoJCXwgU09NRSB0ID0+IHJlYWR5IHQK
CSBlbmQKCiAgIGVuZAoKc3RydWN0dXJlIE11dGV4ID0gVGhyZWFkLk11dGV4CnN0cnVjdHVyZSBD
b25kaXRpb24gPSBUaHJlYWQuQ29uZGl0aW9uCgp2YWwgY291bnQgPSByZWYgMAp2YWwgZGF0YSA9
IHJlZiAwCnZhbCBwcm9kdWNlZCA9IHJlZiAwCnZhbCBjb25zdW1lZCA9IHJlZiAwCnZhbCBtID0g
TXV0ZXgubmV3ICgpCnZhbCBjID0gQ29uZGl0aW9uLm5ldyAoKQoKZnVuIHByb2R1Y2VyIG4gPQog
ICBmb3IgKDEsIG4sIGZuIGkgPT4KCShNdXRleC5sb2NrIG0KCSA7IHdoaWxlICFjb3VudCA9IDEg
ZG8gQ29uZGl0aW9uLndhaXQgKGMsIG0pCgkgOyBkYXRhIDo9IGkKCSA7IGNvdW50IDo9IDEKCSA7
IENvbmRpdGlvbi5zaWduYWwgYwoJIDsgTXV0ZXgudW5sb2NrIG0KCSA7IHByb2R1Y2VkIDo9ICFw
cm9kdWNlZCArIDEpKQoKZnVuIGNvbnN1bWVyIG4gPQogICBsZXQgdmFsIGkgPSByZWYgMAogICBp
bgogICAgICB3aGlsZSAhaSA8PiBuIGRvCgkgKE11dGV4LmxvY2sgbQoJICA7IHdoaWxlICFjb3Vu
dCA9IDAgZG8gQ29uZGl0aW9uLndhaXQgKGMsIG0pCgkgIDsgaSA6PSAhZGF0YQoJICA7IGNvdW50
IDo9IDAKCSAgOyBDb25kaXRpb24uc2lnbmFsIGMKCSAgOyBNdXRleC51bmxvY2sgbQoJICA7IGNv
bnN1bWVkIDo9ICFjb25zdW1lZCArIDEpCiAgIGVuZAoKZnVuIGF0b2kgcyA9IGNhc2UgSW50LmZy
b21TdHJpbmcgcyBvZiBTT01FIG51bSA9PiBudW0gfCBOT05FID0+IDAKZnVuIHByaW50bCBbXSA9
IHByaW50ICJcbiIgfCBwcmludGwoaDo6dCkgPSAoIHByaW50IGggOyBwcmludGwgdCApCgpmdW4g
bWFpbiAobmFtZSwgYXJncykgPQogICBsZXQKICAgICAgdmFsIG4gPSBhdG9pIChoZCAoYXJncyBA
IFsiMSJdKSkKICAgICAgdmFsIHAgPSBUaHJlYWQuc3Bhd24gKGZuICgpID0+IHByb2R1Y2VyIG4p
CiAgICAgIHZhbCBjID0gVGhyZWFkLnNwYXduIChmbiAoKSA9PiBjb25zdW1lciBuKQogICAgICB2
YWwgXyA9IFRocmVhZC5ydW4gKCkKICAgICAgdmFsIF8gPSBQb3NpeC5Qcm9jZXNzLnNsZWVwIChU
aW1lLmZyb21TZWNvbmRzIDEpCiAgICAgIHZhbCBfID0gcHJpbnRsIFtJbnQudG9TdHJpbmcgKCFw
cm9kdWNlZCksCgkJICAgICAgIiAiLCAgCgkJICAgICAgSW50LnRvU3RyaW5nICghY29uc3VtZWQp
XQogICBpbgogICAgICAoKQogICBlbmQKCmVuZAoKc3RydWN0dXJlIFogPSBaIChzdHJ1Y3R1cmUg
TUx0b24gPSBNTHRvbgoJCSBzdHJ1Y3R1cmUgUHJpbWl0aXZlID0gUHJpbWl0aXZlKQoKdmFsIF8g
PSBaLm1haW4oIENvbW1hbmRMaW5lLm5hbWUoKSwgQ29tbWFuZExpbmUuYXJndW1lbnRzKCkgKQo=

--uC6KNpsJKv--