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

Question

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

我想没有自动的方法（例如迭代），我必须逐个检查不同的情况。

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

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

Answer 1

这个怎么样：

v0 = {v1 with label1 = v0.label1}