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

Zoltan Somogyi zoltan.somogyi at runbox.com
Sun Mar 13 19:31:51 AEDT 2022

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.


More information about the users mailing list