cuelang.org/go@v0.10.1/cue/testdata/basicrewrite/014_disjunctions.txtar (about)

     1  # DO NOT EDIT; generated by go run testdata/gen.go
     2  
     3  #name: disjunctions
     4  #evalPartial
     5  -- in.cue --
     6  o1:  1 | 2 | 3
     7  o2:  (1 | 2 | 3) & 1
     8  o3:  2 & (1 | *2 | 3)
     9  o4:  (1 | *2 | 3) & (1 | 2 | *3)
    10  o5:  (1 | *2 | 3) & (3 | *2 | 1)
    11  o6:  (1 | 2 | 3) & (3 | 1 | 2)
    12  o7:  (1 | 2 | 3) & (2 | 3)
    13  o8:  (1 | 2 | 3) & (3 | 2)
    14  o9:  (2 | 3) & (1 | 2 | 3)
    15  o10: (3 | 2) & (1 | *2 | 3)
    16  
    17  m1: (1 | (*2 | 3)) & (>=2 & <=3)
    18  m2: (1 | (*2 | 3)) & (2 | 3)
    19  m3: (*1 | *(*2 | 3)) & (2 | 3)
    20  m4: (2 | 3) & (*2 | 3)
    21  m5: (*2 | 3) & (2 | 3)
    22  
    23  // (*2 | 3) & (2 | 3)
    24  // (2 | 3) & (*2 | 3)
    25  // 2&(*2 | 3) | 3&(*2 | 3)
    26  // (*1 | (*2 | 3)) & (2 | 3)
    27  // *1& (2 | 3) | (*2 | 3)&(2 | 3)
    28  // *2&(2 | 3) | 3&(2 | 3)
    29  
    30  // (2 | 3)&(*1 | (*2 | 3))
    31  // 2&(*1 | (*2 | 3)) | 3&(*1 | (*2 | 3))
    32  // *1&2 | (*2 | 3)&2 | *1&3 | (*2 | 3)&3
    33  // (*2 | 3)&2 | (*2 | 3)&3
    34  // *2 | 3
    35  
    36  // All errors are treated the same as per the unification model.
    37  i1: [1, 2][3] | "c"
    38  -- out/def --
    39  o1:  1 | 2 | 3
    40  o2:  1
    41  o3:  2
    42  o4:  1 | 2 | 3 | *_|_
    43  o5:  1 | *2 | 3
    44  o6:  1 | 2 | 3
    45  o7:  2 | 3
    46  o8:  2 | 3
    47  o9:  2 | 3
    48  o10: 3 | *2
    49  m1:  *2 | 3
    50  m2:  *2 | 3
    51  m3:  *2 | 3
    52  m4:  *2 | 3
    53  m5:  *2 | 3
    54  
    55  // All errors are treated the same as per the unification model.
    56  i1: "c"
    57  -- out/legacy-debug --
    58  <0>{o1: (1 | 2 | 3), o2: 1, o3: 2, o4: (1 | 2 | 3 | *_|_), o5: (1 | *2 | 3), o6: (1 | 2 | 3), o7: (2 | 3), o8: (2 | 3), o9: (2 | 3), o10: (3 | *2), m1: (*2 | 3), m2: (*2 | 3), m3: (*2 | 3), m4: (*2 | 3), m5: (*2 | 3), i1: "c"}
    59  -- out/compile --
    60  --- in.cue
    61  {
    62    o1: (1|2|3)
    63    o2: ((1|2|3) & 1)
    64    o3: (2 & (1|*2|3))
    65    o4: ((1|*2|3) & (1|2|*3))
    66    o5: ((1|*2|3) & (3|*2|1))
    67    o6: ((1|2|3) & (3|1|2))
    68    o7: ((1|2|3) & (2|3))
    69    o8: ((1|2|3) & (3|2))
    70    o9: ((2|3) & (1|2|3))
    71    o10: ((3|2) & (1|*2|3))
    72    m1: ((1|(*2|3)) & (>=2 & <=3))
    73    m2: ((1|(*2|3)) & (2|3))
    74    m3: ((*1|*(*2|3)) & (2|3))
    75    m4: ((2|3) & (*2|3))
    76    m5: ((*2|3) & (2|3))
    77    i1: ([
    78      1,
    79      2,
    80    ][3]|"c")
    81  }
    82  -- out/eval/stats --
    83  Leaks:  1
    84  Freed:  134
    85  Reused: 126
    86  Allocs: 9
    87  Retain: 1
    88  
    89  Unifications: 18
    90  Conjuncts:    150
    91  Disjuncts:    135
    92  -- out/eval --
    93  (struct){
    94    o1: (int){ |((int){ 1 }, (int){ 2 }, (int){ 3 }) }
    95    o2: (int){ 1 }
    96    o3: (int){ 2 }
    97    o4: (int){ |((int){ 1 }, (int){ 2 }, (int){ 3 }) }
    98    o5: (int){ |(*(int){ 2 }, (int){ 1 }, (int){ 3 }) }
    99    o6: (int){ |((int){ 1 }, (int){ 2 }, (int){ 3 }) }
   100    o7: (int){ |((int){ 2 }, (int){ 3 }) }
   101    o8: (int){ |((int){ 2 }, (int){ 3 }) }
   102    o9: (int){ |((int){ 2 }, (int){ 3 }) }
   103    o10: (int){ |(*(int){ 2 }, (int){ 3 }) }
   104    m1: (int){ |(*(int){ 2 }, (int){ 3 }) }
   105    m2: (int){ |(*(int){ 2 }, (int){ 3 }) }
   106    m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
   107    m4: (int){ |(*(int){ 2 }, (int){ 3 }) }
   108    m5: (int){ |(*(int){ 2 }, (int){ 3 }) }
   109    i1: (string){ "c" }
   110  }