cuelang.org/go@v0.13.0/cue/testdata/definitions/issue497.txtar (about)

     1  -- in.cue --
     2  #A: _
     3  
     4  #N: #A & {
     5  	f: j: {
     6  		n: "hi"
     7  	}
     8  }
     9  
    10  l: #N
    11  -- out/eval/stats --
    12  Leaks:  0
    13  Freed:  10
    14  Reused: 5
    15  Allocs: 5
    16  Retain: 0
    17  
    18  Unifications: 10
    19  Conjuncts:    15
    20  Disjuncts:    10
    21  -- out/evalalpha --
    22  (struct){
    23    #A: (_){ _ }
    24    #N: (#struct){
    25      f: (#struct){
    26        j: (#struct){
    27          n: (string){ "hi" }
    28        }
    29      }
    30    }
    31    l: ~(#N)
    32  }
    33  -- diff/-out/evalalpha<==>+out/eval --
    34  diff old new
    35  --- old
    36  +++ new
    37  @@ -7,11 +7,5 @@
    38         }
    39       }
    40     }
    41  -  l: (#struct){
    42  -    f: (#struct){
    43  -      j: (#struct){
    44  -        n: (string){ "hi" }
    45  -      }
    46  -    }
    47  -  }
    48  +  l: ~(#N)
    49   }
    50  -- out/eval --
    51  (struct){
    52    #A: (_){ _ }
    53    #N: (#struct){
    54      f: (#struct){
    55        j: (#struct){
    56          n: (string){ "hi" }
    57        }
    58      }
    59    }
    60    l: (#struct){
    61      f: (#struct){
    62        j: (#struct){
    63          n: (string){ "hi" }
    64        }
    65      }
    66    }
    67  }
    68  -- out/compile --
    69  --- in.cue
    70  {
    71    #A: _
    72    #N: (〈0;#A〉 & {
    73      f: {
    74        j: {
    75          n: "hi"
    76        }
    77      }
    78    })
    79    l: 〈0;#N〉
    80  }