cuelang.org/go@v0.10.1/cue/testdata/cycle/issue242.txtar

-- in.cue --
#size:     2
#CellValue: 0 | 1 | 2 | 3
cell: "0": "0": #CellValue
cell: "0": "0": !=cell["0"]["1"]
cell: "0": "0": !=cell["1"]["0"]
cell: "0": "0": !=cell["1"]["1"]

cell: "0": "1": #CellValue
cell: "0": "1": !=cell["0"]["0"]
cell: "0": "1": !=cell["1"]["0"]
cell: "0": "1": !=cell["1"]["1"]

cell: "1": "0": #CellValue
cell: "1": "0": !=cell["0"]["0"]
cell: "1": "0": !=cell["0"]["1"]
cell: "1": "0": !=cell["1"]["1"]

cell: "1": "1": #CellValue
cell: "1": "1": !=cell["0"]["0"]
cell: "1": "1": !=cell["0"]["1"]
cell: "1": "1": !=cell["1"]["0"]

cell: "0": "0": 0
cell: "0": "1": 1
cell: "1": "0": 2
cell: "1": "1": 3

cell2: a: 0 | 1
cell2: a: !=cell2.b

cell2: b: 0 | 1
cell2: b: !=cell2.a

cell2: a: _
cell2: b: 1

cell3: a: 0 | 1
cell3: a: !=cell3.b

cell3: b: 0 | 1
cell3: b: !=cell3.a

cell3: a: 0
cell3: b: _

cell4: a: 0 | 1
cell4: a: !=cell4.b

cell4: b: 0 | 1
cell4: b: !=cell4.a

cell4: b: _
cell4: a: 0

cell5: b: 0 | 1
cell5: b: !=cell5.a

cell5: a: 0 | 1
cell5: a: !=cell5.b

cell5: b: _
cell5: a: 0

a: #CellValue
a: !=b
a: !=c
a: !=d

b: #CellValue
b: !=a
b: !=c
b: !=d

c: #CellValue
c: !=a
c: !=b
c: !=d

d: #CellValue
d: !=a
d: !=b
d: !=c

a: 0
b: 1
c: 2
d: 3
-- out/eval/stats --
Leaks:  0
Freed:  78
Reused: 68
Allocs: 10
Retain: 18

Unifications: 26
Conjuncts:    181
Disjuncts:    82
-- out/evalalpha --
Errors:
cell2.b: conflicting values 0 and 1:
    ./in.cue:31:11
    ./in.cue:35:11

Result:
(_|_){
  // [eval]
  #size: (int){ 2 }
  #CellValue: (int){ |((int){ 0 }, (int){ 1 }, (int){ 2 }, (int){ 3 }) }
  cell: (struct){
    "0": (struct){
      "0": (int){ 0 }
      "1": (int){ 1 }
    }
    "1": (struct){
      "0": (int){ 2 }
      "1": (int){ 3 }
    }
  }
  cell2: (_|_){
    // [eval]
    a: (int){ |((int){ 0 }, (int){ 1 }) }
    b: (_|_){
      // [eval] cell2.b: conflicting values 0 and 1:
      //     ./in.cue:31:11
      //     ./in.cue:35:11
    }
  }
  cell3: (struct){
    a: (int){ 0 }
    b: (int){ 1 }
  }
  cell4: (struct){
    a: (int){ 0 }
    b: (int){ 1 }
  }
  cell5: (struct){
    b: (int){ |((int){ 0 }, (int){ 1 }) }
    a: (int){ 0 }
  }
  a: (int){ 0 }
  b: (int){ 1 }
  c: (int){ 2 }
  d: (int){ 3 }
}
-- diff/-out/evalalpha<==>+out/eval --
diff old new
--- old
+++ new
@@ -1,4 +1,11 @@
-(struct){
+Errors:
+cell2.b: conflicting values 0 and 1:
+    ./in.cue:31:11
+    ./in.cue:35:11
+
+Result:
+(_|_){
+  // [eval]
   #size: (int){ 2 }
   #CellValue: (int){ |((int){ 0 }, (int){ 1 }, (int){ 2 }, (int){ 3 }) }
   cell: (struct){
@@ -11,9 +18,14 @@
       "1": (int){ 3 }
     }
   }
-  cell2: (struct){
-    a: (int){ 0 }
-    b: (int){ 1 }
+  cell2: (_|_){
+    // [eval]
+    a: (int){ |((int){ 0 }, (int){ 1 }) }
+    b: (_|_){
+      // [eval] cell2.b: conflicting values 0 and 1:
+      //     ./in.cue:31:11
+      //     ./in.cue:35:11
+    }
   }
   cell3: (struct){
     a: (int){ 0 }
@@ -24,7 +36,7 @@
     b: (int){ 1 }
   }
   cell5: (struct){
-    b: (int){ 1 }
+    b: (int){ |((int){ 0 }, (int){ 1 }) }
     a: (int){ 0 }
   }
   a: (int){ 0 }
-- diff/todo/p0 --
cell2.b: new error.
cell5.b: unresolved disjunction.
-- out/eval --
(struct){
  #size: (int){ 2 }
  #CellValue: (int){ |((int){ 0 }, (int){ 1 }, (int){ 2 }, (int){ 3 }) }
  cell: (struct){
    "0": (struct){
      "0": (int){ 0 }
      "1": (int){ 1 }
    }
    "1": (struct){
      "0": (int){ 2 }
      "1": (int){ 3 }
    }
  }
  cell2: (struct){
    a: (int){ 0 }
    b: (int){ 1 }
  }
  cell3: (struct){
    a: (int){ 0 }
    b: (int){ 1 }
  }
  cell4: (struct){
    a: (int){ 0 }
    b: (int){ 1 }
  }
  cell5: (struct){
    b: (int){ 1 }
    a: (int){ 0 }
  }
  a: (int){ 0 }
  b: (int){ 1 }
  c: (int){ 2 }
  d: (int){ 3 }
}
-- out/compile --
--- in.cue
{
  #size: 2
  #CellValue: (0|1|2|3)
  cell: {
    "0": {
      "0": 〈2;#CellValue〉
    }
  }
  cell: {
    "0": {
      "0": !=〈2;cell〉["0"]["1"]
    }
  }
  cell: {
    "0": {
      "0": !=〈2;cell〉["1"]["0"]
    }
  }
  cell: {
    "0": {
      "0": !=〈2;cell〉["1"]["1"]
    }
  }
  cell: {
    "0": {
      "1": 〈2;#CellValue〉
    }
  }
  cell: {
    "0": {
      "1": !=〈2;cell〉["0"]["0"]
    }
  }
  cell: {
    "0": {
      "1": !=〈2;cell〉["1"]["0"]
    }
  }
  cell: {
    "0": {
      "1": !=〈2;cell〉["1"]["1"]
    }
  }
  cell: {
    "1": {
      "0": 〈2;#CellValue〉
    }
  }
  cell: {
    "1": {
      "0": !=〈2;cell〉["0"]["0"]
    }
  }
  cell: {
    "1": {
      "0": !=〈2;cell〉["0"]["1"]
    }
  }
  cell: {
    "1": {
      "0": !=〈2;cell〉["1"]["1"]
    }
  }
  cell: {
    "1": {
      "1": 〈2;#CellValue〉
    }
  }
  cell: {
    "1": {
      "1": !=〈2;cell〉["0"]["0"]
    }
  }
  cell: {
    "1": {
      "1": !=〈2;cell〉["0"]["1"]
    }
  }
  cell: {
    "1": {
      "1": !=〈2;cell〉["1"]["0"]
    }
  }
  cell: {
    "0": {
      "0": 0
    }
  }
  cell: {
    "0": {
      "1": 1
    }
  }
  cell: {
    "1": {
      "0": 2
    }
  }
  cell: {
    "1": {
      "1": 3
    }
  }
  cell2: {
    a: (0|1)
  }
  cell2: {
    a: !=〈1;cell2〉.b
  }
  cell2: {
    b: (0|1)
  }
  cell2: {
    b: !=〈1;cell2〉.a
  }
  cell2: {
    a: _
  }
  cell2: {
    b: 1
  }
  cell3: {
    a: (0|1)
  }
  cell3: {
    a: !=〈1;cell3〉.b
  }
  cell3: {
    b: (0|1)
  }
  cell3: {
    b: !=〈1;cell3〉.a
  }
  cell3: {
    a: 0
  }
  cell3: {
    b: _
  }
  cell4: {
    a: (0|1)
  }
  cell4: {
    a: !=〈1;cell4〉.b
  }
  cell4: {
    b: (0|1)
  }
  cell4: {
    b: !=〈1;cell4〉.a
  }
  cell4: {
    b: _
  }
  cell4: {
    a: 0
  }
  cell5: {
    b: (0|1)
  }
  cell5: {
    b: !=〈1;cell5〉.a
  }
  cell5: {
    a: (0|1)
  }
  cell5: {
    a: !=〈1;cell5〉.b
  }
  cell5: {
    b: _
  }
  cell5: {
    a: 0
  }
  a: 〈0;#CellValue〉
  a: !=〈0;b〉
  a: !=〈0;c〉
  a: !=〈0;d〉
  b: 〈0;#CellValue〉
  b: !=〈0;a〉
  b: !=〈0;c〉
  b: !=〈0;d〉
  c: 〈0;#CellValue〉
  c: !=〈0;a〉
  c: !=〈0;b〉
  c: !=〈0;d〉
  d: 〈0;#CellValue〉
  d: !=〈0;a〉
  d: !=〈0;b〉
  d: !=〈0;c〉
  a: 0
  b: 1
  c: 2
  d: 3
}