[MLton] Re: Windows ports and paths

Stephen Weeks MLton@mlton.org
Sun, 1 May 2005 01:44:59 -0700 

> Both patches have a bug:
> Char.toString was used instead of String.str, oops!

Got it.