github.com/solo-io/cue@v0.4.7/cue/testdata/fulleval/027_len_of_incomplete_types.txtar (about) 1 # DO NOT EDIT; generated by go run testdata/gen.go 2 # 3 #name: len of incomplete types 4 #evalFull 5 -- in.cue -- 6 args: *[] | [...string] 7 v1: len(args) 8 v2: len([]) 9 v3: len({}) 10 v4: len({a: 3}) 11 v5: len({a: 3} | {a: 4}) 12 v6: len('sf' | 'dd') 13 v7: len([2] | *[1, 2]) 14 v8: len([2] | [1, 2]) 15 v9: len("π") 16 v10: len("") 17 -- out/def -- 18 args: *[] | [...string] 19 v1: 0 20 v2: 0 21 v3: 0 22 v4: 1 23 v5: len({ 24 a: 3 25 } | { 26 a: 4 27 }) 28 v6: len('sf' | 'dd') 29 v7: 2 30 v8: len([2] | [1, 2]) 31 v9: 4 32 v10: 0 33 -- out/legacy-debug -- 34 <0>{args: [], v1: 0, v2: 0, v3: 0, v4: 1, v5: len ((<1>{a: 3} | <2>{a: 4})), v6: len (('sf' | 'dd')), v7: 2, v8: len (([2] | [1,2])), v9: 4, v10: 0} 35 -- out/eval -- 36 (struct){ 37 args: (list){ |(*(#list){ 38 }, (list){ 39 }) } 40 v1: (int){ 0 } 41 v2: (int){ 0 } 42 v3: (int){ 0 } 43 v4: (int){ 1 } 44 v5: (_|_){ 45 // [incomplete] v5: unresolved disjunction {a:3} | {a:4} (type struct): 46 // ./in.cue:6:7 47 } 48 v6: (_|_){ 49 // [incomplete] v6: unresolved disjunction 'sf' | 'dd' (type bytes): 50 // ./in.cue:7:7 51 } 52 v7: (int){ 2 } 53 v8: (_|_){ 54 // [incomplete] v8: unresolved disjunction [2] | [1,2] (type list): 55 // ./in.cue:9:7 56 } 57 v9: (int){ 4 } 58 v10: (int){ 0 } 59 } 60 -- out/compile -- 61 --- in.cue 62 { 63 args: (*[]|[ 64 ...string, 65 ]) 66 v1: len(γ0;argsγ) 67 v2: len([]) 68 v3: len({}) 69 v4: len({ 70 a: 3 71 }) 72 v5: len(({ 73 a: 3 74 }|{ 75 a: 4 76 })) 77 v6: len(('sf'|'dd')) 78 v7: len(([ 79 2, 80 ]|*[ 81 1, 82 2, 83 ])) 84 v8: len(([ 85 2, 86 ]|[ 87 1, 88 2, 89 ])) 90 v9: len("π") 91 v10: len("") 92 }