# DO NOT EDIT; generated by go run testdata/gen.go | |
# | |
#name: builtins | |
#evalPartial | |
-- in.cue -- | |
a1: { | |
a: and([b, c]) | |
b: =~"oo" | |
c: =~"fo" | |
} | |
a2: a1 & {a: "foo"} | |
a3: a1 & {a: "bar"} | |
o1: { | |
a: or([b, c]) | |
b: string | |
c: "bar" | |
} | |
o2: o1 & {a: "foo"} | |
o3: o1 & {a: "foo", b: "baz"} | |
-- out/def -- | |
a1: { | |
a: =~"oo" & =~"fo" | |
b: =~"oo" | |
c: =~"fo" | |
} | |
a2: a1 & { | |
a: "foo" | |
} | |
a3: a1 & { | |
a: "bar" | |
} | |
o1: { | |
a: string | |
b: string | |
c: "bar" | |
} | |
o2: o1 & { | |
a: "foo" | |
} | |
o3: o1 & { | |
a: "foo" | |
b: "baz" | |
} | |
-- out/legacy-debug -- | |
<0>{a1: <1>{a: (=~"oo" & =~"fo"), b: =~"oo", c: =~"fo"}, a2: <2>{a: "foo", b: =~"oo", c: =~"fo"}, a3: <3>{a: _|_((=~"oo" & "bar"):invalid value "bar" (does not match =~"oo")), b: =~"oo", c: =~"fo"}, o1: <4>{a: string, b: string, c: "bar"}, o2: <5>{a: "foo", b: string, c: "bar"}, o3: <6>{a: _|_(("baz" & "foo"):empty disjunction: conflicting values "baz" and "foo";("bar" & "foo"):empty disjunction: conflicting values "bar" and "foo"), b: "baz", c: "bar"}} | |
-- out/eval -- | |
Errors: | |
invalid value *adt.Vertex (out of bound *adt.BoundValue) | |
Result: | |
(_|_){ | |
// [eval] | |
a1: (struct){ | |
a: (string){ &(=~"oo", =~"fo") } | |
b: (string){ =~"oo" } | |
c: (string){ =~"fo" } | |
} | |
a2: (struct){ | |
a: (string){ "foo" } | |
b: (string){ =~"oo" } | |
c: (string){ =~"fo" } | |
} | |
a3: (_|_){ | |
// [eval] | |
a: (_|_){ | |
// [eval] invalid value *adt.Vertex (out of bound *adt.BoundValue) | |
} | |
b: (string){ =~"oo" } | |
c: (string){ =~"fo" } | |
} | |
o1: (struct){ | |
a: (string){ |((string){ string }, (string){ "bar" }) } | |
b: (string){ string } | |
c: (string){ "bar" } | |
} | |
o2: (struct){ | |
a: (string){ "foo" } | |
b: (string){ string } | |
c: (string){ "bar" } | |
} | |
o3: (struct){ | |
a: (_|_){ | |
// [incomplete] empty disjunction | |
} | |
b: (string){ "baz" } | |
c: (string){ "bar" } | |
} | |
} |