Subject: Re: [PATCH] Etags support for Mercury -- fix explicit tags for existentially-quantified procedures

From: Eli Zaretskii <[email-masked]>
Date: Fri, 18 Jun 2021 15:33:48 +0300

> From: Francesco Potortì <[email-masked]>
> Date: Fri, 18 Jun 2021 13:54:54 +0200
> Cc: [email-masked],
> 	Eli Zaretskii <[email-masked]>
> 
> > 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.