[m-dev.] proposal: rename the modules of the first termination analyzer

Zoltan Somogyi zoltan.somogyi at runbox.com
Sun Aug 30 18:52:09 AEST 2026



On Sun, 30 Aug 2026 08:16:22 +0200 (CEST), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> > (Incidentally, have you thought about where term_norm.m will end up; it's used
> > by things other than the termination analysers.)
> 
> Not yet, but soon.

It ended up in the termination package, outside both subpackages.

The attached diff implements the renames and repackagings. It adds
two ZZZs that I will address later today.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.term
Type: application/octet-stream
Size: 1758 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/developers/attachments/20260830/4481a0d5/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.term
Type: application/octet-stream
Size: 115462 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/developers/attachments/20260830/4481a0d5/attachment-0003.obj>


More information about the developers mailing list