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

Julien Fischer jfischer at opturion.com
Sun Mar 13 19:33:31 AEDT 2022

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!


More information about the users mailing list