[MLton] getText{Start,End} considered harmful

[Matthew Fluet]

On Sun, 28 Sep 2008, Matthew Fluet wrote:
> I see that such a patch has already been committed, but it would be nice to 
> report the actual runtime (and profiling results) impact of such a change.

Sorry, my fault for reading/responding to messages in sequential order. 
Your later results with the self-compile seem to support the argument that 
a binary search suffices.