[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#47408: [PATCH] Etags support for Mercury -- fix explicit tags for ex
From: |
Eli Zaretskii |
Subject: |
bug#47408: [PATCH] Etags support for Mercury -- fix explicit tags for existentially-quantified procedures |
Date: |
Fri, 18 Jun 2021 14:29:41 +0300 |
> Cc: pot@gnu.org, 47408@debbugs.gnu.org
> From: fabrice nicol <fabrnicol@gmail.com>
> Date: Thu, 17 Jun 2021 20:36:56 +0200
>
> I could finalize my tests against the entire Mercury library code.
>
> All is OK. I applied your patch on top of mine.
>
> Also, I added two new corner-case fixes, which are mentioned in the
> commit message:
>
> 1. The first new fix is for 0-arity predicates and functions. Yes,
> Mercury has them. (They play the role of global immutable constants in
> other languages).
>
> They happened not to be caught by the previous code, now they are.
>
> 2. I also removed module names from within tag names. The point is that
> module name prefixing is optional in most cases, so if you leave the
> module prefix within the tag, you will fail to get to the declaration
> when striking M-. on a (non-prefixed) predicate name. It is better to
> remove the name altogether. This will automatically trigger an explicit tag.
Thanks, installed.
- bug#47408: [PATCH] Etags support for Mercury -- fix explicit tags for existentially-quantified procedures, fabrice nicol, 2021/06/14
- bug#47408: [PATCH] Etags support for Mercury -- fix explicit tags for existentially-quantified procedures, Eli Zaretskii, 2021/06/14
- bug#47408: [PATCH] Etags support for Mercury -- fix explicit tags for existentially-quantified procedures, fabrice nicol, 2021/06/14
- bug#47408: [PATCH] Etags support for Mercury -- fix explicit tags for existentially-quantified procedures, Eli Zaretskii, 2021/06/14
- bug#47408: [PATCH] Etags support for Mercury -- fix explicit tags for existentially-quantified procedures, fabrice nicol, 2021/06/14
- bug#47408: [PATCH] Etags support for Mercury -- fix explicit tags for existentially-quantified procedures, Eli Zaretskii, 2021/06/17
- bug#47408: [PATCH] Etags support for Mercury -- fix explicit tags for existentially-quantified procedures, Fabrice Nicol, 2021/06/17
- bug#47408: [PATCH] Etags support for Mercury -- fix explicit tags for existentially-quantified procedures, Eli Zaretskii, 2021/06/17
- bug#47408: [PATCH] Etags support for Mercury -- fix explicit tags for existentially-quantified procedures, fabrice nicol, 2021/06/17
- bug#47408: [PATCH] Etags support for Mercury -- fix explicit tags for existentially-quantified procedures,
Eli Zaretskii <=
- bug#47408: [PATCH] Etags support for Mercury -- fix explicit tags for existentially-quantified procedures, Francesco Potortì, 2021/06/18
- bug#47408: [PATCH] Etags support for Mercury -- fix explicit tags for existentially-quantified procedures, Eli Zaretskii, 2021/06/18
- bug#47408: [PATCH] Etags support for Mercury -- fix explicit tags for existentially-quantified procedures, fabrice nicol, 2021/06/18