1-- stats.txt --
2Leaks: 0
3Freed: 25
4Reused: 15
5Allocs: 10
6Retain: 1
7
8Unifications: 15
9Conjuncts: 30
10Disjuncts: 26
11
12-- in.cue --
13sameValues: SmustBeF: {
14 T: string | F
15 F: x: T
16 S: F
17}
18
19sameValues: CmustBeA: {
20 A: x: [ string | A ]
21 C: A
22}
23-- out/compile --
24--- in.cue
25{
26 sameValues: {
27 SmustBeF: {
28 T: (string|〈0;F〉)
29 F: {
30 x: 〈1;T〉
31 }
32 S: 〈0;F〉
33 }
34 }
35 sameValues: {
36 CmustBeA: {
37 A: {
38 x: [
39 (string|〈2;A〉),
40 ]
41 }
42 C: 〈0;A〉
43 }
44 }
45}
46-- out/eval/stats --
47Leaks: 0
48Freed: 25
49Reused: 15
50Allocs: 10
51Retain: 1
52
53Unifications: 15
54Conjuncts: 30
55Disjuncts: 26
56-- out/eval --
57(struct){
58 sameValues: (struct){
59 SmustBeF: (struct){
60 T: (string){ string }
61 F: (struct){
62 x: (string){ string }
63 }
64 S: (struct){
65 x: (string){ string }
66 }
67 }
68 CmustBeA: (struct){
69 A: (struct){
70 x: (#list){
71 0: (string){ string }
72 }
73 }
74 C: (struct){
75 x: (#list){
76 0: (string){ string }
77 }
78 }
79 }
80 }
81}
View as plain text