@cella-lang/c 0.1.202611051128 → 0.1.202611052037

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.
Files changed (4) hide show
  1. package/c.cell +0 -0
  2. package/c.naming.cell +0 -0
  3. package/index.json +28 -28
  4. package/package.json +6 -6
package/c.cell CHANGED
Binary file
package/c.naming.cell CHANGED
Binary file
package/index.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "cbfVersion": 30,
3
- "checkerHash": "c4fe6179f3823309",
3
+ "checkerHash": "0da4051b1bdbb166",
4
4
  "defs": {
5
5
  "__RecordTag_c.Declared": {
6
6
  "merkle": "c9cb2c27c7dd0a753e9dfc84b7ceb6356f2b6b44feaf9ac05b25ca17c6767be2",
@@ -11,7 +11,7 @@
11
11
  "own": "5b0f70bc2ee6d3ea97c9cbb1513d057573a3e4efaf2ebba81e4de38ee4decca4"
12
12
  },
13
13
  "c.C.checking": {
14
- "merkle": "7850309bb9672fb1d871c18e0095b9f5b2729c31bdcb8202257920de7219854a",
14
+ "merkle": "cf539a9d76f96038562cc85f6ca189a3ca1463c3d583971d35d3b9d41328d76e",
15
15
  "own": "e0a5043f69d3d0fcf50d98cbecbda7baf12118d8709d6d669ea31f163c2025db"
16
16
  },
17
17
  "c.C.constructs": {
@@ -23,11 +23,11 @@
23
23
  "own": "e5c268da261722e9b0ca45e0b57a9c7aa88d7293cbf7698b42a05c40cafc3ea2"
24
24
  },
25
25
  "c.C.dialect": {
26
- "merkle": "7e85ea084c6e9aacd89a61198a4e239ccddc5062a760e7958b9a999920f05bd9",
26
+ "merkle": "e218dc8132f5afbd0ef1985882aa6661038ac14828e68e7c60830757a65c2948",
27
27
  "own": "ed21eca294f3b794263526369a34eb39a0d34593c156e83957e77cf87ab459df"
28
28
  },
29
29
  "c.C.effects": {
30
- "merkle": "1d0b1f8691596f0f75e9cac07d10edbe2dcc2a45aaed268f05bdf245757c5ddd",
30
+ "merkle": "5b0610791a5ae7100c8108e28c4b92f4e5290e52a3690f68bbd5fe4069c08aa9",
31
31
  "own": "a00cc304f9a8a4d929f31ae667c67b34f0512550596b776d64d353e95d98980b"
32
32
  },
33
33
  "c.C.invalid": {
@@ -47,15 +47,15 @@
47
47
  "own": "eaf1dbc689ee34ebdd75738e5616cf3cc25acb0999851ef462bd9064c5b8d840"
48
48
  },
49
49
  "c.C.programDialect": {
50
- "merkle": "9dff4fe1460d89b15f014bd783a47140c5686fa2183643e27099ee4ccab17873",
50
+ "merkle": "c591fdddb44d61328fffdf61d77dd79fe33685cab859de4047d73ed2d44bd935",
51
51
  "own": "b46145b10b1ec510bcea885968534e672ca49976fa00020daaec8616896c29f4"
52
52
  },
53
53
  "c.C.programExtension": {
54
- "merkle": "74ebc83a2500261e6e51756d55b3f431bdb0e298f2817fbc5f5debcd0a099c7b",
54
+ "merkle": "9a559c585aca78164cb710f396e7bc084e47da56e384b8c15715aa9f2c2541d1",
55
55
  "own": "ac0c5e5b7af0a4d2f8a9c66de16460a8c38ece6210c7a9504ca8a5cd0e599aec"
56
56
  },
57
57
  "c.C.query": {
58
- "merkle": "2ba450ab1dc6f694b2b5345828d3daf74efda7219f0c2a68e93e886252345e8e",
58
+ "merkle": "f3efdb16da81465aec525408f363a56ab8bb7fe084e63764961b8bd1087ab8ed",
59
59
  "own": "11ce588500fba76fe041991a8ab82636fd36a1e6cc6f335224a2edb057012ace"
60
60
  },
61
61
  "c.C.queryError": {
@@ -75,7 +75,7 @@
75
75
  "own": "1a25a9ebb0b9a0dcf00c7e13fb6c9c805d057876cbc028168bdb7b32a30c05c8"
76
76
  },
77
77
  "c.C.verdictOf": {
78
- "merkle": "fd2f3c21b10638cc8af011336553fbe012939d7969f8a2462b4120e9c7d9b63e",
78
+ "merkle": "03532753061b9a2f39e70beb49d6ad800227d9eda20d10a7d5bb7d3c0df145c4",
79
79
  "own": "fec6e45c6bad4e8e71c05b44bf66123d26b98e55521006442fed8b09fd7418bb"
80
80
  },
81
81
  "c.Declarations.atFileScope": {
@@ -283,7 +283,7 @@
283
283
  "own": "14dbe90a13e0c6379520b8acf723cbdd91e4150bb6ea4be0391505832bbeafe7"
284
284
  },
285
285
  "c.Session": {
286
- "merkle": "8ae7e05bff9c160f7bd37746bbe910416d1c406f4a78f75fec20f8b6eb22a081",
286
+ "merkle": "ea6385fa72708391e2b9a4a0a33d81b8f127523776e353063c9607c984c22fed",
287
287
  "own": "5f2aa2ddcd274d9681b261fef5c5d771e027d9991df16fcee57046a8b44f1379"
288
288
  },
289
289
  "c.Stopping": {
@@ -307,51 +307,51 @@
307
307
  "own": "b6f526742e3e58d523ff394cf02b65390ec3fd0da05f3741ce17de86d0128e52"
308
308
  },
309
309
  "c.divergences": {
310
- "merkle": "5be16d61a4b8920dce170dd3bea3596effdd4b2231e8c00d791c1d237a0bf355",
310
+ "merkle": "29fb0096d7036730bf04acdad86e62056f6f2686ff7c800013860efe81d94c74",
311
311
  "own": "de9d3c838b01c72ff49fe18576e3a159dd109265bc20c7503efc46fbbbbbd35b"
312
312
  },
313
313
  "c.env": {
314
- "merkle": "f3552ac860efddf4c474d7a73ace976f76173b8225db28f791c2afb6209fb5ad",
314
+ "merkle": "68b78a843d6689930e5112c09028bcced529ac07d0a9f4d311c9fe8753641540",
315
315
  "own": "ab37322f3b8af2b02d34f5b9a53dc2b45b122041b2ba74787b7fd5fe2e27bac2"
316
316
  },
317
317
  "c.feed": {
318
- "merkle": "8891dc5e65b5b15b925d5b6ce6ab0710a2f281d171c9e95f7f3f148d4bd01c8e",
318
+ "merkle": "f4afe4e15c8817774cc0fec92146645b83fcf5cba7a44e196a7a706d7721aacc",
319
319
  "own": "7864535ea607169305600df86d3a2ab85f1332bea87ef33b63494eeb7cd316dd"
320
320
  },
321
321
  "c.frames": {
322
- "merkle": "06f4d26813f2e7f9291ca057d57cd24780f83cef46702c78fe5590a316deedab",
322
+ "merkle": "a6fe42404f06e65ac9a57771a71ddf0968f8438a186950c5b60fec1ac43b8c4f",
323
323
  "own": "def10961b479875af856ef073e8ea7c6898426ac98b70670f19aefba65cc1925"
324
324
  },
325
325
  "c.globals": {
326
- "merkle": "752b7905d649fb4375fe808a808405b186d4af4824e5ebad95a8a74372b44770",
326
+ "merkle": "b73c5ff010cd2e9c62e7174fab9fc6ab3c7f3f6faf9aa1003ae9fb190e291974",
327
327
  "own": "8dba541a1a8378f623033bbe59250c50dcf28df708687ef2cc53c9dd94be5c6d"
328
328
  },
329
329
  "c.load": {
330
- "merkle": "09ce6cbde88a6fa8c1eca1ba84322dc3dda9fcf2ca666874b83c9bf34eed9223",
330
+ "merkle": "0a712772cc032e5868ab673a37dcb55d24a2ac35170a39ef1955f1a55f98abe4",
331
331
  "own": "5ceedaff2b6d23a0489509ec7a33f39ea8b4eb59a616023164e2a8cf9de2a0d5"
332
332
  },
333
333
  "c.report": {
334
- "merkle": "d7e4f56b0e62c33e0085475348c126a6b2dd772899f5ba767c8eb62801ba1872",
334
+ "merkle": "f3029419caafc5b954dad8a2c1c5f5426481c0e24fe5dcfea8df8c81609efa44",
335
335
  "own": "c5706db83acbe5bc1d46166bd1fda834786c790a206c89fade9d55a572dea072"
336
336
  },
337
337
  "c.run": {
338
- "merkle": "6f5512b574ef3b222844502faf63bf66c8ac675c8e3549d36e578232850cbe8a",
338
+ "merkle": "899e42a6de46ee55ab219a5b5196dfc997493b1fe7353e2c79d025ff273e3351",
339
339
  "own": "8402f87d17ffd371f59af73d2b387b2632bc4f7ccad14ccfe5d6be6c2cd3825b"
340
340
  },
341
341
  "c.setVarConf": {
342
- "merkle": "42520c8a0996c8b769fb2fadc26ae577b7f4970b37fd7c26bbeff854dc3675cc",
342
+ "merkle": "abca1211124fc7ef077b1cfc06914f1170b2d6e3a0fd80b719cf621e728de295",
343
343
  "own": "2afb7946a846f6d65a2b589bbddfaeab0aec8cf40ef16fbe081488b3dbbddc62"
344
344
  },
345
345
  "c.setVarErr": {
346
- "merkle": "7f5e165316ff14b426f2b760237671c02ccae09a1a405baa568395888a385575",
346
+ "merkle": "449b28c5a0d62828058b4788c43dcf077153bac9a1cdeacb39f713e036b6eb4c",
347
347
  "own": "51fec8d8ab03ec9b592a51eaa27a72375a2e11880cf2bbb7d7a432dd703c45b6"
348
348
  },
349
349
  "c.stopConf": {
350
- "merkle": "ff8ca4b0f2966e6f700f8e40a7cbd68759291c288341b8e12e40ce67374fe084",
350
+ "merkle": "6980e480831d4256656b9d61aeedf6519bbe721258ab50fa63fe1068905203ad",
351
351
  "own": "b3a32738d550955851ba46306fb8159e034a91764abd240fca6703269d57966c"
352
352
  },
353
353
  "c.stopDetail": {
354
- "merkle": "dd934c349b800f92f480c255e2b9363cf389fc5960c3ca0443c9a46084edeabc",
354
+ "merkle": "d07644f30ffbb8a9aec21f27d6f3b144d8e005a0fb4c582d40f47599cdda34b7",
355
355
  "own": "45067ad7cf6728983bb2c709b2c13f41f3f6c237c7a3315571b72d487f6f7338"
356
356
  },
357
357
  "c.stopErr": {
@@ -375,19 +375,19 @@
375
375
  "own": "052ff53c341ae938227fbd34cbf375bdfe1d7010e2f790b568ae0283a4129111"
376
376
  },
377
377
  "c.types": {
378
- "merkle": "5ea9e91060c012623700597a0e2def6d8aea150e4bb0b6685fe402f8201ce46a",
378
+ "merkle": "9ac1a855436a225a34039d280842fe164d075821205582b741eb32ecde87d9ca",
379
379
  "own": "cb383810e8c655e2b41d451bc3a03b1b2698fbd6d13261c91b4c31c1f025e748"
380
380
  },
381
381
  "c.verdict": {
382
- "merkle": "c07c0f584b0b3d309f264594de6fc76d709c5e8c256258ac15468300da39b292",
382
+ "merkle": "145af4e1df8ac8416bffb18d148516c170eff665a0cb2f7b2be6099137e792bf",
383
383
  "own": "1fbb2bc147062bce884860540f67730e9010dc1649e4cff876626e7e4a2c8566"
384
384
  }
385
385
  },
386
386
  "format": 1,
387
- "inputs": "b97259e156b5d44dd56b42914e1be64750ccda3f86c774cc0fc6128bac3544cf",
387
+ "inputs": "769ca4c90f8f368481e2b0bf60ffe8714ee73780007f3198a474ffb822977716",
388
388
  "modules": {
389
389
  "c": {
390
- "bytes": 504484,
390
+ "bytes": 508430,
391
391
  "deps": [
392
392
  "c.reserved",
393
393
  "c.naming",
@@ -404,7 +404,7 @@
404
404
  ]
405
405
  },
406
406
  "c.naming": {
407
- "bytes": 264178,
407
+ "bytes": 271999,
408
408
  "deps": [
409
409
  "c.reserved",
410
410
  "c.naming"
@@ -419,16 +419,16 @@
419
419
  },
420
420
  "requires": {
421
421
  "cella-lang": {
422
- "checkerHash": "c4fe6179f3823309",
422
+ "checkerHash": "0da4051b1bdbb166",
423
423
  "modules": [
424
424
  "int",
425
425
  "json",
426
426
  "list",
427
+ "ord",
427
428
  "nat",
428
429
  "array",
429
430
  "functor",
430
431
  "monad",
431
- "ord",
432
432
  "map"
433
433
  ]
434
434
  },
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@cella-lang/c",
3
- "version": "0.1.202611051128",
3
+ "version": "0.1.202611052037",
4
4
  "description": "C11 for Cella Lang, 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",
@@ -32,16 +32,16 @@
32
32
  "author": "SungYu Chang",
33
33
  "homepage": "https://cella-lang.org/",
34
34
  "peerDependencies": {
35
- "cella-lang": "0.1.202611051127",
36
- "@cella-lang/cfamily": "0.1.202611051127",
37
- "@cella-lang/machine": "0.1.202611051127"
35
+ "cella-lang": "0.1.202611051529",
36
+ "@cella-lang/cfamily": "0.1.202611052037",
37
+ "@cella-lang/machine": "0.1.202611052037"
38
38
  },
39
39
  "cella": {
40
- "checkerHash": "c4fe6179f3823309",
40
+ "checkerHash": "0da4051b1bdbb166",
41
41
  "cbfVersion": 30,
42
42
  "modules": [
43
43
  "c"
44
44
  ],
45
- "packHash": "5dc841c891177f84"
45
+ "packHash": "2413becee1435356"
46
46
  }
47
47
  }