[m-rev.] diff: fix bad predicate names

Zoltan Somogyi zoltan.somogyi at runbox.com
Mon Jul 22 17:26:12 AEST 2024

Previous message: [m-rev.] for review: require distinct type variables in existentially quantified data ctors
Next message: [m-rev.] diff: call builtin_{unify, compare}_pred for eqv types equivalent to higher order values
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This does not need review.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.pn
Type: application/octet-stream
Size: 914 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20240722/39ea621b/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.pn
Type: application/octet-stream
Size: 14113 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20240722/39ea621b/attachment-0003.obj>

Previous message: [m-rev.] for review: require distinct type variables in existentially quantified data ctors
Next message: [m-rev.] diff: call builtin_{unify, compare}_pred for eqv types equivalent to higher order values
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the reviews mailing list