1-- in.cue --
2out: {
3 instance
4}
5instance: #Type & {
6 alpha: bravo: charlie: true
7}
8#Type: #Root & {
9 alpha?: bravo?: charlie?: bool
10}
11#Root: {...}
12-- out/eval/stats --
13Leaks: 0
14Freed: 14
15Reused: 7
16Allocs: 7
17Retain: 3
18
19Unifications: 14
20Conjuncts: 35
21Disjuncts: 17
22-- out/eval --
23(struct){
24 out: (#struct){
25 alpha: (#struct){
26 bravo: (#struct){
27 charlie: (bool){ true }
28 }
29 }
30 }
31 instance: (#struct){
32 alpha: (#struct){
33 bravo: (#struct){
34 charlie: (bool){ true }
35 }
36 }
37 }
38 #Type: (#struct){
39 alpha?: (#struct){
40 bravo?: (#struct){
41 charlie?: (bool){ bool }
42 }
43 }
44 }
45 #Root: (#struct){
46 }
47}
48-- out/compile --
49--- in.cue
50{
51 out: {
52 〈1;instance〉
53 }
54 instance: (〈0;#Type〉 & {
55 alpha: {
56 bravo: {
57 charlie: true
58 }
59 }
60 })
61 #Type: (〈0;#Root〉 & {
62 alpha?: {
63 bravo?: {
64 charlie?: bool
65 }
66 }
67 })
68 #Root: {
69 ...
70 }
71}
View as plain text