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

     1  raw: true
     2  eval: true
     3  noOpt: true
     4  -- in.cue --
     5  {
     6  	#And: {
     7  		#: "Fn::And": [...(3 | #And)]
     8  	}
     9  	#Ands: #And & {
    10  		#: "Fn::And": [_]
    11  	}
    12  }
    13  -- out/def --
    14  #And: {
    15  	#: {
    16  		"Fn::And": [...3 | #And]
    17  	}
    18  }
    19  #Ands: #And & {
    20  	#: {
    21  		"Fn::And": [_]
    22  	}
    23  }
    24  -- out/export --
    25  
    26  -- out/yaml --
    27  {}
    28  -- out/json --
    29  {}
    30  -- out/compile --
    31  --- in.cue
    32  {
    33    {
    34      #And: {
    35        #: {
    36          "Fn::And": [
    37            ...(3|〈3;#And〉),
    38          ]
    39        }
    40      }
    41      #Ands: (〈0;#And〉 & {
    42        #: {
    43          "Fn::And": [
    44            _,
    45          ]
    46        }
    47      })
    48    }
    49  }
    50  -- out/evalalpha/stats --
    51  Leaks:  36
    52  Freed:  0
    53  Reused: 0
    54  Allocs: 36
    55  Retain: 0
    56  
    57  Unifications: 22
    58  Conjuncts:    46
    59  Disjuncts:    14
    60  
    61  CloseIDElems: 29
    62  NumCloseIDs: 6
    63  -- diff/-out/evalalpha/stats<==>+out/eval/stats --
    64  diff old new
    65  --- old
    66  +++ new
    67  @@ -1,9 +1,12 @@
    68  -Leaks:  0
    69  -Freed:  12
    70  -Reused: 3
    71  -Allocs: 9
    72  +Leaks:  36
    73  +Freed:  0
    74  +Reused: 0
    75  +Allocs: 36
    76   Retain: 0
    77   
    78  -Unifications: 10
    79  -Conjuncts:    19
    80  -Disjuncts:    12
    81  +Unifications: 22
    82  +Conjuncts:    46
    83  +Disjuncts:    14
    84  +
    85  +CloseIDElems: 29
    86  +NumCloseIDs: 6
    87  -- out/eval/stats --
    88  Leaks:  0
    89  Freed:  12
    90  Reused: 3
    91  Allocs: 9
    92  Retain: 0
    93  
    94  Unifications: 10
    95  Conjuncts:    19
    96  Disjuncts:    12
    97  -- out/eval --
    98  (struct){
    99    #And: (#struct){
   100      #: (#struct){
   101        "Fn::And": (list){
   102        }
   103      }
   104    }
   105    #Ands: (#struct){
   106      #: (#struct){
   107        "Fn::And": (#list){
   108          0: ((int|struct)){ |((int){ 3 }, (#struct){
   109              #: (#struct){
   110                "Fn::And": (list){
   111                }
   112              }
   113            }) }
   114        }
   115      }
   116    }
   117  }