cuelang.org/go@v0.10.1/cue/testdata/fulleval/020_complex_interaction_of_groundness.txtar (about)

     1  # DO NOT EDIT; generated by go run testdata/gen.go
     2  #
     3  #name: complex interaction of groundness
     4  #evalFull
     5  -- in.cue --
     6  res: [for x in a for y in x {y & {d: "b"}}]
     7  res: [ a.b.c & {d: "b"}]
     8  
     9  a: b: [C=string]: {d: string, s: "a" + d}
    10  a: b: c: d: string
    11  -- out/def --
    12  res: [{
    13  	d: "b"
    14  	s: "ab"
    15  } & (a.b.c & {
    16  	d: "b"
    17  })]
    18  a: {
    19  	b: {
    20  		{[C=string]: {
    21  			d: string, s: "a" + d
    22  		}}
    23  		c: {
    24  			d: string
    25  			s: "a" + d
    26  		}
    27  	}
    28  }
    29  -- out/legacy-debug --
    30  <0>{res: [<1>{d: "b", s: "ab"}], a: <2>{b: <3>{[]: <4>(C: string)-><5>{d: string, s: ("a" + <5>.d)}, c: <6>{d: string, s: ("a" + <7>.d)}}}}
    31  -- out/compile --
    32  --- in.cue
    33  {
    34    res: [
    35      for _, x in 〈1;a〉 for _, y in 〈0;x〉 {
    36        (〈1;y〉 & {
    37          d: "b"
    38        })
    39      },
    40    ]
    41    res: [
    42      (〈1;a〉.b.c & {
    43        d: "b"
    44      }),
    45    ]
    46    a: {
    47      b: {
    48        [string]: {
    49          d: string
    50          s: ("a" + 〈0;d〉)
    51        }
    52      }
    53    }
    54    a: {
    55      b: {
    56        c: {
    57          d: string
    58        }
    59      }
    60    }
    61  }
    62  -- out/eval/stats --
    63  Leaks:  0
    64  Freed:  10
    65  Reused: 3
    66  Allocs: 7
    67  Retain: 5
    68  
    69  Unifications: 10
    70  Conjuncts:    33
    71  Disjuncts:    15
    72  -- out/evalalpha --
    73  (struct){
    74    res: (#list){
    75      0: (struct){
    76        d: (string){ "b" }
    77        s: (string){ "ab" }
    78      }
    79    }
    80    a: (struct){
    81      b: (struct){
    82        c: (struct){
    83          d: (string){ string }
    84          s: (_|_){
    85            // [incomplete] a.b.c.s: non-concrete value string in operand to +:
    86            //     ./in.cue:4:34
    87            //     ./in.cue:5:13
    88          }
    89        }
    90      }
    91    }
    92  }
    93  -- diff/-out/evalalpha<==>+out/eval --
    94  diff old new
    95  --- old
    96  +++ new
    97  @@ -12,7 +12,6 @@
    98           s: (_|_){
    99             // [incomplete] a.b.c.s: non-concrete value string in operand to +:
   100             //     ./in.cue:4:34
   101  -          //     ./in.cue:4:23
   102             //     ./in.cue:5:13
   103           }
   104         }
   105  -- diff/todo/p2 --
   106  Missing error position
   107  -- out/eval --
   108  (struct){
   109    res: (#list){
   110      0: (struct){
   111        d: (string){ "b" }
   112        s: (string){ "ab" }
   113      }
   114    }
   115    a: (struct){
   116      b: (struct){
   117        c: (struct){
   118          d: (string){ string }
   119          s: (_|_){
   120            // [incomplete] a.b.c.s: non-concrete value string in operand to +:
   121            //     ./in.cue:4:34
   122            //     ./in.cue:4:23
   123            //     ./in.cue:5:13
   124          }
   125        }
   126      }
   127    }
   128  }