[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#47408: Etags support for Mercury [v0.5]
From: |
Eli Zaretskii |
Subject: |
bug#47408: Etags support for Mercury [v0.5] |
Date: |
Mon, 07 Jun 2021 15:13:45 +0300 |
> Cc: 47408-done@debbugs.gnu.org, Eli Zaretskii <eliz@gnu.org>
> From: fabrice nicol <fabrnicol@gmail.com>
> Date: Sun, 6 Jun 2021 22:49:19 +0200
>
> > That's difficult to tell for me. However, etags provides ctags support
> > for all languages it knows about. I may be missing something, but I
> > think Mercury would be the first exception. If that's the case, maybe
> > it would be worth adding a comment telling so.
>
> ctags only differs from etags by the fact that its output is
> Vim-compatible. But it so happens that Mercury has superior in-built
> support for Vim tagging (the core team use Vim). So ctags would not
> actually be used by users with Vim-compatibility requirements, they
> would just use Mercury tagging on Vim.
What do we lose if we make Mercury support active in ctags mode? Do
we even need to add any code for that?
- bug#47408: Etags support for Mercury [v0.5], Eli Zaretskii, 2021/06/06
- bug#47408: Etags support for Mercury [v0.5], fabrice nicol, 2021/06/06
- bug#47408: Etags support for Mercury [v0.5], Francesco Potortì, 2021/06/06
- bug#47408: Etags support for Mercury [v0.5], fabrice nicol, 2021/06/06
- bug#47408: Etags support for Mercury [v0.5], Francesco Potortì, 2021/06/06
- bug#47408: Etags support for Mercury [v0.5],
Eli Zaretskii <=
- bug#47408: Etags support for Mercury [v0.5], Fabrice Nicol, 2021/06/07
- bug#47408: Etags support for Mercury [v0.5], Francesco Potortì, 2021/06/08
- bug#47408: Etags support for Mercury [v0.5], Eli Zaretskii, 2021/06/08
- bug#47408: Etags support for Mercury [v0.5], Francesco Potortì, 2021/06/08
- bug#47408: Etags support for Mercury [v0.5], Eli Zaretskii, 2021/06/10
- bug#47408: Etags support for Mercury [v0.5], fabrice nicol, 2021/06/10
- bug#47408: Etags support for Mercury [v0.5], Francesco Potortì, 2021/06/10
- bug#47408: Etags support for Mercury [v0.5], Eli Zaretskii, 2021/06/10
- bug#47408: Etags support for Mercury [v0.5], Eli Zaretskii, 2021/06/10
- bug#47408: Etags support for Mercury -- fix explicit tags for existentially-quantified procedures, fabrice nicol, 2021/06/10