cuelang.org/go@v0.13.0/cue/testdata/benchmarks/inlinedisjunction.txtar (about)

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