internal/core/export: document bug in export

This records a bug in the SelfContained logic that was exposed developing eval V3. It fails for all versions, though. Signed-off-by: Marcel van Lohuizen <[email protected]> Change-Id: Ia6a92a8bda41e58195abffbaf6f74416caa5cab8 Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1202232 Unity-Result: CUE porcuepine <[email protected]> Reviewed-by: Matthew Sackman <[email protected]> TryBot-Result: CUEcueckoo <[email protected]>
cue-lang · Oct 8, 2024 · 2eedbd1 · 2eedbd1
1 parent b44f5e0
commit 2eedbd1
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 0 deletions.
diff --git a/internal/core/export/self_test.go b/internal/core/export/self_test.go
@@ -42,6 +42,10 @@ func TestSelfContained(t *testing.T) {
 
 		ToDo: map[string]string{
 			"self-v3/selfcontained/import": `wa: reference "_hidden_567475F3" not found:`,
+
+			"self/selfcontained/cyclic":            `reference not properly substituted`,
+			"self-v3/selfcontained/cyclic":         `reference not properly substituted`,
+			"self-v3-noshare/selfcontained/cyclic": `reference not properly substituted`,
 		},
 	}
 

diff --git a/internal/core/export/testdata/selfcontained/cyclic.txtar b/internal/core/export/testdata/selfcontained/cyclic.txtar
@@ -0,0 +1,20 @@
+#path: a.b.#def
+
+The trick here is that we hoist values that are both cyclic as well as a
+definition. The behavior of the definition should be retained, and the
+cyclic references should be substituted accordingly.
+-- in.cue --
+a: b: #def: {
+	opt?: #def
+
+	list: [...#def]
+}
+-- out/self/default --
+X.#def
+
+let X = {
+	#def: {
+		opt?: #def
+		list: [...#def]
+	}
+}