[MLton] Long identifiers and def-use data

Matthew Fluet fluet@cs.cornell.edu
Tue, 18 Apr 2006 20:28:01 -0400 (EDT)

>> How about reporting both the column of the (short) identifier and, when
>> present, the column of the long identifier?
> If you have the starting column of the short identifier, I think it's
> easy to scan the source backwards and forwards to find:
>  1. The start of the long identifier.
>  2. The end of the short identifier.
>  3. The end of the long identifier.
> Right?

I would think so, given that the regexp for the surrounding long id is 
nicely spelled out: (in ml-lex syntax):


> Assuming so, I'm all in favor of reporting the starting column of the
> short identifier.

Fine by me; my opinion wasn't particularly motivated, and if it makes the 
emacs mode that much better, I'm all for it.