cuelang.org/go@v0.10.1/cue/testdata/resolve/038_incomplete_comprehensions.txtar (about)

     1  # DO NOT EDIT; generated by go run testdata/gen.go
     2  #
     3  #name: incomplete comprehensions
     4  #evalPartial
     5  -- in.cue --
     6  A: {
     7  	for v in src {
     8  		"\(v)": v
     9  	}
    10  	src: _
    11  	if true {
    12  		baz: "baz"
    13  	}
    14  }
    15  B: A & {
    16  	src: ["foo", "bar"]
    17  }
    18  -- out/def --
    19  A: {
    20  	src: _
    21  	baz: "baz"
    22  	for v in src {
    23  		"\(v)": v
    24  	}
    25  }
    26  B: A & {
    27  	src: ["foo", "bar"]
    28  }
    29  -- out/legacy-debug --
    30  <0>{A: <1>{src: _, baz: "baz" <2>for _, v in <3>.src yield <4>{""+<2>.v+"": <2>.v}}, B: <5>{src: ["foo","bar"], baz: "baz", foo: "foo", bar: "bar"}}
    31  -- out/compile --
    32  --- in.cue
    33  {
    34    A: {
    35      for _, v in 〈0;src〉 {
    36        "\(〈1;v〉)": 〈1;v〉
    37      }
    38      src: _
    39      if true {
    40        baz: "baz"
    41      }
    42    }
    43    B: (〈0;A〉 & {
    44      src: [
    45        "foo",
    46        "bar",
    47      ]
    48    })
    49  }
    50  -- out/eval/stats --
    51  Leaks:  0
    52  Freed:  11
    53  Reused: 6
    54  Allocs: 5
    55  Retain: 9
    56  
    57  Unifications: 11
    58  Conjuncts:    16
    59  Disjuncts:    16
    60  -- out/eval --
    61  (struct){
    62    A: (_|_){
    63      // [incomplete] A: cannot range over src (incomplete type _):
    64      //     ./in.cue:2:11
    65      src: (_){ _ }
    66      baz: (string){ "baz" }
    67    }
    68    B: (struct){
    69      src: (#list){
    70        0: (string){ "foo" }
    71        1: (string){ "bar" }
    72      }
    73      baz: (string){ "baz" }
    74      foo: (string){ "foo" }
    75      bar: (string){ "bar" }
    76    }
    77  }