1# DO NOT EDIT; generated by go run testdata/gen.go
2#
3#name: comparison against bottom
4#evalFull
5-- in.cue --
6a: _|_ == _|_
7b: err == 1 & 2 // not a literal error, so not allowed
8c: err == _|_ // allowed
9d: err != _|_ // allowed
10e: err != 1 & 3
11// z: err == err // TODO: should infer to be true?
12f: ({a: 1} & {a: 2}) == _|_
13g: ({a: 1} & {b: 2}) == _|_
14h: _|_ == ({a: 1} & {a: 2})
15i: _|_ == ({a: 1} & {b: 2})
16
17err: 1 & 2
18-- out/def --
19a: true
20b: _|_ // conflicting values 1 and 2
21err: _|_ // conflicting values 1 and 2
22c: true
23d: false
24e: _|_ // conflicting values 1 and 2
25// z: err == err // TODO: should infer to be true?
26f: true
27g: false
28h: true
29i: false
30-- out/legacy-debug --
31<0>{a: true, b: _|_((1 & 2):conflicting values 1 and 2), err: _|_((1 & 2):conflicting values 1 and 2), c: true, d: false, e: _|_((1 & 2):conflicting values 1 and 2), f: true, g: false, h: true, i: false}
32-- out/compile --
33--- in.cue
34{
35 a: (_|_(explicit error (_|_ literal) in source) == _|_(explicit error (_|_ literal) in source))
36 b: ((〈0;err〉 == 1) & 2)
37 c: (〈0;err〉 == _|_(explicit error (_|_ literal) in source))
38 d: (〈0;err〉 != _|_(explicit error (_|_ literal) in source))
39 e: ((〈0;err〉 != 1) & 3)
40 f: (({
41 a: 1
42 } & {
43 a: 2
44 }) == _|_(explicit error (_|_ literal) in source))
45 g: (({
46 a: 1
47 } & {
48 b: 2
49 }) == _|_(explicit error (_|_ literal) in source))
50 h: (_|_(explicit error (_|_ literal) in source) == ({
51 a: 1
52 } & {
53 a: 2
54 }))
55 i: (_|_(explicit error (_|_ literal) in source) == ({
56 a: 1
57 } & {
58 b: 2
59 }))
60 err: (1 & 2)
61}
62-- out/eval/stats --
63Leaks: 0
64Freed: 21
65Reused: 16
66Allocs: 5
67Retain: 4
68
69Unifications: 21
70Conjuncts: 28
71Disjuncts: 21
72-- out/eval --
73Errors:
74err: conflicting values 2 and 1:
75 ./in.cue:12:6
76 ./in.cue:12:10
77
78Result:
79(_|_){
80 // [eval]
81 a: (bool){ true }
82 b: (_|_){
83 // [eval] err: conflicting values 2 and 1:
84 // ./in.cue:12:6
85 // ./in.cue:12:10
86 }
87 c: (bool){ true }
88 d: (bool){ false }
89 e: (_|_){
90 // [eval] err: conflicting values 2 and 1:
91 // ./in.cue:12:6
92 // ./in.cue:12:10
93 }
94 f: (bool){ true }
95 g: (bool){ false }
96 h: (bool){ true }
97 i: (bool){ false }
98 err: (_|_){
99 // [eval] err: conflicting values 2 and 1:
100 // ./in.cue:12:6
101 // ./in.cue:12:10
102 }
103}
View as plain text