[m-users.] Spawning external process

Sean Charles (emacstheviking) objitsu at gmail.com
Sun Jul 17 00:06:09 AEST 2022


Yes, I realised the same!

> On 16 Jul 2022, at 14:54, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
> 
> 
> 2022-07-16 23:37 GMT+10:00 "Sean Charles (emacstheviking)" <objitsu at gmail.com>:
>> J Fondren: https://github.com/jrfondren/mmc-doc <https://github.com/jrfondren/mmc-doc>
> 
> I just had a look at this tool, and I see that
> 
> - it contains a baked-in list of the modules of the Mercury standard library, but
> - this list has not been updated this year, so it is missing the new modules such as io.call_system.
> 
> It looks like this tool will be able to tell you about new standard library modules
> only when one or the other is fixed.
> 
> Zoltan.



More information about the users mailing list