At the Cryptol REPL, the :? or :help command with the name of a function or type will print out the docstring attached to the function or type's declaration. It would be useful to have a similar command, perhaps :location, that would print out the source location of the named function or type, including the file name and line number.
The use case I have in mind is where we have another tool that is using the Cryptol REPL as a subprocess, where we send REPL commands and parse results. So we want to have an output that is both human-readable and machine parseable.
At the Cryptol REPL, the
:?or:helpcommand with the name of a function or type will print out the docstring attached to the function or type's declaration. It would be useful to have a similar command, perhaps:location, that would print out the source location of the named function or type, including the file name and line number.The use case I have in mind is where we have another tool that is using the Cryptol REPL as a subprocess, where we send REPL commands and parse results. So we want to have an output that is both human-readable and machine parseable.