1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
|
-- in.cue --
bulkToSelf: {
a: {
foo: [string]: int
foo: bar: "3" // error
}
}
intField: {
(2): string
}
-- out/compile --
--- in.cue
{
bulkToSelf: {
a: {
foo: {
[string]: int
}
foo: {
bar: "3"
}
}
}
intField: {
2: string
}
}
-- out/eval/stats --
Leaks: 0
Freed: 7
Reused: 2
Allocs: 5
Retain: 0
Unifications: 7
Conjuncts: 9
Disjuncts: 7
-- out/evalalpha --
Errors:
bulkToSelf.a.foo.bar: conflicting values "3" and int (mismatched types string and int):
./in.cue:3:18
./in.cue:4:18
intField: integer fields not supported:
./in.cue:8:3
Result:
(_|_){
// [eval]
bulkToSelf: (_|_){
// [eval]
a: (_|_){
// [eval]
foo: (_|_){
// [eval]
bar: (_|_){
// [eval] bulkToSelf.a.foo.bar: conflicting values "3" and int (mismatched types string and int):
// ./in.cue:3:18
// ./in.cue:4:18
}
}
}
}
intField: (_|_){
// [eval] intField: integer fields not supported:
// ./in.cue:8:3
}
}
-- diff/-out/evalalpha<==>+out/eval --
diff old new
--- old
+++ new
@@ -25,6 +25,5 @@
intField: (_|_){
// [eval] intField: integer fields not supported:
// ./in.cue:8:3
- 2: (string){ string }
}
}
-- diff/explanation --
Not including illegal field. Seems fine.
-- out/eval --
Errors:
bulkToSelf.a.foo.bar: conflicting values "3" and int (mismatched types string and int):
./in.cue:3:18
./in.cue:4:18
intField: integer fields not supported:
./in.cue:8:3
Result:
(_|_){
// [eval]
bulkToSelf: (_|_){
// [eval]
a: (_|_){
// [eval]
foo: (_|_){
// [eval]
bar: (_|_){
// [eval] bulkToSelf.a.foo.bar: conflicting values "3" and int (mismatched types string and int):
// ./in.cue:3:18
// ./in.cue:4:18
}
}
}
}
intField: (_|_){
// [eval] intField: integer fields not supported:
// ./in.cue:8:3
2: (string){ string }
}
}
|
