github.com/solo-io/cue@v0.4.7/cue/testdata/cycle/issue241.txtar (about)

     1  -- in.cue --
     2  #Value: 0 | 1
     3  
     4  foo: #Value
     5  foo: != bar
     6  bar: #Value
     7  bar: != foo
     8  
     9  #Value: 0 | 1
    10  
    11  Foo: #Value
    12  Foo: != Bar
    13  Bar: #Value
    14  Bar: != Foo
    15  Bar: 0
    16  
    17  cell: a:  0 | 1
    18  cell: a:  != cell.b
    19  cell: b:  0 | 1
    20  cell: b:  != cell.a
    21  cell: a:  0
    22  cell: b:  _
    23  
    24  a: cell.a
    25  b: cell.b
    26  
    27  -- out/eval --
    28  (struct){
    29    #Value: (int){ |((int){ 0 }, (int){ 1 }) }
    30    foo: (_|_){
    31      // [incomplete] foo: incomplete cause disjunction
    32    }
    33    bar: (_|_){
    34      // [incomplete] bar: incomplete cause disjunction
    35    }
    36    Foo: (int){ 1 }
    37    Bar: (int){ 0 }
    38    cell: (struct){
    39      a: (int){ 0 }
    40      b: (int){ 1 }
    41    }
    42    a: (int){ 0 }
    43    b: (int){ 1 }
    44  }
    45  -- out/compile --
    46  --- in.cue
    47  {
    48    #Value: (0|1)
    49    foo: 〈0;#Value〉
    50    foo: !=〈0;bar〉
    51    bar: 〈0;#Value〉
    52    bar: !=〈0;foo〉
    53    #Value: (0|1)
    54    Foo: 〈0;#Value〉
    55    Foo: !=〈0;Bar〉
    56    Bar: 〈0;#Value〉
    57    Bar: !=〈0;Foo〉
    58    Bar: 0
    59    cell: {
    60      a: (0|1)
    61    }
    62    cell: {
    63      a: !=〈1;cell〉.b
    64    }
    65    cell: {
    66      b: (0|1)
    67    }
    68    cell: {
    69      b: !=〈1;cell〉.a
    70    }
    71    cell: {
    72      a: 0
    73    }
    74    cell: {
    75      b: _
    76    }
    77    a: 〈0;cell〉.a
    78    b: 〈0;cell〉.b
    79  }