1-- in.cue --
2x: string
3X=(x): 4
4Y=(x): 6
5Z=("y"): int
6a: {
7 labelX: X
8 labelY: Y
9 labelZ: Z
10}
11E=["cue"]: name: E | null
12
13q: "q"
14q1: "q1"
15r: "r"
16r1: "r1"
17("s-"+q)?: 1
18("s-"+r)!: 2
19("s-"+q1)?: (r1)!: 3
20-- out/definition --
21x: string
22X=(x): 4
23Y=(x): 6
24Z="y": int
25a: {
26 labelX: X
27 labelY: Y
28 labelZ: Z
29}
30E=["cue"]: {
31 name: E | null
32}
33q: "q"
34q1: "q1"
35r: "r"
36r1: "r1"
37"s-q"?: 1
38"s-r"!: 2
39"s-q1"?: {
40 (r1)!: 3
41}
42-- out/doc --
43[]
44[x]
45[a]
46[a labelX]
47[a labelY]
48[a labelZ]
49[q]
50[q1]
51[r]
52[r1]
53[_]
54[y]
55["s-q"]
56["s-r"]
57["s-q1"]
58["s-q1" r1]
59-- out/value --
60== Simplified
61_|_ // invalid non-ground value string (must be concrete string) (and 1 more errors)
62== Raw
63_|_ // invalid non-ground value string (must be concrete string) (and 1 more errors)
64== Final
65_|_ // invalid non-ground value string (must be concrete string) (and 1 more errors)
66== All
67_|_ // invalid non-ground value string (must be concrete string) (and 1 more errors)
68== Eval
69_|_ // invalid non-ground value string (must be concrete string) (and 1 more errors)
View as plain text