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
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
|
-- in.cue --
domToSub: {
foo: [string]: a: *1 | int
foo: b: a: 1
}
// Issue #759
subToDom: {
#maybeString: {ip?: string}
something: ip: *"default" | string
something: #maybeString
}
// references to definitions of a disjunction should be resolved and counted
// as dominator nodes.
resolveDefaults: {
#monitor: {
kind: "a"
} | {
kind: "b"
}
monitor: #monitor
monitor: kind: "a"
}
issue781: {
#monitor_check: {
check_name: string
check_interval?: string
}
#monitor_check: {
check_type: "nginx_config"
} | {
check_type: "docker_running"
vars: {
container_name: string
}
}
monitor: {
checks: [...#monitor_check]
}
monitor: {
checks: [{
check_type: "nginx_config"
check_name: "nginx_config"
}]
}
}
// Issue #801
// Here the concrete value selects the default from a dominator, after which
// the dominator becomes an exact match. The exact match should not allow it
// to be erased, as the exact match is only there because subordinate value
// was first used to select the default.
dontEraseDefaultSelection: {
rule: _#Rule & {
verbs: ["c"]
}
_#Rule: {
verbs: *["a", "b"] | ["c"]
}
}
-- out/trim --
== in.cue
domToSub: {
foo: [string]: a: *1 | int
foo: b: {}
}
// Issue #759
subToDom: {
#maybeString: {ip?: string}
something: ip: *"default" | string
something: #maybeString
}
// references to definitions of a disjunction should be resolved and counted
// as dominator nodes.
resolveDefaults: {
#monitor: {
kind: "a"
} | {
kind: "b"
}
monitor: #monitor
monitor: kind: "a"
}
issue781: {
#monitor_check: {
check_name: string
check_interval?: string
}
#monitor_check: {
check_type: "nginx_config"
} | {
check_type: "docker_running"
vars: {
container_name: string
}
}
monitor: {
checks: [...#monitor_check]
}
monitor: {
checks: [{
check_type: "nginx_config"
check_name: "nginx_config"
}]
}
}
// Issue #801
// Here the concrete value selects the default from a dominator, after which
// the dominator becomes an exact match. The exact match should not allow it
// to be erased, as the exact match is only there because subordinate value
// was first used to select the default.
dontEraseDefaultSelection: {
rule: _#Rule & {
verbs: ["c"]
}
_#Rule: {
verbs: *["a", "b"] | ["c"]
}
}
|
