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

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