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

Question

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

我想没有自动的方式来做到这一点（例如迭代），我必须逐一检查不同的情况。

例如，要检查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}