bug#47408: [PATCH] Etags support for Mercury -- fix explicit tags for existentially-quantified procedures

[Eli Zaretskii]

> From: Francesco Potortì <pot@gnu.org>
> Date: Fri, 18 Jun 2021 13:54:54 +0200
> Cc: 47408@debbugs.gnu.org,
>       Eli Zaretskii <eliz@gnu.org>
> 
> > 2. I also removed module names from within tag names. The point is that 
> > module name prefixing is optional in most cases
> 
> I don't know about Mercurial, but this sounds similar to C++ classes:
> the fully-qualified class name is not always necessary.  When possible,
> etags creates a fully-qualified name for the tag, like this:

Under the --class-qualify switch, yes.  Maybe we should support that
for Mercury as well.