cuelang.org/go@v0.13.0/cue/testdata/builtins/issue490.txtar (about)

     1  -- test.cue --
     2  A: close({
     3  	a: 1
     4  	b: 2
     5  })
     6  
     7  B: A & {
     8  	c: 3
     9  }
    10  -- out/eval/stats --
    11  Leaks:  2
    12  Freed:  8
    13  Reused: 5
    14  Allocs: 5
    15  Retain: 2
    16  
    17  Unifications: 10
    18  Conjuncts:    14
    19  Disjuncts:    10
    20  -- out/evalalpha --
    21  Errors:
    22  B.c: field not allowed:
    23      ./test.cue:7:2
    24  
    25  Result:
    26  (_|_){
    27    // [eval]
    28    A: (#struct){
    29      a: (int){ 1 }
    30      b: (int){ 2 }
    31    }
    32    B: (_|_){
    33      // [eval]
    34      c: (_|_){
    35        // [eval] B.c: field not allowed:
    36        //     ./test.cue:7:2
    37      }
    38      a: (int){ 1 }
    39      b: (int){ 2 }
    40    }
    41  }
    42  -- diff/-out/evalalpha<==>+out/eval --
    43  diff old new
    44  --- old
    45  +++ new
    46  @@ -1,7 +1,5 @@
    47   Errors:
    48   B.c: field not allowed:
    49  -    ./test.cue:1:10
    50  -    ./test.cue:6:4
    51       ./test.cue:7:2
    52   
    53   Result:
    54  @@ -13,13 +11,11 @@
    55     }
    56     B: (_|_){
    57       // [eval]
    58  -    a: (int){ 1 }
    59  -    b: (int){ 2 }
    60       c: (_|_){
    61         // [eval] B.c: field not allowed:
    62  -      //     ./test.cue:1:10
    63  -      //     ./test.cue:6:4
    64         //     ./test.cue:7:2
    65       }
    66  +    a: (int){ 1 }
    67  +    b: (int){ 2 }
    68     }
    69   }
    70  -- diff/todo/p2 --
    71  positions
    72  -- diff/todo/p3 --
    73  Reordering
    74  -- out/eval --
    75  Errors:
    76  B.c: field not allowed:
    77      ./test.cue:1:10
    78      ./test.cue:6:4
    79      ./test.cue:7:2
    80  
    81  Result:
    82  (_|_){
    83    // [eval]
    84    A: (#struct){
    85      a: (int){ 1 }
    86      b: (int){ 2 }
    87    }
    88    B: (_|_){
    89      // [eval]
    90      a: (int){ 1 }
    91      b: (int){ 2 }
    92      c: (_|_){
    93        // [eval] B.c: field not allowed:
    94        //     ./test.cue:1:10
    95        //     ./test.cue:6:4
    96        //     ./test.cue:7:2
    97      }
    98    }
    99  }
   100  -- out/compile --
   101  --- test.cue
   102  {
   103    A: close({
   104      a: 1
   105      b: 2
   106    })
   107    B: (怈0;A怉 & {
   108      c: 3
   109    })
   110  }