> In fact, doesn't MLTon generate etags info already? Perhaps you are thinking of MLton's -show-def-use flag.