@crazyeddie @robinm @Conan_Kudo @scherzog @lina Even in a small language like P4 (which has a specifications), there are many corner cases that don't get flushed out always (in both the spec and the compiler). Examples for the spec were github.com/p4lang/p4-spec/pull github.com/p4lang/p4-spec/issu, github.com/p4lang/p4-spec/issu (you can look up the reference compiler issues too).