[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#47408: Etags support for Mercury -- fix explicit tags for existentia
From: |
Eli Zaretskii |
Subject: |
bug#47408: Etags support for Mercury -- fix explicit tags for existentially-quantified procedures |
Date: |
Fri, 11 Jun 2021 08:56:55 +0300 |
> Cc: pot@gnu.org, 47408@debbugs.gnu.org
> From: fabrice nicol <fabrnicol@gmail.com>
> Date: Thu, 10 Jun 2021 22:39:29 +0200
>
> Prior code did not abide by pfnote input constraints, but it "just
> worked" in all cases, at least for 'etags' invocation.
I'm afraid that was by sheer luck. The call to make_tag was incorrect.
> I will not be able to spare enough free time to implement explicit tag
> parsing for existential predicates before a couple of weeks, so in the
> meantime, it would be safer to revert to original code and just
> flag/blame it as 'to-be-fixed for ctags by FN.'
Will you work on this after that time, or should I not rely on it and
do it myself? Two weeks is not too long a time to wait for a
solution.
> As I explained in prior mail, this is anyway a use case in which 'ctags'
> is not useful at all, whilst 'etags' is.
As Francesco and myself explained, that would make Mercury the only
such language, which I think is undesirable (and unnecessary).
- bug#47408: Etags support for Mercury [v0.5], (continued)
- 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
- bug#47408: Etags support for Mercury -- fix explicit tags for existentially-quantified procedures,
Eli Zaretskii <=