Matthew, 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? Norman