[MLton] ML question

Norman Ramsey nr@eecs.harvard.edu
Sun, 23 Apr 2006 16:39:41 -0400 (EDT)


I would like to be able to get accurate identifier cross-reference
for an ML program.  That is, for every occurrence of every identifier,
I would like to know its source-code location, whether it's a binding
instance, and if not, the source-code location of the binding instances.
Do you have any idea what ML front end might be most readily adapted
to provide this information?