1-- in.cue --
2a0: {
3 l: ["a", ...]
4 l: ["a", "b", ...]
5}
6a1: {
7 l: [...]
8 l: ["a", ...]
9 l: ["a", "b", ...]
10}
11a2: {
12 l: [...]
13 l: ["a", ...]
14 l: ["a", "b", ...]
15 l: {}
16}
17a3: {
18 l: [...]
19 l: ["a", ...]
20 l: ["a", "b", ...]
21 l: {_}
22}
23a4: {
24 l: [...]
25 l: ["a", ...]
26 l: ["a", "b", ...]
27 l: {_, #foo: 1}
28 l: {_, @decl(1)}
29}
30-- out/definition --
31a0: {
32 l: ["a", ...] & ["a", "b", ...]
33}
34a1: {
35 l: [...] & ["a", ...] & ["a", "b", ...]
36}
37a2: {
38 l: [...] & ["a", ...] & ["a", "b", ...] & {}
39}
40a3: {
41 l: [...] & ["a", ...] & ["a", "b", ...] & {
42 _
43 }
44}
45a4: {
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 --
76== Simplified
77_|_ // a2.l: conflicting values ["a","b",...] and {} (mismatched types list and struct)
78== Raw
79_|_ // a2.l: conflicting values ["a","b",...] and {} (mismatched types list and struct)
80== Final
81_|_ // a2.l: conflicting values ["a","b",...] 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 ["a","b",...] 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 ["a","b",...] and {} (mismatched types list and struct)
View as plain text