检查相同记录类型的2个值之间的差异

Question

我已经定义了一个包含许多标签的记录类型.我经常需要检查此记录类型的2个值之间的差异---以查看哪些标签不同的内容.

我想没有自动的方法(例如迭代),我必须逐个检查不同的情况.

例如,要检查2个值是否总是相同的内容,除了一个标签,目前我做的{v0 with label1 = a_content_of_label1} = {v1 with label1 = a_content_of_label1},它看起来不漂亮,因为我需要选择a_content_of_label1自己.

有没有更好的方法呢？非常感谢你!

Answer 1

那这个呢:

v0 = {v1 with label1 = v0.label1}