1-- in.cue --
2merge: and([1, 1])
3
4// ensure definitions along embedded scalars are preserved.
5embed: and([{2, #x: 1}, {2, #x: 2}])
6-- out/eval/stats --
7Leaks: 2
8Freed: 4
9Reused: 1
10Allocs: 5
11Retain: 2
12
13Unifications: 6
14Conjuncts: 13
15Disjuncts: 6
16-- out/eval --
17Errors:
18embed.#x: conflicting values 2 and 1:
19 ./in.cue:4:21
20 ./in.cue:4:33
21
22Result:
23(_|_){
24 // [eval]
25 merge: (int){ 1 }
26 embed: (_|_){
27 // [eval]
28 #x: (_|_){
29 // [eval] embed.#x: conflicting values 2 and 1:
30 // ./in.cue:4:21
31 // ./in.cue:4:33
32 }
33 }
34}
35-- out/compile --
36--- in.cue
37{
38 merge: and([
39 1,
40 1,
41 ])
42 embed: and([
43 {
44 2
45 #x: 1
46 },
47 {
48 2
49 #x: 2
50 },
51 ])
52}
View as plain text