github.com/joomcode/cue@v0.4.4-0.20221111115225-539fe3512047/cue/testdata/benchmarks/disjunction.txtar (about)

     1  // Triggering recomputation of disjunctions on each branch results
     2  // in exponential run time. Ensure this does not happen.
     3  
     4  -- in.cue --
     5  x: a0: {}
     6  x: [_]: f: *1 | int
     7  x: [_]: f: *1 | int
     8  x: [_]: f: *1 | int
     9  x: [_]: f: *1 | int
    10  x: [_]: f: *1 | int
    11  x: [_]: f: *1 | int
    12  x: [_]: f: *1 | int
    13  x: [_]: f: *1 | int
    14  x: [_]: f: *1 | int
    15  x: [_]: f: *1 | int
    16  x: [_]: f: *1 | int
    17  x: [_]: f: *1 | int
    18  x: [_]: f: *1 | int
    19  x: [_]: f: *1 | int
    20  x: [_]: f: *1 | int
    21  x: [_]: f: *1 | int
    22  x: [_]: f: *1 | int
    23  x: [_]: f: *1 | int
    24  x: [_]: f: *1 | int
    25  x: [_]: f: *1 | int
    26  
    27  x: a0: {}
    28  -- out/compile --
    29  --- in.cue
    30  {
    31    x: {
    32      a0: {}
    33    }
    34    x: {
    35      [_]: {
    36        f: (*1|int)
    37      }
    38    }
    39    x: {
    40      [_]: {
    41        f: (*1|int)
    42      }
    43    }
    44    x: {
    45      [_]: {
    46        f: (*1|int)
    47      }
    48    }
    49    x: {
    50      [_]: {
    51        f: (*1|int)
    52      }
    53    }
    54    x: {
    55      [_]: {
    56        f: (*1|int)
    57      }
    58    }
    59    x: {
    60      [_]: {
    61        f: (*1|int)
    62      }
    63    }
    64    x: {
    65      [_]: {
    66        f: (*1|int)
    67      }
    68    }
    69    x: {
    70      [_]: {
    71        f: (*1|int)
    72      }
    73    }
    74    x: {
    75      [_]: {
    76        f: (*1|int)
    77      }
    78    }
    79    x: {
    80      [_]: {
    81        f: (*1|int)
    82      }
    83    }
    84    x: {
    85      [_]: {
    86        f: (*1|int)
    87      }
    88    }
    89    x: {
    90      [_]: {
    91        f: (*1|int)
    92      }
    93    }
    94    x: {
    95      [_]: {
    96        f: (*1|int)
    97      }
    98    }
    99    x: {
   100      [_]: {
   101        f: (*1|int)
   102      }
   103    }
   104    x: {
   105      [_]: {
   106        f: (*1|int)
   107      }
   108    }
   109    x: {
   110      [_]: {
   111        f: (*1|int)
   112      }
   113    }
   114    x: {
   115      [_]: {
   116        f: (*1|int)
   117      }
   118    }
   119    x: {
   120      [_]: {
   121        f: (*1|int)
   122      }
   123    }
   124    x: {
   125      [_]: {
   126        f: (*1|int)
   127      }
   128    }
   129    x: {
   130      [_]: {
   131        f: (*1|int)
   132      }
   133    }
   134    x: {
   135      a0: {}
   136    }
   137  }
   138  -- out/eval --
   139  (struct){
   140    x: (struct){
   141      a0: (struct){
   142        f: (int){ |(*(int){ 1 }, (int){ int }) }
   143      }
   144    }
   145  }