cuelang.org/go@v0.10.1/cue/testdata/disjunctions/defembed.txtar

Interaction between defaults, embedding and disjunctions.

// TODO: at the moment, using a default will select it.
-- in.cue --
x: {
	// All of these resolve to *2 | 3
	m1: (1 | (*2 | 3)) & (>=2 & <=3)
	m2: (1 | (*2 | 3)) & (2 | 3)
	m3: (*1 | *(*2 | 3)) & (2 | 3)
}
y1: x & {
	{m4: x.m1 + x.m2 + x.m3}
}
y2: {
	x
	{m4: y2.m1 + y2.m2 + y2.m3}
}
Y=y3: {
	x
	{m4: Y.m1 + Y.m2 + Y.m3}
}
y4: x & {
	{m4: y4.m1 + y4.m2 + y4.m3}
}

// Second disjunct in embedding is not possible because of previous declaration
// of `b`, so it should be resolved to {a: 1}.
z: {
	b: (*"a" | "b") | "c"
	{a: b} | {b: int}
}
-- out/eval/stats --
Leaks:  0
Freed:  163
Reused: 155
Allocs: 8
Retain: 0

Unifications: 29
Conjuncts:    198
Disjuncts:    163
-- out/eval --
(struct){
  x: (struct){
    m1: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m2: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
  }
  y1: (struct){
    m1: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m2: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m4: (int){ 6 }
  }
  y2: (struct){
    m1: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m2: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m4: (int){ 6 }
  }
  y3: (struct){
    m1: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m2: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m4: (int){ 6 }
  }
  y4: (struct){
    m1: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m2: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m4: (int){ 6 }
  }
  z: (struct){
    b: (string){ |(*(string){ "a" }, (string){ "b" }, (string){ "c" }) }
    a: (string){ |(*(string){ "a" }, (string){ "b" }, (string){ "c" }) }
  }
}
-- out/evalalpha --
(struct){
  x: (struct){
    m1: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m2: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
  }
  y1: (struct){
    m4: (int){ 6 }
    m1: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m2: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
  }
  y2: (struct){
    m4: (int){ 6 }
    m1: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m2: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
  }
  y3: (struct){
    m4: (int){ 6 }
    m1: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m2: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
  }
  y4: (struct){
    m4: (int){ 6 }
    m1: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m2: (int){ |(*(int){ 2 }, (int){ 3 }) }
    m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
  }
  z: (struct){
    b: (string){ |(*(string){ "a" }, (string){ "b" }, (string){ "c" }) }
    a: (string){ |(*(string){ "a" }, (string){ "b" }, (string){ "c" }) }
  }
}
-- diff/-out/evalalpha<==>+out/eval --
diff old new
--- old
+++ new
@@ -5,28 +5,28 @@
     m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
   }
   y1: (struct){
-    m1: (int){ |(*(int){ 2 }, (int){ 3 }) }
-    m2: (int){ |(*(int){ 2 }, (int){ 3 }) }
-    m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
-    m4: (int){ 6 }
+    m4: (int){ 6 }
+    m1: (int){ |(*(int){ 2 }, (int){ 3 }) }
+    m2: (int){ |(*(int){ 2 }, (int){ 3 }) }
+    m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
   }
   y2: (struct){
-    m1: (int){ |(*(int){ 2 }, (int){ 3 }) }
-    m2: (int){ |(*(int){ 2 }, (int){ 3 }) }
-    m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
-    m4: (int){ 6 }
+    m4: (int){ 6 }
+    m1: (int){ |(*(int){ 2 }, (int){ 3 }) }
+    m2: (int){ |(*(int){ 2 }, (int){ 3 }) }
+    m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
   }
   y3: (struct){
-    m1: (int){ |(*(int){ 2 }, (int){ 3 }) }
-    m2: (int){ |(*(int){ 2 }, (int){ 3 }) }
-    m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
-    m4: (int){ 6 }
+    m4: (int){ 6 }
+    m1: (int){ |(*(int){ 2 }, (int){ 3 }) }
+    m2: (int){ |(*(int){ 2 }, (int){ 3 }) }
+    m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
   }
   y4: (struct){
-    m1: (int){ |(*(int){ 2 }, (int){ 3 }) }
-    m2: (int){ |(*(int){ 2 }, (int){ 3 }) }
-    m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
-    m4: (int){ 6 }
+    m4: (int){ 6 }
+    m1: (int){ |(*(int){ 2 }, (int){ 3 }) }
+    m2: (int){ |(*(int){ 2 }, (int){ 3 }) }
+    m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
   }
   z: (struct){
     b: (string){ |(*(string){ "a" }, (string){ "b" }, (string){ "c" }) }
-- diff/todo/p3 --
Reordering.
-- out/compile --
--- in.cue
{
  x: {
    m1: ((1|(*2|3)) & (>=2 & <=3))
    m2: ((1|(*2|3)) & (2|3))
    m3: ((*1|*(*2|3)) & (2|3))
  }
  y1: (〈0;x〉 & {
    {
      m4: ((〈2;x〉.m1 + 〈2;x〉.m2) + 〈2;x〉.m3)
    }
  })
  y2: {
    〈1;x〉
    {
      m4: ((〈2;y2〉.m1 + 〈2;y2〉.m2) + 〈2;y2〉.m3)
    }
  }
  y3: {
    〈1;x〉
    {
      m4: ((〈2;y3〉.m1 + 〈2;y3〉.m2) + 〈2;y3〉.m3)
    }
  }
  y4: (〈0;x〉 & {
    {
      m4: ((〈2;y4〉.m1 + 〈2;y4〉.m2) + 〈2;y4〉.m3)
    }
  })
  z: {
    b: ((*"a"|"b")|"c")
    ({
      a: 〈1;b〉
    }|{
      b: int
    })
  }
}