cuelang.org/go@v0.10.1/cue/testdata/resolve/024_structs.txtar (about)

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