050_resolved_self-reference_cycles_with_disjunctions.txtar

Documentation: cuelang.org/go/cue/testdata/cycle

     1# DO NOT EDIT; generated by go run testdata/gen.go
     2#
     3#name: resolved self-reference cycles with disjunctions
     4#evalPartial
     5-- in.cue --
     6a: b & {x: 1} | {y:     1} // {x:1,y:3,z:2} | {y:1}
     7b: {x:     2} | c & {z: 2} // {x:2} | {x:1,y:3,z:2}
     8c: a & {y: 3} | {z:     3} // {x:1,y:3,z:2} | {z:3}
     9-- out/def --
    10a: b & {
    11	x: 1
    12} | {
    13	y: 1
    14}
    15b: {
    16	x: 2
    17} | c & {
    18	z: 2
    19}
    20c: a & {
    21	y: 3
    22} | {
    23	z: 3
    24}
    25-- out/legacy-debug --
    26<0>{a: (<1>{x: 1, y: 3, z: 2} | <2>{y: 1}), b: (<3>{x: 2} | <4>{x: 1, y: 3, z: 2}), c: (<5>{x: 1, y: 3, z: 2} | <6>{z: 3})}
    27-- out/compile --
    28--- in.cue
    29{
    30  a: ((〈0;b〉 & {
    31    x: 1
    32  })|{
    33    y: 1
    34  })
    35  b: ({
    36    x: 2
    37  }|(〈0;c〉 & {
    38    z: 2
    39  }))
    40  c: ((〈0;a〉 & {
    41    y: 3
    42  })|{
    43    z: 3
    44  })
    45}
    46-- out/eval/stats --
    47Leaks:  0
    48Freed:  43
    49Reused: 32
    50Allocs: 11
    51Retain: 0
    52
    53Unifications: 25
    54Conjuncts:    64
    55Disjuncts:    43
    56-- out/eval --
    57(struct){
    58  a: (struct){ |((struct){
    59      x: (int){ 1 }
    60      z: (int){ 2 }
    61      y: (int){ 3 }
    62    }, (struct){
    63      y: (int){ 1 }
    64    }) }
    65  b: (struct){ |((struct){
    66      x: (int){ 2 }
    67    }, (struct){
    68      z: (int){ 2 }
    69      y: (int){ 3 }
    70      x: (int){ 1 }
    71    }) }
    72  c: (struct){ |((struct){
    73      y: (int){ 3 }
    74      x: (int){ 1 }
    75      z: (int){ 2 }
    76    }, (struct){
    77      z: (int){ 3 }
    78    }) }
    79}
View as plain text