cuelang.org/go@v0.10.1/cue/testdata/eval/embed.txtar (about)

     1  -- in.cue --
     2  #A: {
     3  	Common
     4  	...
     5  }
     6  
     7  Common: {
     8  	a: int
     9  	b: int
    10  }
    11  
    12  x: #A
    13  x: {
    14  	c: int
    15  }
    16  
    17  #B: {
    18  	if true {
    19  		a: int
    20  	}
    21  	...
    22  }
    23  
    24  y: #B
    25  y: {
    26  	c: int
    27  }
    28  -- out/eval/stats --
    29  Leaks:  0
    30  Freed:  16
    31  Reused: 12
    32  Allocs: 4
    33  Retain: 1
    34  
    35  Unifications: 16
    36  Conjuncts:    32
    37  Disjuncts:    17
    38  -- out/evalalpha --
    39  (struct){
    40    #A: (#struct){
    41      a: (int){ int }
    42      b: (int){ int }
    43    }
    44    Common: (struct){
    45      a: (int){ int }
    46      b: (int){ int }
    47    }
    48    x: (#struct){
    49      c: (int){ int }
    50      a: (int){ int }
    51      b: (int){ int }
    52    }
    53    #B: (#struct){
    54      a: (int){ int }
    55    }
    56    y: (#struct){
    57      c: (int){ int }
    58      a: (int){ int }
    59    }
    60  }
    61  -- diff/-out/evalalpha<==>+out/eval --
    62  diff old new
    63  --- old
    64  +++ new
    65  @@ -8,15 +8,15 @@
    66       b: (int){ int }
    67     }
    68     x: (#struct){
    69  -    a: (int){ int }
    70  -    b: (int){ int }
    71  -    c: (int){ int }
    72  +    c: (int){ int }
    73  +    a: (int){ int }
    74  +    b: (int){ int }
    75     }
    76     #B: (#struct){
    77       a: (int){ int }
    78     }
    79     y: (#struct){
    80  -    a: (int){ int }
    81  -    c: (int){ int }
    82  +    c: (int){ int }
    83  +    a: (int){ int }
    84     }
    85   }
    86  -- diff/explanation --
    87  Reordering
    88  -- out/eval --
    89  (struct){
    90    #A: (#struct){
    91      a: (int){ int }
    92      b: (int){ int }
    93    }
    94    Common: (struct){
    95      a: (int){ int }
    96      b: (int){ int }
    97    }
    98    x: (#struct){
    99      a: (int){ int }
   100      b: (int){ int }
   101      c: (int){ int }
   102    }
   103    #B: (#struct){
   104      a: (int){ int }
   105    }
   106    y: (#struct){
   107      a: (int){ int }
   108      c: (int){ int }
   109    }
   110  }
   111  -- out/compile --
   112  --- in.cue
   113  {
   114    #A: {
   115      〈1;Common〉
   116      ...
   117    }
   118    Common: {
   119      a: int
   120      b: int
   121    }
   122    x: 〈0;#A〉
   123    x: {
   124      c: int
   125    }
   126    #B: {
   127      if true {
   128        a: int
   129      }
   130      ...
   131    }
   132    y: 〈0;#B〉
   133    y: {
   134      c: int
   135    }
   136  }