...
1// Triggering recomputation of disjunctions on each branch results
2// in exponential run time. Ensure this does not happen.
3-- stats.txt --
4Leaks: 0
5Freed: 82
6Reused: 74
7Allocs: 8
8Retain: 0
9
10Unifications: 4
11Conjuncts: 143
12Disjuncts: 82
13
14-- in.cue --
15x: a0: {}
16x: [_]: f: *1 | int
17x: [_]: f: *1 | int
18x: [_]: f: *1 | int
19x: [_]: f: *1 | int
20x: [_]: f: *1 | int
21x: [_]: f: *1 | int
22x: [_]: f: *1 | int
23x: [_]: f: *1 | int
24x: [_]: f: *1 | int
25x: [_]: f: *1 | int
26x: [_]: f: *1 | int
27x: [_]: f: *1 | int
28x: [_]: f: *1 | int
29x: [_]: f: *1 | int
30x: [_]: f: *1 | int
31x: [_]: f: *1 | int
32x: [_]: f: *1 | int
33x: [_]: f: *1 | int
34x: [_]: f: *1 | int
35x: [_]: f: *1 | int
36
37x: a0: {}
38-- out/compile --
39--- in.cue
40{
41 x: {
42 a0: {}
43 }
44 x: {
45 [_]: {
46 f: (*1|int)
47 }
48 }
49 x: {
50 [_]: {
51 f: (*1|int)
52 }
53 }
54 x: {
55 [_]: {
56 f: (*1|int)
57 }
58 }
59 x: {
60 [_]: {
61 f: (*1|int)
62 }
63 }
64 x: {
65 [_]: {
66 f: (*1|int)
67 }
68 }
69 x: {
70 [_]: {
71 f: (*1|int)
72 }
73 }
74 x: {
75 [_]: {
76 f: (*1|int)
77 }
78 }
79 x: {
80 [_]: {
81 f: (*1|int)
82 }
83 }
84 x: {
85 [_]: {
86 f: (*1|int)
87 }
88 }
89 x: {
90 [_]: {
91 f: (*1|int)
92 }
93 }
94 x: {
95 [_]: {
96 f: (*1|int)
97 }
98 }
99 x: {
100 [_]: {
101 f: (*1|int)
102 }
103 }
104 x: {
105 [_]: {
106 f: (*1|int)
107 }
108 }
109 x: {
110 [_]: {
111 f: (*1|int)
112 }
113 }
114 x: {
115 [_]: {
116 f: (*1|int)
117 }
118 }
119 x: {
120 [_]: {
121 f: (*1|int)
122 }
123 }
124 x: {
125 [_]: {
126 f: (*1|int)
127 }
128 }
129 x: {
130 [_]: {
131 f: (*1|int)
132 }
133 }
134 x: {
135 [_]: {
136 f: (*1|int)
137 }
138 }
139 x: {
140 [_]: {
141 f: (*1|int)
142 }
143 }
144 x: {
145 a0: {}
146 }
147}
148-- out/eval/stats --
149Leaks: 0
150Freed: 82
151Reused: 74
152Allocs: 8
153Retain: 0
154
155Unifications: 4
156Conjuncts: 143
157Disjuncts: 82
158-- out/eval --
159(struct){
160 x: (struct){
161 a0: (struct){
162 f: (int){ |(*(int){ 1 }, (int){ int }) }
163 }
164 }
165}
View as plain text