Re: [MLton] opt_ in rssa keep file

Matthew Fluet <[email protected]> Sun, 28 Feb 2021 11:14:20 -0500
Newsgroups gmane.comp.lang.ml.mlton.devel
Message-ID <CAMrhFL6J8Hnv0H+KZCT90LAi5D2jGR9J-FxTzLdCkny6sfiMTw@mail.gmail.com>
SSBjYW4ndCByZWNhbGwgd2h5IHRoZSBzaG9ydCBuYW1lIGlzICJvcHQiLCBiZWNhdXNlIHRoZXNl
IGNvcnJlc3BvbmQKdG8gIm9iamVjdCB0eXBlcyIgLS0gdGhhdCBpcywgdGhlIHR5cGVzIG9mIG9i
amVjdHMgdGhhdCBtYXkgYXBwZWFyIGluCnRoZSBNTCBoZWFwLiAgRm9yIGEgIk5vcm1hbCIgb2Jq
ZWN0LCB0aGUgInR5IiBsaXN0IGlzIHRoZSBsaXN0IG9mCmZpZWxkcyBvZiB0aGF0IHR5cGUgb2Yg
b2JqZWN0LiAgVGhvc2UgZmllbGRzIGluY2x1ZGUgYW55IG5lY2Vzc2FyeQpwYWRkaW5nIHRvIGVu
c3VyZSB0aGUgY29ycmVjdCBhbGlnbm1lbnQgb2YgdGhlIGZpZWxkcyBhbmQgdGhlIG9iamVjdAph
cyBhIHdob2xlLgoKQW4gYE9ianB0cihvcHRfMSwgb3B0XzIsIG9wdF8zKWAgY2FuIGJlIHRoZSB0
eXBlIG9mIGEgZmllbGQgYW5kCmNvcnJlc3BvbmRzIHRvIGEgcG9pbnRlciB0byBhbiBvYmplY3Qg
dGhhdCBoYXMgb25lIG9mIHRoZSBgb3B0X05gCnR5cGVzLiAgU28sIHdpdGggYE9ianB0cihvcHRf
ODUpYCwgd2Uga25vdyB0aGF0IGl0IGlzIGEgcG9pbnRlciB0byBhbgpvcHRfODUgb2JqZWN0OyBu
byBkeW5hbWljIHRlc3QgaXMgbmVjZXNzYXJ5LiAgQnV0LCB3aXRoIGBPYmpwdHIKKG9wdF8xMzEs
IG9wdF8xMzAsIG9wdF8xMjksIG9wdF8xMjgpYCwgdGhlIG9iamVjdCBwb2ludGVyIGlzIHRvIGFu
Cm9iamVjdCB0aGF0IG1heSBiZSBvbmUgb2YgdGhvc2UgZm91ciBkaWZmZXJlbnQgdHlwZXMgb2Yg
b2JqZWN0cy4KVGhlcmUgd2lsbCBiZSBzb21lIGR5bmFtaWMgdGFnIHRlc3QgYW5kIGEgZG93bmNh
c3QuCgpOb3RlIHRoYXQgYW4gYG9wdF9OYCBpcyBuZXZlciBkaXJlY3RseSBhbiBSU1NBIHR5cGUu
ICBPbmUgZG9lcyBub3QKZGlyZWN0bHkgbWFuaXB1bGF0ZSBvYmplY3RzLiAgUmF0aGVyLCBvbmUg
bWFuaXB1bGF0ZXMgYE9ianB0cihvcHRfTilgCnR5cGVzLCB3aGljaCBhcmUgbmVjZXNzYXJpbHkg
cG9pbnRlciBzaXplZCBhbmQgY2FuIGJlIGluZGlyZWN0ZWQKdGhyb3VnaCB0byBhY2Nlc3MgdGhl
IGZpZWxkcy4KCi1NYXR0aGV3CgpPbiBTYXQsIEZlYiAyNywgMjAyMSBhdCA1OjIyIFBNIEplZmZy
ZXkgTXVycGh5IDxqY211cnBoeUBidWZmYWxvLmVkdT4gd3JvdGU6Cj4gSGksCj4KPiBJ4oCZbSB3
b3JraW5nIG9uIGFsdGVybmF0aXZlIG9iamVjdCBwYWNraW5ncywgYW5kIHdhcyB3b25kZXJpbmcg
aG93IHRvIGludGVycHJldCB0aGUgb3B0Xwo+IGxpbmVzIGluIHRoZSByc3NhIGtlZXAgZmlsZT8K
Pgo+IElzIHRoZSB0eSBsaXN0IHRoaW5ncyB0aGF0IGFyZSBwYWNraW5nIGluc2lkZSBvZiB0aGUg
b3B0Pwo+IEhvdyBkbyBJIGludGVycHJldCB3aGVuIGFuIG9wdCBsaXN0cyBpdHNlbGYgaW4gdGhl
IHR5IGxpc3Q/Cj4KPiBlZzoKPgo+IG9wdF84NSA9IE5vcm1hbCB7aGFzSWRlbnRpdHkgPSBmYWxz
ZSwgdHkgPSBbV29yZDMyLCBPYmpwdHIgKG9wdF84NSldfQo+Cj4KPiBBbmQgd3J0Ogo+Cj4gb3B0
XzEwMyA9IE5vcm1hbCB7aGFzSWRlbnRpdHkgPSBmYWxzZSwgdHkgPSBbT2JqcHRyIChvcHRfMzMp
LCBPYmpwdHIgKG9wdF8xMDMpXX0KPgo+IG9wdF84MyA9IE5vcm1hbCB7aGFzSWRlbnRpdHkgPSBm
YWxzZSwKPiAgICAgICAgICAgICAgICAgIHR5ID0gW09ianB0ciAob3B0XzEzMSwgb3B0XzEzMCwg
b3B0XzEyOSwgb3B0XzEyOCksCj4gICAgICAgICAgICAgICAgICAgICAgICBPYmpwdHIgKG9wdF84
MyldfQo+Cj4gSG93IGRvIEkgaW50ZXJwcmV0IOKAnE9ianB0ciAob3B0MSwgb3B0Miwg4oCmKeKA
nSB2cyDigJxPYmpwdHIgKG9wdDEpLCBPYmpwdHIgKG9wdDIp4oCdPwoKCl9fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCk1MdG9uLWRldmVsIG1haWxpbmcgbGlz
dApNTHRvbi1kZXZlbEBsaXN0cy5zb3VyY2Vmb3JnZS5uZXQ7IG1sdG9uLWRldmVsQG1sdG9uLm9y
ZwpodHRwczovL2xpc3RzLnNvdXJjZWZvcmdlLm5ldC9saXN0cy9saXN0aW5mby9tbHRvbi1kZXZl
bAo=