[MLton] experimental release 20051109

[Wesley W. Terpstra]

On Nov 15, 2005, at 2:30 PM, Henry Cejtin wrote:
> Be cautious.  I don't know about now, but at one point the line  
> numbers were
> only 16 bits and we had large files so you only got the line number  
> mod
> 2^16 (yuck).  (This is all regarding the stab info.)

Sure, but I am thinking of using them for the profile labels, of  
which there
are fewer. Besides, you can also put data in the fake source file name.

ie: /tmp/mlton-02421241.profile-label :  222