1#name: detect conflicting value
2#evalFull
3-- in.cue --
4a: 8000.9
5a: 7080 | int
6-- out/def --
7a: _|_ // conflicting values 8000.9 and int (mismatched types float and int)
8-- out/legacy-debug --
9<0>{a: _|_((8000.9 & (int | int)):conflicting values 8000.9 and int (mismatched types float and int))}
10-- out/compile --
11--- in.cue
12{
13 a: 8000.9
14 a: (7080|int)
15}
16-- out/eval/stats --
17Leaks: 0
18Freed: 4
19Reused: 1
20Allocs: 3
21Retain: 0
22
23Unifications: 2
24Conjuncts: 5
25Disjuncts: 4
26-- out/eval --
27Errors:
28a: 2 errors in empty disjunction:
29a: conflicting values 8000.9 and 7080 (mismatched types float and int):
30 ./in.cue:1:4
31 ./in.cue:2:4
32a: conflicting values 8000.9 and int (mismatched types float and int):
33 ./in.cue:1:4
34 ./in.cue:2:11
35
36Result:
37(_|_){
38 // [eval]
39 a: (_|_){
40 // [eval] a: 2 errors in empty disjunction:
41 // a: conflicting values 8000.9 and 7080 (mismatched types float and int):
42 // ./in.cue:1:4
43 // ./in.cue:2:4
44 // a: conflicting values 8000.9 and int (mismatched types float and int):
45 // ./in.cue:1:4
46 // ./in.cue:2:11
47 }
48}
View as plain text