[MLton] getText{Start,End} considered harmful

[Matthew Fluet]

On Tue, 23 Sep 2008, Ville Laurikari wrote:
> On Mon, Sep 22, 2008 at 06:33:43PM +0200, Wesley W. Terpstra wrote:
>> MLton currently uses two functions, GC_getText{Start,End}, to create a giant
>> lookup table for profiling. These two functions are among the hardest things
>> to supply when porting MLton. It becomes even harder once shared libraries
>
> I can vouch for the difficulty of porting these.   One can always of
> course just #define HAS_TIME_PROFILING FALSE and live without
> profiling...

On an architecture that doesn't support native codegen (i.e., that must 
use the C-codegen), then one could probably have defined the 
GC_getText{Start,End} functions to return NULL (or to even 'die'), since 
the C-codegen uses the 'time-field' approach to time profiling (rather 
than the 'time-label' approach).

But, a moot point after Wesley's commit.