how to invoke SML/NJ's built-in pretty printer from a program?

Joe Wells <[email protected]> Thu, 26 Feb 2009 13:10:05 +0000
Newsgroups gmane.comp.lang.sml.smlnj
Message-ID <[email protected]>
U01ML05KIGhhcyBhIGJ1aWx0LWluIHByZXR0eSBwcmludGVyIGZvciBwcmludGluZyB2YWx1ZXMg
b2YgdmFyaW91cwp0eXBlcyB1c2VkIGJ5IHRoZSB0b3AtbGV2ZWwgUkVQTC4KCkhvdyBkbyBJIGlu
dm9rZSBpdCBmcm9tIGEgcHJvZ3JhbT8KClRoZXJlIGlzIGEgZnVuY3Rpb24gUHJldHR5UHJpbnQu
cHBfdG9fc3RyaW5nIG9mIHR5cGUgaW50IC0+IChzdHJlYW0gLT4KJ2EgLT4gdW5pdCkgLT4gJ2Eg
LT4gc3RyaW5nLCBidXQgdG8gdXNlIGl0IEkgd291bGQgaGF2ZSB0byBnaXZlIGl0IGEKdmFsdWUg
b2YgdHlwZSAoc3RyZWFtIC0+ICdhIC0+IHVuaXQpLiAgSG93IGRvIEkgY29uc3RydWN0IHRoaXMK
YXJndW1lbnQ/CgpUbyBtYWtlIG15IHF1ZXN0aW9uIGNvbmNyZXRlLCBpbiB0aGUgZm9sbG93aW5n
IFNNTCBwcm9ncmFtLCBieSB3aGF0IGRvCkkgcmVwbGFjZSDigJxtYWdpY19wcmV0dHlfcHJpbnRl
cuKAnSB0byBtYWtlIHRoZSBwcm9ncmFtIHByaW50IOKAnEhhcHB5LApoYXBweSwgam95LCBqb3kh
4oCdPwoKICBkYXRhdHlwZSBYeXp6eSA9IEMgb2YgWHl6enkgKiBYeXp6eSB8IEQgb2Ygc3RyaW5n
CgogIHZhbCBwbHVnaCA9IEMgKEQgImhlbGxvIixEICJzYWlsb3IiKQogIHZhbCBwbHVnaF9zdHJp
bmcgPSAiQyAoRCBcImhlbGxvXCIsRCBcInNhaWxvclwiKSIKCiAgaWYgKChtYWdpY19wcmV0dHlf
cHJpbnRlciBwbHVnaCkgPSBwbHVnaF9zdHJpbmcpCiAgICAgdGhlbiAocHJpbnQgIkhhcHB5LCBo
YXBweSwgam95LCBqb3khXG4iKQogICAgIGVsc2UgKHJhaXNlIChGYWlsICJtYWdpYyBwcmV0dHkg
cHJpbnRlciBnYXZlIHdyb25nIHJlc3VsdCIpKQoKSSd2ZSBicm93c2VkIGFyb3VuZCB0aGUgc291
cmNlIGZvciBhIHdoaWxlIGFuZCBmYWlsZWQgdG8gZmluZCB3aGF0IEkKbmVlZC4gIEFueSBoaW50
cyB3b3VsZCBiZSBoZWxwZnVsLgoKSSdkIHJhdGhlciBub3QgdXNlIEJhY2tlbmQuSW50ZXJhY3Qu
ZXZhbFN0cmVhbSBhbmQgY2FwdHVyZSB0aGUgb3V0cHV0CnNvbWVob3csIGJ1dCBpZiB0aGF0IGlz
IG15IG9ubHkgb3B0aW9uIEkgd291bGQgYmUgZ3JhdGVmdWwgZm9yIGFuCmV4YW1wbGUgb2YgaG93
IHRvIGRvIGl0LgoKVGhhbmtzIGZvciB5b3VyIHRpbWUgaW4gY29uc2lkZXJpbmcgdGhpcyBxdWVz
dGlvbi4KCi0tIApKb2UKCgotLSAKSGVyaW90LVdhdHQgVW5pdmVyc2l0eSBpcyBhIFNjb3R0aXNo
IGNoYXJpdHkKcmVnaXN0ZXJlZCB1bmRlciBjaGFyaXR5IG51bWJlciBTQzAwMDI3OC4KCgotLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0KT3BlbiBTb3VyY2UgQnVzaW5lc3MgQ29uZmVyZW5jZSAoT1NCQyks
IE1hcmNoIDI0LTI1LCAyMDA5LCBTYW4gRnJhbmNpc2NvLCBDQQotT1NCQyB0YWNrbGVzIHRoZSBi
aWdnZXN0IGlzc3VlIGluIG9wZW4gc291cmNlOiBPcGVuIFNvdXJjaW5nIHRoZSBFbnRlcnByaXNl
Ci1TdHJhdGVnaWVzIHRvIGJvb3N0IGlubm92YXRpb24gYW5kIGN1dCBjb3N0cyB3aXRoIG9wZW4g
c291cmNlIHBhcnRpY2lwYXRpb24KLVJlY2VpdmUgYSAkNjAwIGRpc2NvdW50IG9mZiB0aGUgcmVn
aXN0cmF0aW9uIGZlZSB3aXRoIHRoZSBzb3VyY2UgY29kZTogU0ZBRApodHRwOi8vcC5zZi5uZXQv
c2Z1L1hjdk16RjhICl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fClNtbG5qLWxpc3QgbWFpbGluZyBsaXN0ClNtbG5qLWxpc3RAbGlzdHMuc291cmNlZm9yZ2Uu
bmV0Cmh0dHBzOi8vbGlzdHMuc291cmNlZm9yZ2UubmV0L2xpc3RzL2xpc3RpbmZvL3NtbG5qLWxp
c3QK