-- in.cue -- | |
#E: { | |
c: int | |
} | |
#A: { | |
b: int | |
q: { | |
#E | |
d: int | |
} | |
} | |
a: #A & { | |
b: 3 | |
q: { | |
c: 2 | |
e: 43 | |
} | |
} | |
-- out/eval -- | |
Errors: | |
a.q: field `e` not allowed: | |
./in.cue:1:5 | |
./in.cue:6:8 | |
./in.cue:7:9 | |
./in.cue:11:4 | |
./in.cue:15:9 | |
Result: | |
(_|_){ | |
// [eval] | |
#E: (#struct){ | |
c: (int){ int } | |
} | |
#A: (#struct){ | |
b: (int){ int } | |
q: (#struct){ | |
c: (int){ int } | |
d: (int){ int } | |
} | |
} | |
a: (_|_){ | |
// [eval] | |
b: (int){ 3 } | |
q: (_|_){ | |
// [eval] | |
c: (int){ 2 } | |
d: (int){ int } | |
e: (_|_){ | |
// [eval] a.q: field `e` not allowed: | |
// ./in.cue:1:5 | |
// ./in.cue:6:8 | |
// ./in.cue:7:9 | |
// ./in.cue:11:4 | |
// ./in.cue:15:9 | |
} | |
} | |
} | |
} | |
-- out/compile -- | |
--- in.cue | |
{ | |
#E: { | |
c: int | |
} | |
#A: { | |
b: int | |
q: { | |
〈2;#E〉 | |
d: int | |
} | |
} | |
a: (〈0;#A〉 & { | |
b: 3 | |
q: { | |
c: 2 | |
e: 43 | |
} | |
}) | |
} |