[m-users.] lexer library gone for 20.06.01 ?

Sean Charles (emacstheviking) objitsu at gmail.com
Sun Mar 13 19:38:14 AEDT 2022

OK, changed line 65 of libinfo.m in mmc-doc to


but now I am guessing that parser.html changed to mercury_term_parser    :D   guess what just broke...

Changing line 74 to


now enables mmc-doc to do a full cache update.

I am assuming this will get changed on GitHub or I can submit a PR ?


> On 13 Mar 2022, at 08:33, Julien Fischer <jfischer at opturion.com> wrote:
> On Sun, 13 Mar 2022, Zoltan Somogyi wrote:
>> 2022-03-13 19:29 GMT+11:00 "Julien Fischer" <jfischer at opturion.com>:
>>> I don't know anything about mmc-doc or how it works, but from Mercury
>>> 22.01 onwards the lexer module has been renamed to mercury_lexer.
>> Actually, it has been renamed to mercury_term_lexer.
> Oops!  Yes, listen to Zoltan, not me!
> Julien.

More information about the users mailing list