[MLton] mlb support

Henry Cejtin henry@sourcelight.com
Thu, 1 Jul 2004 17:46:28 -0500


Ah.  But like I said, you can always redirect using the funny Bash-ism.
Even without it, you could just use /dev/fd/1 (a synonym for stdout) although
if other processes are sharing that open it could be slightly strange.