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

[Julien Fischer]

On Sun, 13 Mar 2022, Sean Charles (emacstheviking) wrote:

> I just reverted back to 20.06.01 stable from an ROTD and when doing
> 
> mmc-doc --refresh-cache
> 
> I got this error:
> 
> --2022-03-13 08:20:36--  https://mercurylang.org/information/doc-latest/mercury_library/lexer.html
> Resolving mercurylang.org (mercurylang.org)... 45.56.89.38
> Connecting to mercurylang.org (mercurylang.org)|45.56.89.38|:443... connected.
> HTTP request sent, awaiting response... 404 Not Found
> 2022-03-13 08:20:37 ERROR 404: Not Found.
> 
> Failed to spawn command: wget -O '/Users/sean/.config/mmc-doc/lexer.html' 'https://mercurylang.org/information/doc-latest/mercury_library/lexer.html'
> 
> https://mercurylang.org/information/doc-latest/mercury_library/
> 
> I checked the URL, sure enough that file is not listed...is this correct? I am not using that library but is it the case that mmc-doc now has an incomplete local
> cache ?

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.

Julien.