@cella-lang/c 0.1.202610302356 → 0.1.202610310706

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/c.cell CHANGED
Binary file
Binary file
package/c.naming.cell CHANGED
Binary file
package/c.reserved.cell CHANGED
Binary file
package/index.json CHANGED
@@ -11,7 +11,7 @@
11
11
  "own": "5b0f70bc2ee6d3ea97c9cbb1513d057573a3e4efaf2ebba81e4de38ee4decca4"
12
12
  },
13
13
  "c.C.checking": {
14
- "merkle": "4639043a83e53d5c9b535a6b5f979f6d26ba4865455dad47030e3603422807dd",
14
+ "merkle": "7d2fa6e97d45a370c7e9c4871f8ffa8d5bb8e0ac6dff3e4094dbfc5284ec68f7",
15
15
  "own": "d13c6d62cd23c5dea3cba368e17244edfa34a34312a62a979b882db33fce98c3"
16
16
  },
17
17
  "c.C.constructs": {
@@ -23,7 +23,7 @@
23
23
  "own": "89cce2132dfdbf850d332c9a1749a09ceaaaf7a140f3ec67b2975d698b52a17f"
24
24
  },
25
25
  "c.C.dialect": {
26
- "merkle": "f663a5411170f6af02ba647a1fea43ad6e5b2e31ba43b986b605e3d4a8d76f59",
26
+ "merkle": "9fe610fc693eb3b18888766f7243198d8f60ae967d44d7c50184ec80849d3110",
27
27
  "own": "a813ab0b65555b3d44c60d91de41561fcd5db30855e9d62e650f0e3e651e69b6"
28
28
  },
29
29
  "c.C.effects": {
@@ -39,15 +39,15 @@
39
39
  "own": "7e398b1ae168e9a36504512d36793819ff7ec6bbd94d96bd6d5b48db771d034d"
40
40
  },
41
41
  "c.C.programDialect": {
42
- "merkle": "f7f54c7f2e94f3c24ee6701cdedbc94b88d3499566f6321c2ea9333d0557981e",
42
+ "merkle": "6bcdd90b10cd11a20cd6a7c1142e1f0b352a09b40acb6873c8ede2310d82544c",
43
43
  "own": "b46145b10b1ec510bcea885968534e672ca49976fa00020daaec8616896c29f4"
44
44
  },
45
45
  "c.C.programExtension": {
46
- "merkle": "391d0b4148ba61d0eb7ed04e9b414b2aa64a6fbb30b99f5789986cba4b59e99d",
47
- "own": "d4c3069250d7275b660bd994c65f287a80a16736b7681b0556bff23b272e20a0"
46
+ "merkle": "2978e993ad94b61d2b38df162bda72d3f41aa1eab2dfb657bdd07c04e3645421",
47
+ "own": "d9221ce796a48482e8f997408365ef6a1611c50d36c92e2713de5733dc5efd6b"
48
48
  },
49
49
  "c.C.query": {
50
- "merkle": "8ca514effc27b19550dcd6260810d4d3b5a6924810d98eaafadcb4909863bdf5",
50
+ "merkle": "3133629663e14f69670dc3169456053ea7e314fdee10611bff8548f118308555",
51
51
  "own": "11ce588500fba76fe041991a8ab82636fd36a1e6cc6f335224a2edb057012ace"
52
52
  },
53
53
  "c.C.queryError": {
@@ -67,7 +67,7 @@
67
67
  "own": "1a25a9ebb0b9a0dcf00c7e13fb6c9c805d057876cbc028168bdb7b32a30c05c8"
68
68
  },
69
69
  "c.C.verdictOf": {
70
- "merkle": "eac232a12e3bebad7813aae24c95e3f6cc0635ae63cd1e658abbce9dff7944bd",
70
+ "merkle": "bbef7e27aaa8b625d229cb46e4caf4429af1cdcbac2b9d20a78dbe7f75ef6295",
71
71
  "own": "fec6e45c6bad4e8e71c05b44bf66123d26b98e55521006442fed8b09fd7418bb"
72
72
  },
73
73
  "c.Declarations.atFileScope": {
@@ -86,9 +86,13 @@
86
86
  "merkle": "92ae32e4e56fe0b490884f89da11592f030851294fd9a2f7ffaee5fa685e30a7",
87
87
  "own": "52ae5b57320058384fd59bd499fa422f539a3c3d80b839fcca94992c6f3a434c"
88
88
  },
89
+ "c.Declarations.expressionTypes": {
90
+ "merkle": "e5147ec0f58df045aef465923eb532bec4f674d30f6cda014f7ec7b5afff405c",
91
+ "own": "f86aadb22b32156423d378b2d70f06607ffcea9a65c824aba5a5f58bbb1dab5a"
92
+ },
89
93
  "c.Declarations.firstWrong": {
90
- "merkle": "2bbfcae92f851b82deb80035a8c7fa075e72a70563394eaed2fba70bc04f2b4a",
91
- "own": "c447a3ead6d156c77575e1cee49d525245bf5eb857489691c71b317b082e1978"
94
+ "merkle": "a84c59b2fb3ec64d7713d5bb5d77c0fa94db5126f15f42e612954bdadfce5a3e",
95
+ "own": "9783d2c12531637a37aab6feafbb242e94442839b570418b719f8a6462fef86e"
92
96
  },
93
97
  "c.Declarations.inClauses": {
94
98
  "merkle": "bd9a169c9c94d7496e668aa1dcd60df1f113dc20e2f970008dc2ddb015afdb85",
@@ -110,6 +114,14 @@
110
114
  "merkle": "a5700935d051be7332223802a70d41b8822ce12741b4db85031cab4d175266cd",
111
115
  "own": "5b7608fffb3d2558b6b8903551fac8018e51ee76f01455bfe534360534f09f77"
112
116
  },
117
+ "c.Declarations.lookup": {
118
+ "merkle": "d111ab7b9ea179dde3fbf42db021f545e0ba5d7cb9ce29f068449ea207c17e54",
119
+ "own": "75263c2062ce9510737b0b4484cfec8057d14ceae7a1300b018a5c575d9f3c1b"
120
+ },
121
+ "c.Declarations.qualifiedFunction": {
122
+ "merkle": "36c35a762765cd2826548049d24f9b35cea89f2d344b4fcab82bea51efa01ad0",
123
+ "own": "07ec6633cca5149c16bfdcefa8aef1d03e553a0297cc45d6fbe914b18f46d3e6"
124
+ },
113
125
  "c.Declarations.tags": {
114
126
  "merkle": "35cefb82bd82b99576fe66844bd3ddf30472ec18f7d4dff33aeafaa617872cbd",
115
127
  "own": "c332dccc0ebdea64c5542bf6e5ff1ee549ceb2de5cb2f78adf78758cb03ff3eb"
@@ -118,10 +130,18 @@
118
130
  "merkle": "972d6e00deb97cbc464e3efad9d4a87b0320ee97fcdfb42ba6157ebd155dbf58",
119
131
  "own": "c4a35804d0e1dac8e2673800004f5b1fc222d292b877eddcef38661051432f81"
120
132
  },
133
+ "c.Declarations.typedefs": {
134
+ "merkle": "f83b80e88796fc09c3e9d05d19b8d614d69478b3d793f6b2bd9c22c30ea32720",
135
+ "own": "aad39d7fd67e7643b04d3197083d0707757b2eb31e9afa3df4e0b62ec3771c16"
136
+ },
121
137
  "c.Declarations.unnamed": {
122
138
  "merkle": "22aa2184aee9840a4ceea0684f214afec86fba87a09a62ff02091303f3dab70e",
123
139
  "own": "d7154dc1012739dabef5fee242d1f87009f18121e32283aedf42ca5bae515428"
124
140
  },
141
+ "c.Declarations.writtenTypes": {
142
+ "merkle": "b7fa29afff1dcfcc66fd754a25993c0c58d1b6e11b67a336cadb5dbc4e748648",
143
+ "own": "18712250a88ee70075400648687040138f995ed440165a9de221d1bd1089fc5e"
144
+ },
125
145
  "c.Declared": {
126
146
  "merkle": "3a986a437878088c23f7c2a451c2027170dea292f0a8c5e66b863819e1ed5816",
127
147
  "own": "d0c45e57005d4be416c94d1a1cafa14c137740ce362f8604b308984bcdbe814f"
@@ -143,8 +163,12 @@
143
163
  "own": "ac3340fdf422fcf3c8d8489f2f5acfdf187faa7e8fbae8251ae08c1d91dd7179"
144
164
  },
145
165
  "c.Naming.firstReserved": {
146
- "merkle": "38518b5eaca82093f4a2c91004eb0ccf43e49e369152e32e1eca7c92e2f0858d",
147
- "own": "64c4dd3a07b3bbee501576762286a652077f71b393be7bc0995c1240995fb500"
166
+ "merkle": "54b6cd9a7936a9f7edae4fe486a27ec17ddc215ed26aff2f328dbc1372ac9fb1",
167
+ "own": "e54844a710c1851faffacfe09974d477cd0af26c6dfafd3ccd9e7e54850a3ed1"
168
+ },
169
+ "c.Naming.headers": {
170
+ "merkle": "46075ffcd81ae3306958b706163543052b95f475bbe9a56c3860018a6e2cd6fa",
171
+ "own": "05c17f82d6b095d739fbc79c1af6cc60e5e03649b9d5857188174053b818cb25"
148
172
  },
149
173
  "c.Naming.initial": {
150
174
  "merkle": "85aa88de41efbd07e71aff9d8ca46ab693a776f9d9acade0f2ea5855f30251d2",
@@ -158,6 +182,10 @@
158
182
  "merkle": "232121dbf40eeb81fa42b08ea3401b9030e3ba39b540c45666919a5c633e1cb3",
159
183
  "own": "54cbefa79239a253dfa42fb38f9e34086271551fef87b5c4466a5916523c95fb"
160
184
  },
185
+ "c.Naming.listedIn": {
186
+ "merkle": "a583e1bfcc71f0225bfa5d05ad1be34f89894841537cedc525289337547513df",
187
+ "own": "308cdd4ea5dc295d39fc50cac3b7e8afa446e0280682506637ce62325f1b694c"
188
+ },
161
189
  "c.Naming.member": {
162
190
  "merkle": "0bb66a7dd3335b2717c32004eb9d5f21cb03fe2de06f28eacbc0f8f6bfa0c3f3",
163
191
  "own": "ff9e10d26cc443b6a00d6a32d095fde525f7981c69a49079d7101692422803b1"
@@ -175,8 +203,8 @@
175
203
  "own": "6cd353d172c904f206d4b84f25994034f25db3defb2e588cfe4433a0bb5ae267"
176
204
  },
177
205
  "c.Naming.why": {
178
- "merkle": "b2927405356162e7ab3e652ab49ef6b4f3a6c9d9792235ebdc01b67c4142d165",
179
- "own": "46d73b53c7be3443eb7f406ceea3225cdf7e5d77ee81a74e5ad5abef055b07a4"
206
+ "merkle": "c7815cd25c07a8e0265d20185eb0911fcc0712b6c5e05cc09d16c49eb516d388",
207
+ "own": "9ba2e17c20809bf9abbcff697aa2bfd08cc3cbba62db8e8721ec80ea851f8576"
180
208
  },
181
209
  "c.Reserved.functions": {
182
210
  "merkle": "0dd89c499c94cc1c9b734948da06656ec5c4b52691265ef6af81b0893b181b18",
@@ -226,92 +254,148 @@
226
254
  "merkle": "d423f9e514173c37421dbdc2be8ca4ae8b5907b62c9c95c3eda05af5d9266635",
227
255
  "own": "d4d968d38a01a539e2ef7d2a7cc13b00e0ca732cc5c2a515c6b36cc3bc5542bf"
228
256
  },
257
+ "c.Reserved.macros": {
258
+ "merkle": "f03f22c0e56aec9ea48d2e6763a42af9aa6d330b6100b7c0073ddb37e9031277",
259
+ "own": "51b3f36a4222675646bdd3ea4a6e6bd5977f9da6090a325c4eeb060254759676"
260
+ },
261
+ "c.Reserved.macros0": {
262
+ "merkle": "20d20ab5752d82b69bf87c117b84118d11a9baf690eabf15c159aa485c2fc326",
263
+ "own": "cf39181edbba44f54b9376b201219b945b71ec81c47802a56c890e1cd5f1378e"
264
+ },
265
+ "c.Reserved.macros1": {
266
+ "merkle": "70a0eba35a9b52b0fc5f10f692006353561ea8a8c1a2517e7b392c796d2eb99b",
267
+ "own": "1010c77454c7ae2a526629ce975e0ea075e33ea850bd099403615107074edb2f"
268
+ },
269
+ "c.Reserved.macros2": {
270
+ "merkle": "ea45ada0a69efff5341b41ccc630a003f85666bf2a7cc918b25e968f1b126104",
271
+ "own": "3f7fa81cd1cb49d1b6ba71a2f10c3b58c930e54292686606d2b73899f7c9ee36"
272
+ },
273
+ "c.Reserved.macros3": {
274
+ "merkle": "4df0512e31d595e54cf990b3c1d077cdf1e05bf84f798e77b88b47cdc227a828",
275
+ "own": "b09c667a9af212f5b81765ca98ccc5d8f4b938ef7be237b8baa625c4fbf38e80"
276
+ },
277
+ "c.Reserved.macros4": {
278
+ "merkle": "add4f2bd6a118b963701020169e21f3266363eae1f766362e775d1256bda8e09",
279
+ "own": "5be63655d9f82c3168ffc1b3c7b96ad1a93f9c22a8298eb4fa62d10039dddf54"
280
+ },
281
+ "c.Reserved.macros5": {
282
+ "merkle": "34bb08ce5c8f4b0a5753e712b91a680fa04d3b7a803564199e69c695f313da5c",
283
+ "own": "e15bfee308b86f99a9bcc550a5b139d785a8806205e3b41311bda0c8fcf1fd2e"
284
+ },
285
+ "c.Reserved.types": {
286
+ "merkle": "6fad04ac96d0ceca21c5eaa25a2cca255727176ca74c675d18cd1c204a9caa94",
287
+ "own": "032f57bbdaa896a078ae90638cbc490d85df6f6cd0513715a92a4b37b50c5189"
288
+ },
289
+ "c.Reserved.types0": {
290
+ "merkle": "253f29aafc0af6b53138497002793ef1f7adac76cf20f5380fed04d4d7e26e8c",
291
+ "own": "b31b2ad037955ff987cae39736f520a75f17b45af5ac63cb66509f04fb977e07"
292
+ },
293
+ "c.Reserved.types1": {
294
+ "merkle": "25ffdc5b0feb3df41b1e75f503d179faded2350ed87493ed85a5f41fe63ff146",
295
+ "own": "14dbe90a13e0c6379520b8acf723cbdd91e4150bb6ea4be0391505832bbeafe7"
296
+ },
229
297
  "c.Session": {
230
- "merkle": "2b5cf4cc8c87c837eb8cb5cd30f0b657712780d7906eaa965a562da7a40979db",
298
+ "merkle": "48e42af8eea8f4cd7f18de6ddc060eb9ca10cc046855ce4827cc183be58105c2",
231
299
  "own": "5f2aa2ddcd274d9681b261fef5c5d771e027d9991df16fcee57046a8b44f1379"
232
300
  },
233
301
  "c.Stopping": {
234
- "merkle": "fad67946a170d7336a13c0b2f4918e8fb0fbabbf16ca7cd815f8175659ef9c87",
302
+ "merkle": "bc808920534c439c605518711dda91c644a956ceaf2d44a8918646d9e6609a56",
235
303
  "own": "6c173c71c5157b5672cceda204e351e632dd2a1e86ff5248b893d11966ab8d0e"
236
304
  },
305
+ "c.TypeSyntax.anyQualifiesFunction": {
306
+ "merkle": "ce552b7bafa5bca939e64879a8081fca4ebb44cdb6a76fc7fa38f0b286045ba1",
307
+ "own": "b9540aa4b1f40e231d934b3650727f43e6c23d8929f775217e028ec65eff06ad"
308
+ },
309
+ "c.TypeSyntax.isFunctionType": {
310
+ "merkle": "6621167c592034b6ac4fc506a41e90d1af5282f9a866e6411c4b483757523e30",
311
+ "own": "ab038c670c3c187dee7eeb004a06196dd27328a55b8c48707a07da1a0199c78c"
312
+ },
313
+ "c.TypeSyntax.qualifiesFunction": {
314
+ "merkle": "7efc68f2c564778b3ad392ce852ca961675300010ec6c7a98eab76286a6b822c",
315
+ "own": "788d25d9ff40c9a1c26f740aa670708016aec8eb9013dfbfb15db004c1a1a3ff"
316
+ },
317
+ "c.TypeSyntax.resolve": {
318
+ "merkle": "361327bba7e2a62165f9e24bac989f73ac001cb7adb3189076ceb43b25aead07",
319
+ "own": "bfd437feeb565b7d0da3c000afe9795bd302795ab3e5967e594488563ff94b0e"
320
+ },
237
321
  "c.divergences": {
238
- "merkle": "354b7633cc9d2c8f7b4474a92b4ba44c641afdea82821a738e0451c559cc2916",
322
+ "merkle": "82a2f81fb8cd927087b03948ef21fc7f5ce5377a43ec7d6f913e30809f027919",
239
323
  "own": "20fb3d8b626fa80c344090c7d9e3e6dbd98618d8968aabd708ff0d42557fc484"
240
324
  },
241
325
  "c.env": {
242
- "merkle": "84033a5117aed0dd77d60548a1787daaa1600ae84fc0140d0fc833b709ad123c",
326
+ "merkle": "7e7dc6c80e091bf9a0648fcc0e0c2b92042e863cbaa1e5bc836093d02ba09764",
243
327
  "own": "ab37322f3b8af2b02d34f5b9a53dc2b45b122041b2ba74787b7fd5fe2e27bac2"
244
328
  },
245
329
  "c.feed": {
246
- "merkle": "68aa447856fd4aa8f35306f758a9ae7e9dc22bbf95c12fb053661bc1d132928c",
330
+ "merkle": "0c9edd452ded5ad2a6668a4278863bbc893e2375291424fceba3cd5b962328cf",
247
331
  "own": "7864535ea607169305600df86d3a2ab85f1332bea87ef33b63494eeb7cd316dd"
248
332
  },
249
333
  "c.frames": {
250
- "merkle": "fdc5be7ef7b6b9a8272dc9d9de5c8123bb251e5e426df168a30e50b0c0469ddd",
334
+ "merkle": "4e555d6f82d69870c8e79efb36f9b30c09d404bee03d53e7574cb48f5f49057a",
251
335
  "own": "def10961b479875af856ef073e8ea7c6898426ac98b70670f19aefba65cc1925"
252
336
  },
253
337
  "c.globals": {
254
- "merkle": "d66f66805c33c0a83bee44d9824a6cb0848a9bcf5fb23ce1d358358ffc4911e5",
338
+ "merkle": "7360a40ca77ebb66ebd20d9ccbba60db9db0ae28f5d10a4748cb9f7fca296797",
255
339
  "own": "8dba541a1a8378f623033bbe59250c50dcf28df708687ef2cc53c9dd94be5c6d"
256
340
  },
257
341
  "c.load": {
258
- "merkle": "a46a1c6157601d76d9dfa6e289b994346b05ffc6630444ee706da44e10d3473a",
342
+ "merkle": "ee3030dbf982211fac4c85736629fb20987c7ff519f6bcf0b79a8bc7a5af423f",
259
343
  "own": "5ceedaff2b6d23a0489509ec7a33f39ea8b4eb59a616023164e2a8cf9de2a0d5"
260
344
  },
261
345
  "c.report": {
262
- "merkle": "908d43009da6875d52f87e737746481f6840011c977ce3e149c3b354d5550a1c",
346
+ "merkle": "34d5bdf3cc1607a81df32991dcacdba316ddbbef02ab2944f5bd736139b299f3",
263
347
  "own": "c5706db83acbe5bc1d46166bd1fda834786c790a206c89fade9d55a572dea072"
264
348
  },
265
349
  "c.run": {
266
- "merkle": "3c6b10b7c512942aabc20cf3d7bb6feefc3af5c79ea18024f5ba36c099bb86e9",
350
+ "merkle": "2d9f047b989da09bcf2173069785b15ed4b2517c02330da827ff5161cfc8ddff",
267
351
  "own": "832901b374ff74f11ddd297e26907a7f75f92e18a8ac71e37da139365cbece3e"
268
352
  },
269
353
  "c.setVarConf": {
270
- "merkle": "d7fff4317e8a91c81b15133f5d012cdabecbd26e998d39600eebf326a894977d",
354
+ "merkle": "1cf6787e099b8854ba3c8fa64947a8374f3fa5e5837610cc5db47d1e49dc91dd",
271
355
  "own": "2afb7946a846f6d65a2b589bbddfaeab0aec8cf40ef16fbe081488b3dbbddc62"
272
356
  },
273
357
  "c.setVarErr": {
274
- "merkle": "6a7d910258f831c2d096b9841d70aac69198cdc96fd0127a6d59d5bdde089470",
358
+ "merkle": "50fb715e6a7ba951601f726eb52e27ee47089a7e826009bcc53bbc764252a475",
275
359
  "own": "51fec8d8ab03ec9b592a51eaa27a72375a2e11880cf2bbb7d7a432dd703c45b6"
276
360
  },
277
361
  "c.stopConf": {
278
- "merkle": "cd7b5fb18a06c4dc58e9ab2c10446019d9bc2e7af39eba180499952f92b2ad14",
362
+ "merkle": "a4130da25a29ddc7e1ffef85a4249545254d5edbd84ff80cd879b193225426eb",
279
363
  "own": "31b6e8bc10574a3d70503e74e2b0901caee019c3a0019ecee2401dab7b9d310e"
280
364
  },
281
365
  "c.stopDetail": {
282
- "merkle": "eb4bb173a6d686761349c845806d025e974b8a1c8afd214c885bee9aadfda429",
366
+ "merkle": "fbcc815b019bad59647485beea09b82b8224ba4f602723e46af9a7063e150603",
283
367
  "own": "da8047506916df2a13bc45df7552363a925e648d822b7d198442256b0bc6b58b"
284
368
  },
285
369
  "c.stopErr": {
286
- "merkle": "97a29b43f74bc2e3f19d763cd0453676ba0c00568dac68ac73cf80efc31e231a",
370
+ "merkle": "b9172482307441b3485ec0318029b01aac2dbed6188c5396f6af438239385608",
287
371
  "own": "a0eba9599817c3508c0ae20622d1605f5a005c31e5ca6880b89ba743ef267d86"
288
372
  },
289
373
  "c.stopKind": {
290
- "merkle": "74d908f7cdfdcc4a8c864c602e46f937a4a021506dc834001b952d975b785c47",
374
+ "merkle": "c0bed553736784d2238e4c388a2f9d8a0bc7f8d9ed0d9da5187fcf5eebe29403",
291
375
  "own": "50ede1925f287cc467aaa60b2abf2f51cebaa1baa487b4aaa9a49c52f97e04bc"
292
376
  },
293
377
  "c.stopNode": {
294
- "merkle": "5af6988dd5ad1a084d28c9bbe581cae65aea7ad3cefbe8e942a80a42af82eb85",
378
+ "merkle": "943276a2c935881500f70a7eae82fab0a959482d25a04333aee4c5b72284af5b",
295
379
  "own": "f8921dafa5e4149fd04fc60b2c221232c51d2944fa3eef667a064fcf12b02bfa"
296
380
  },
297
381
  "c.stopOut": {
298
- "merkle": "41b462c0d69fb9ecb5c5c346a2ea4ee931a7c3bb8ad2d213e2306ac6496f3971",
382
+ "merkle": "0d8417e3d155a3fcc5c637ed96738cf4e6f9d325aae794f2c1b6dfca1c69825d",
299
383
  "own": "3413770dc8991e9ec7609695ccb5355cd64d12f9fc60f823f02ecce06e7e749e"
300
384
  },
301
385
  "c.types": {
302
- "merkle": "73259a82e1a9b5faae449fade754e49065148e26467f46c462d4e8235a3072b4",
386
+ "merkle": "c00845e02fe8e0ecb76e4a72ad310c23b1d8d326a793c67dbbf6c4708f0ba8d7",
303
387
  "own": "cb383810e8c655e2b41d451bc3a03b1b2698fbd6d13261c91b4c31c1f025e748"
304
388
  },
305
389
  "c.verdict": {
306
- "merkle": "8240aad4c10bed0dbd6aee1718eb84c43b645f16fbe25302f943cc0dc4197f7a",
390
+ "merkle": "5555e1582861c908e87f94f6b8ac99674235f48a0021a52e9be4b1d1d9987705",
307
391
  "own": "1fbb2bc147062bce884860540f67730e9010dc1649e4cff876626e7e4a2c8566"
308
392
  }
309
393
  },
310
394
  "format": 1,
311
- "inputs": "386f1e4a70049582b0108b62a20d60c35a0d9c2176aa5c52b5630c034c330291",
395
+ "inputs": "8e5ab206dbe226324d0d3a0e08094e3cd89c66b8d88c842f9b6d836c5316cb22",
312
396
  "modules": {
313
397
  "c": {
314
- "bytes": 435432,
398
+ "bytes": 441968,
315
399
  "deps": [
316
400
  "c.reserved",
317
401
  "c.naming",
@@ -320,7 +404,7 @@
320
404
  ]
321
405
  },
322
406
  "c.declarations": {
323
- "bytes": 150650,
407
+ "bytes": 160743,
324
408
  "deps": [
325
409
  "c.reserved",
326
410
  "c.naming",
@@ -328,14 +412,14 @@
328
412
  ]
329
413
  },
330
414
  "c.naming": {
331
- "bytes": 136883,
415
+ "bytes": 243981,
332
416
  "deps": [
333
417
  "c.reserved",
334
418
  "c.naming"
335
419
  ]
336
420
  },
337
421
  "c.reserved": {
338
- "bytes": 41923,
422
+ "bytes": 56857,
339
423
  "deps": [
340
424
  "c.reserved"
341
425
  ]
@@ -347,8 +431,8 @@
347
431
  "modules": [
348
432
  "int",
349
433
  "json",
350
- "nat",
351
434
  "list",
435
+ "nat",
352
436
  "array",
353
437
  "functor",
354
438
  "monad"
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@cella-lang/c",
3
- "version": "0.1.202610302356",
3
+ "version": "0.1.202610310706",
4
4
  "description": "C11 for the Cella proof checker, as a branch of the C family's deep embedding (@cella-lang/cfamily): a C program is a data value (the JSON semorphe sends), checked by C's rules and run by its small-step semantics; verdicts (accept, reject, unknown with the clause of the standard), a type query and a debugger host interface — compiled module pack.",
5
5
  "files": [
6
6
  "c.cell",
@@ -31,9 +31,9 @@
31
31
  "author": "SungYu Chang",
32
32
  "homepage": "https://cella-lang.org/",
33
33
  "peerDependencies": {
34
- "cella-lang": "0.1.202610301840",
35
- "@cella-lang/cfamily": "0.1.202610302352",
36
- "@cella-lang/machine": "0.1.202610301445"
34
+ "cella-lang": "0.1.202610310706",
35
+ "@cella-lang/cfamily": "0.1.202610310706",
36
+ "@cella-lang/machine": "0.1.202610310706"
37
37
  },
38
38
  "cella": {
39
39
  "checkerHash": "c23d5c2e1f29ce9f",
@@ -41,6 +41,6 @@
41
41
  "modules": [
42
42
  "c"
43
43
  ],
44
- "packHash": "db2fc76869f5432d"
44
+ "packHash": "c7a29ed11455c630"
45
45
  }
46
46
  }