[m-rev.] for review: an updated draft of coercions in the reference manual

Zoltan Somogyi zoltan.somogyi at runbox.com
Wed Aug 5 07:39:01 AEST 2026


For review by both Peter and Julien. This draft is almost complete,
the only part missing is the part after the new "Which types can be
coerced to which other types?" heading, for which we need to agree
a name first. The idea is that this concept describes what the predicate
types_compare_as_given implements with need_not_be_invariant.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.rm3
Type: application/octet-stream
Size: 22502 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20260804/6641c431/attachment-0001.obj>


More information about the reviews mailing list