For various reasons (checking code quality, running oprofile) I'd like to find the approximate source code to parts of the machine code MLton has emitted. Is it possible to instruct MLton to add comments with source location information to the assembler file (or produce a map file)? At least when profiling information is generated, this data has to be stored somewhere.