cuelang.org/go@v0.13.0/cue/testdata/export/024.txtar (about)

     1  raw: true
     2  eval: true
     3  noOpt: true
     4  -- in.cue --
     5  {
     6  	reg: {foo: 1, bar: {baz: 3}}
     7  	#def: {
     8  		a: 1
     9  
    10  		sub: reg
    11  	}
    12  	val: #def
    13  	#def2: {
    14  		a: {b: int}
    15  	}
    16  	val2: #def2
    17  }
    18  -- out/def --
    19  reg: {
    20  	foo: 1
    21  	bar: {
    22  		baz: 3
    23  	}
    24  }
    25  #def: {
    26  	a:   1
    27  	sub: reg
    28  }
    29  val: #def
    30  #def2: {
    31  	a: {
    32  		b: int
    33  	}
    34  }
    35  val2: #def2
    36  -- out/compile --
    37  --- in.cue
    38  {
    39    {
    40      reg: {
    41        foo: 1
    42        bar: {
    43          baz: 3
    44        }
    45      }
    46      #def: {
    47        a: 1
    48        sub: 〈1;reg〉
    49      }
    50      val: 〈0;#def〉
    51      #def2: {
    52        a: {
    53          b: int
    54        }
    55      }
    56      val2: 〈0;#def2〉
    57    }
    58  }
    59  -- out/eval/stats --
    60  Leaks:  0
    61  Freed:  23
    62  Reused: 18
    63  Allocs: 5
    64  Retain: 0
    65  
    66  Unifications: 23
    67  Conjuncts:    28
    68  Disjuncts:    23
    69  -- out/evalalpha --
    70  (struct){
    71    reg: (struct){
    72      foo: (int){ 1 }
    73      bar: (struct){
    74        baz: (int){ 3 }
    75      }
    76    }
    77    #def: (#struct){
    78      a: (int){ 1 }
    79      sub: (#struct){
    80        foo: (int){ 1 }
    81        bar: (#struct){
    82          baz: (int){ 3 }
    83        }
    84      }
    85    }
    86    val: ~(#def)
    87    #def2: (#struct){
    88      a: (#struct){
    89        b: (int){ int }
    90      }
    91    }
    92    val2: ~(#def2)
    93  }
    94  -- diff/-out/evalalpha<==>+out/eval --
    95  diff old new
    96  --- old
    97  +++ new
    98  @@ -14,23 +14,11 @@
    99         }
   100       }
   101     }
   102  -  val: (#struct){
   103  -    a: (int){ 1 }
   104  -    sub: (#struct){
   105  -      foo: (int){ 1 }
   106  -      bar: (#struct){
   107  -        baz: (int){ 3 }
   108  -      }
   109  -    }
   110  -  }
   111  +  val: ~(#def)
   112     #def2: (#struct){
   113       a: (#struct){
   114         b: (int){ int }
   115       }
   116     }
   117  -  val2: (#struct){
   118  -    a: (#struct){
   119  -      b: (int){ int }
   120  -    }
   121  -  }
   122  +  val2: ~(#def2)
   123   }
   124  -- out/eval --
   125  (struct){
   126    reg: (struct){
   127      foo: (int){ 1 }
   128      bar: (struct){
   129        baz: (int){ 3 }
   130      }
   131    }
   132    #def: (#struct){
   133      a: (int){ 1 }
   134      sub: (#struct){
   135        foo: (int){ 1 }
   136        bar: (#struct){
   137          baz: (int){ 3 }
   138        }
   139      }
   140    }
   141    val: (#struct){
   142      a: (int){ 1 }
   143      sub: (#struct){
   144        foo: (int){ 1 }
   145        bar: (#struct){
   146          baz: (int){ 3 }
   147        }
   148      }
   149    }
   150    #def2: (#struct){
   151      a: (#struct){
   152        b: (int){ int }
   153      }
   154    }
   155    val2: (#struct){
   156      a: (#struct){
   157        b: (int){ int }
   158      }
   159    }
   160  }