cuelang.org/go@v0.10.1/internal/core/export/testdata/main/issue1284.txtar (about)

     1  -- in.cue --
     2  a0: {
     3  	l: ["a", ...]
     4  	l: ["a", "b", ...]
     5  }
     6  a1: {
     7  	l: [...]
     8  	l: ["a", ...]
     9  	l: ["a", "b", ...]
    10  }
    11  a2: {
    12  	l: [...]
    13  	l: ["a", ...]
    14  	l: ["a", "b", ...]
    15  	l: {}
    16  }
    17  a3: {
    18  	l: [...]
    19  	l: ["a", ...]
    20  	l: ["a", "b", ...]
    21  	l: {_}
    22  }
    23  a4: {
    24  	l: [...]
    25  	l: ["a", ...]
    26  	l: ["a", "b", ...]
    27  	l: {_, #foo: 1}
    28  	l: {_, @decl(1)}
    29  }
    30  -- out/definition --
    31  a0: {
    32  	l: ["a", ...] & ["a", "b", ...]
    33  }
    34  a1: {
    35  	l: [...] & ["a", ...] & ["a", "b", ...]
    36  }
    37  a2: {
    38  	l: [...] & ["a", ...] & ["a", "b", ...] & {}
    39  }
    40  a3: {
    41  	l: [...] & ["a", ...] & ["a", "b", ...] & {
    42  		_
    43  	}
    44  }
    45  a4: {
    46  	l: [...] & ["a", ...] & ["a", "b", ...] & {
    47  		@decl(1)
    48  		_
    49  		#foo: 1
    50  	}
    51  }
    52  -- out/doc --
    53  []
    54  [a0]
    55  [a0 l]
    56  [a0 l 0]
    57  [a0 l 1]
    58  [a1]
    59  [a1 l]
    60  [a1 l 0]
    61  [a1 l 1]
    62  [a2]
    63  [a2 l]
    64  [a2 l 0]
    65  [a2 l 1]
    66  [a3]
    67  [a3 l]
    68  [a3 l 0]
    69  [a3 l 1]
    70  [a4]
    71  [a4 l]
    72  [a4 l #foo]
    73  [a4 l 0]
    74  [a4 l 1]
    75  -- out/value-v3 --
    76  == Simplified
    77  _|_ // a2.l: conflicting values [...] and {} (mismatched types list and struct)
    78  == Raw
    79  _|_ // a2.l: conflicting values [...] and {} (mismatched types list and struct)
    80  == Final
    81  _|_ // a2.l: conflicting values [...] and {} (mismatched types list and struct)
    82  == All
    83  {
    84  	a0: {
    85  		l: ["a", "b", ...]
    86  	}
    87  	a1: {
    88  		l: ["a", "b", ...]
    89  	}
    90  	a2: {
    91  		l: _|_ // a2.l: conflicting values [...] and {} (mismatched types list and struct)
    92  	}
    93  	a3: {
    94  		l: ["a", "b", ...]
    95  	}
    96  	a4: {
    97  		l: {
    98  			@decl(1)
    99  			#foo: 1
   100  			["a", "b", ...]
   101  		}
   102  	}
   103  }
   104  == Eval
   105  _|_ // a2.l: conflicting values [...] and {} (mismatched types list and struct)
   106  -- diff/-out/value-v3<==>+out/value --
   107  diff old new
   108  --- old
   109  +++ new
   110  @@ -1,9 +1,9 @@
   111   == Simplified
   112  -_|_ // a2.l: conflicting values ["a","b",...] and {} (mismatched types list and struct)
   113  +_|_ // a2.l: conflicting values [...] and {} (mismatched types list and struct)
   114   == Raw
   115  -_|_ // a2.l: conflicting values ["a","b",...] and {} (mismatched types list and struct)
   116  +_|_ // a2.l: conflicting values [...] and {} (mismatched types list and struct)
   117   == Final
   118  -_|_ // a2.l: conflicting values ["a","b",...] and {} (mismatched types list and struct)
   119  +_|_ // a2.l: conflicting values [...] and {} (mismatched types list and struct)
   120   == All
   121   {
   122   	a0: {
   123  @@ -13,7 +13,7 @@
   124   		l: ["a", "b", ...]
   125   	}
   126   	a2: {
   127  -		l: _|_ // a2.l: conflicting values ["a","b",...] and {} (mismatched types list and struct)
   128  +		l: _|_ // a2.l: conflicting values [...] and {} (mismatched types list and struct)
   129   	}
   130   	a3: {
   131   		l: ["a", "b", ...]
   132  @@ -27,4 +27,4 @@
   133   	}
   134   }
   135   == Eval
   136  -_|_ // a2.l: conflicting values ["a","b",...] and {} (mismatched types list and struct)
   137  +_|_ // a2.l: conflicting values [...] and {} (mismatched types list and struct)
   138  -- diff/value/todo/p2 --
   139  Slightly changed error messages.
   140  -- out/value --
   141  == Simplified
   142  _|_ // a2.l: conflicting values ["a","b",...] and {} (mismatched types list and struct)
   143  == Raw
   144  _|_ // a2.l: conflicting values ["a","b",...] and {} (mismatched types list and struct)
   145  == Final
   146  _|_ // a2.l: conflicting values ["a","b",...] and {} (mismatched types list and struct)
   147  == All
   148  {
   149  	a0: {
   150  		l: ["a", "b", ...]
   151  	}
   152  	a1: {
   153  		l: ["a", "b", ...]
   154  	}
   155  	a2: {
   156  		l: _|_ // a2.l: conflicting values ["a","b",...] and {} (mismatched types list and struct)
   157  	}
   158  	a3: {
   159  		l: ["a", "b", ...]
   160  	}
   161  	a4: {
   162  		l: {
   163  			@decl(1)
   164  			#foo: 1
   165  			["a", "b", ...]
   166  		}
   167  	}
   168  }
   169  == Eval
   170  _|_ // a2.l: conflicting values ["a","b",...] and {} (mismatched types list and struct)