Forward to 1.6.1 (#16)

Author: bbasata

.travis.yml

@@ -1,8 +1,7 @@
 language: go
 
 go:
-  - 1.11.x
-  - 1.12.x
+  - 1.13.x
   - tip
 
 before_install:

CHANGELOG.md

@@ -1,3 +1,7 @@
+# 1.6.1 (Unreleased)
+
+* Fix a regression from 1.6.0 where `Value.RawEqual` no longer returned the correct result given a pair of sets containing partially-unknown values. ([#64](https://github.com/zclconf/go-cty/pull/64))
+
 # 1.6.0 (Unreleased)
 
 * Fixed various defects in the handling of sets containing unknown values. This will cause unknown values to now be returned in more situations, whereas before `cty` would often return incorrect results when working with sets containing unknown values. The list of defects fixed in this release includes:

cty/value_ops.go

@@ -465,35 +465,27 @@ func (val Value) RawEquals(other Value) bool {
 		return false
 
 	case ty.IsSetType():
-		s1 := val.v.(set.Set)
-		s2 := other.v.(set.Set)
-
-		// Raw equality for sets is a little tricky because our rules for a
-		// set of values say that unknown values are never equal. However,
-		// if both physical sets have the same length and they have all of
-		// their _known_ values in common, we know that both sets also have
-		// the same number of unknown values.
-		if s1.Length() != s2.Length() {
+		// Convert the set values into a slice so that we can compare each
+		// value. This is safe because the underlying sets are ordered (see
+		// setRules in set_internals.go), and so the results are guaranteed to
+		// be in a consistent order for two equal sets
+		setList1 := val.AsValueSlice()
+		setList2 := other.AsValueSlice()
+
+		// If both physical sets have the same length and they have all of their
+		// _known_ values in common, we know that both sets also have the same
+		// number of unknown values.
+		if len(setList1) != len(setList2) {
 			return false
 		}
-		for it := s1.Iterator(); it.Next(); {
-			v := it.Value()
-			if v == unknown { // "unknown" is the internal representation of unknown-ness
-				continue
-			}
-			if !s2.Has(v) {
-				return false
-			}
-		}
-		for it := s2.Iterator(); it.Next(); {
-			v := it.Value()
-			if v == unknown { // "unknown" is the internal representation of unknown-ness
-				continue
-			}
-			if !s1.Has(v) {
+
+		for i := range setList1 {
+			eq := setList1[i].RawEquals(setList2[i])
+			if !eq {
 				return false
 			}
 		}
+
 		// If we got here without returning false already then our sets are
 		// equal enough for RawEquals purposes.
 		return true