[m-rev.] for post-commit review: encode an invariant in type_subst

Zoltan Somogyi zoltan.somogyi at runbox.com
Wed Jul 20 23:21:45 AEST 2022


For review by anyone.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.subst
Type: application/octet-stream
Size: 1429 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20220720/9436f6c3/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.subst
Type: application/octet-stream
Size: 31311 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20220720/9436f6c3/attachment-0003.obj>


More information about the reviews mailing list