Hi all, I know that
Locate can look up the full (longest) qualid/path of something in the environment, but I'd also like to be able to
There is at least a hackish way to do it (I don't how much other devs would be ok to recommend it): it is to use
Constrextern.set_extern_reference to set the printer you want (typically
Nametab.full_name_cci in place of
Nametab.shortest_qualid_of_global, I guess).
Otherwise, we may also add a new option, say
Set Printing Fully Qualified. to specifically print references fully qualified in
Constrextern.default_extern_reference and make a PR for it.
Last updated: Jun 09 2023 at 07:01 UTC