1-- in.cue --
2#size: 2
3#CellValue: 0 | 1 | 2 | 3
4cell: "0": "0": #CellValue
5cell: "0": "0": !=cell["0"]["1"]
6cell: "0": "0": !=cell["1"]["0"]
7cell: "0": "0": !=cell["1"]["1"]
8
9cell: "0": "1": #CellValue
10cell: "0": "1": !=cell["0"]["0"]
11cell: "0": "1": !=cell["1"]["0"]
12cell: "0": "1": !=cell["1"]["1"]
13
14cell: "1": "0": #CellValue
15cell: "1": "0": !=cell["0"]["0"]
16cell: "1": "0": !=cell["0"]["1"]
17cell: "1": "0": !=cell["1"]["1"]
18
19cell: "1": "1": #CellValue
20cell: "1": "1": !=cell["0"]["0"]
21cell: "1": "1": !=cell["0"]["1"]
22cell: "1": "1": !=cell["1"]["0"]
23
24cell: "0": "0": 0
25cell: "0": "1": 1
26cell: "1": "0": 2
27cell: "1": "1": 3
28
29cell2: a: 0 | 1
30cell2: a: !=cell2.b
31
32cell2: b: 0 | 1
33cell2: b: !=cell2.a
34
35cell2: a: _
36cell2: b: 1
37
38cell3: a: 0 | 1
39cell3: a: !=cell3.b
40
41cell3: b: 0 | 1
42cell3: b: !=cell3.a
43
44cell3: a: 0
45cell3: b: _
46
47cell4: a: 0 | 1
48cell4: a: !=cell4.b
49
50cell4: b: 0 | 1
51cell4: b: !=cell4.a
52
53cell4: b: _
54cell4: a: 0
55
56cell5: b: 0 | 1
57cell5: b: !=cell5.a
58
59cell5: a: 0 | 1
60cell5: a: !=cell5.b
61
62cell5: b: _
63cell5: a: 0
64
65a: #CellValue
66a: !=b
67a: !=c
68a: !=d
69
70b: #CellValue
71b: !=a
72b: !=c
73b: !=d
74
75c: #CellValue
76c: !=a
77c: !=b
78c: !=d
79
80d: #CellValue
81d: !=a
82d: !=b
83d: !=c
84
85a: 0
86b: 1
87c: 2
88d: 3
89-- out/eval/stats --
90Leaks: 0
91Freed: 78
92Reused: 68
93Allocs: 10
94Retain: 18
95
96Unifications: 26
97Conjuncts: 181
98Disjuncts: 82
99-- out/eval --
100(struct){
101 #size: (int){ 2 }
102 #CellValue: (int){ |((int){ 0 }, (int){ 1 }, (int){ 2 }, (int){ 3 }) }
103 cell: (struct){
104 "0": (struct){
105 "0": (int){ 0 }
106 "1": (int){ 1 }
107 }
108 "1": (struct){
109 "0": (int){ 2 }
110 "1": (int){ 3 }
111 }
112 }
113 cell2: (struct){
114 a: (int){ 0 }
115 b: (int){ 1 }
116 }
117 cell3: (struct){
118 a: (int){ 0 }
119 b: (int){ 1 }
120 }
121 cell4: (struct){
122 a: (int){ 0 }
123 b: (int){ 1 }
124 }
125 cell5: (struct){
126 b: (int){ 1 }
127 a: (int){ 0 }
128 }
129 a: (int){ 0 }
130 b: (int){ 1 }
131 c: (int){ 2 }
132 d: (int){ 3 }
133}
134-- out/compile --
135--- in.cue
136{
137 #size: 2
138 #CellValue: (0|1|2|3)
139 cell: {
140 "0": {
141 "0": 〈2;#CellValue〉
142 }
143 }
144 cell: {
145 "0": {
146 "0": !=〈2;cell〉["0"]["1"]
147 }
148 }
149 cell: {
150 "0": {
151 "0": !=〈2;cell〉["1"]["0"]
152 }
153 }
154 cell: {
155 "0": {
156 "0": !=〈2;cell〉["1"]["1"]
157 }
158 }
159 cell: {
160 "0": {
161 "1": 〈2;#CellValue〉
162 }
163 }
164 cell: {
165 "0": {
166 "1": !=〈2;cell〉["0"]["0"]
167 }
168 }
169 cell: {
170 "0": {
171 "1": !=〈2;cell〉["1"]["0"]
172 }
173 }
174 cell: {
175 "0": {
176 "1": !=〈2;cell〉["1"]["1"]
177 }
178 }
179 cell: {
180 "1": {
181 "0": 〈2;#CellValue〉
182 }
183 }
184 cell: {
185 "1": {
186 "0": !=〈2;cell〉["0"]["0"]
187 }
188 }
189 cell: {
190 "1": {
191 "0": !=〈2;cell〉["0"]["1"]
192 }
193 }
194 cell: {
195 "1": {
196 "0": !=〈2;cell〉["1"]["1"]
197 }
198 }
199 cell: {
200 "1": {
201 "1": 〈2;#CellValue〉
202 }
203 }
204 cell: {
205 "1": {
206 "1": !=〈2;cell〉["0"]["0"]
207 }
208 }
209 cell: {
210 "1": {
211 "1": !=〈2;cell〉["0"]["1"]
212 }
213 }
214 cell: {
215 "1": {
216 "1": !=〈2;cell〉["1"]["0"]
217 }
218 }
219 cell: {
220 "0": {
221 "0": 0
222 }
223 }
224 cell: {
225 "0": {
226 "1": 1
227 }
228 }
229 cell: {
230 "1": {
231 "0": 2
232 }
233 }
234 cell: {
235 "1": {
236 "1": 3
237 }
238 }
239 cell2: {
240 a: (0|1)
241 }
242 cell2: {
243 a: !=〈1;cell2〉.b
244 }
245 cell2: {
246 b: (0|1)
247 }
248 cell2: {
249 b: !=〈1;cell2〉.a
250 }
251 cell2: {
252 a: _
253 }
254 cell2: {
255 b: 1
256 }
257 cell3: {
258 a: (0|1)
259 }
260 cell3: {
261 a: !=〈1;cell3〉.b
262 }
263 cell3: {
264 b: (0|1)
265 }
266 cell3: {
267 b: !=〈1;cell3〉.a
268 }
269 cell3: {
270 a: 0
271 }
272 cell3: {
273 b: _
274 }
275 cell4: {
276 a: (0|1)
277 }
278 cell4: {
279 a: !=〈1;cell4〉.b
280 }
281 cell4: {
282 b: (0|1)
283 }
284 cell4: {
285 b: !=〈1;cell4〉.a
286 }
287 cell4: {
288 b: _
289 }
290 cell4: {
291 a: 0
292 }
293 cell5: {
294 b: (0|1)
295 }
296 cell5: {
297 b: !=〈1;cell5〉.a
298 }
299 cell5: {
300 a: (0|1)
301 }
302 cell5: {
303 a: !=〈1;cell5〉.b
304 }
305 cell5: {
306 b: _
307 }
308 cell5: {
309 a: 0
310 }
311 a: 〈0;#CellValue〉
312 a: !=〈0;b〉
313 a: !=〈0;c〉
314 a: !=〈0;d〉
315 b: 〈0;#CellValue〉
316 b: !=〈0;a〉
317 b: !=〈0;c〉
318 b: !=〈0;d〉
319 c: 〈0;#CellValue〉
320 c: !=〈0;a〉
321 c: !=〈0;b〉
322 c: !=〈0;d〉
323 d: 〈0;#CellValue〉
324 d: !=〈0;a〉
325 d: !=〈0;b〉
326 d: !=〈0;c〉
327 a: 0
328 b: 1
329 c: 2
330 d: 3
331}
View as plain text