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  }