...

Text file src/cuelang.org/go/cue/testdata/resolve/038_incomplete_comprehensions.txtar

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

     1# DO NOT EDIT; generated by go run testdata/gen.go
     2#
     3#name: incomplete comprehensions
     4#evalPartial
     5-- in.cue --
     6A: {
     7	for v in src {
     8		"\(v)": v
     9	}
    10	src: _
    11	if true {
    12		baz: "baz"
    13	}
    14}
    15B: A & {
    16	src: ["foo", "bar"]
    17}
    18-- out/def --
    19A: {
    20	src: _
    21	baz: "baz"
    22	for v in src {
    23		"\(v)": v
    24	}
    25}
    26B: 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 --
    51Leaks:  0
    52Freed:  11
    53Reused: 6
    54Allocs: 5
    55Retain: 9
    56
    57Unifications: 11
    58Conjuncts:    16
    59Disjuncts:    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}

View as plain text