[m-rev.] for post-commit review: new pragma type_order_switch

[Zoltan Somogyi]

I intend to use this new pragma to ensure that the order
of the clauses of the optdb predicate matches the order
of the options they describe in the option type.

The implementation is straightforward, and thus does not
really need review. The questions I would like reviewers
to look at are:

Is this pragma useful generally enough to be publicly documented?

Can anyone think of a better name for the pragma?

Can anyone think of any way to improve the wording of the
warning message?

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.tos
Type: application/octet-stream
Size: 1795 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20250617/0cb9107a/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.tos
Type: application/octet-stream
Size: 34010 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20250617/0cb9107a/attachment-0003.obj>