[m-rev.] for post-commit review: avoid a redundant traversal, and improve style

[Zoltan Somogyi]

2023-04-04 10:24 GMT+10:00 "Zoltan Somogyi" <zoltan.somogyi at runbox.com>:
> Should we add the maybe_changed type to maybe_succeeded.m?
> If yes, what should we rename that module to?

Since noone has objected, the attached diff does this.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.mu
Type: application/octet-stream
Size: 1144 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20230421/4ffd5d83/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.mu
Type: application/octet-stream
Size: 52690 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20230421/4ffd5d83/attachment-0003.obj>