[m-rev.] diff: document an invariant of from_ground_term_deconstruct scopes

Zoltan Somogyi zoltan.somogyi at runbox.com
Sun Jan 11 03:57:34 AEDT 2026

Previous message: [m-rev.] diff: carve three new modules out of switch_detection.m
Next message: [m-rev.] for post-commit review: assign goal_ids during scout disjunctions pass
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This should not need review.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.fgtd
Type: application/octet-stream
Size: 691 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20260111/0c24d83b/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.fgtd
Type: application/octet-stream
Size: 6659 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20260111/0c24d83b/attachment-0001.obj>

Previous message: [m-rev.] diff: carve three new modules out of switch_detection.m
Next message: [m-rev.] for post-commit review: assign goal_ids during scout disjunctions pass
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the reviews mailing list