@cella-lang/c 0.1.202611030134 → 0.1.202611031230

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 +29 -29
  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": "eac27d7a51e5e48b",
3
+ "checkerHash": "f28e4f94072ea17c",
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": "08f0da9a43c1656419c0b8ce6d89b3324812852364de30358324bf4550690d57",
14
+ "merkle": "053060ceb1647af5cbca76651a427c839db3fe998febe3d99f44c4b9f1d4a2b5",
15
15
  "own": "d13c6d62cd23c5dea3cba368e17244edfa34a34312a62a979b882db33fce98c3"
16
16
  },
17
17
  "c.C.constructs": {
@@ -23,11 +23,11 @@
23
23
  "own": "e5c268da261722e9b0ca45e0b57a9c7aa88d7293cbf7698b42a05c40cafc3ea2"
24
24
  },
25
25
  "c.C.dialect": {
26
- "merkle": "4e53e817c6acf3d44d258d9ba78ce694d5bb5d9a0ae1f82f65af4519fbcc7d07",
26
+ "merkle": "11cd3f47681c6984a7f8e23351fabd8d41ba7846d4ef5d9be626ba9fbcf74a68",
27
27
  "own": "ed21eca294f3b794263526369a34eb39a0d34593c156e83957e77cf87ab459df"
28
28
  },
29
29
  "c.C.effects": {
30
- "merkle": "d75f522e75e2ea7eb7ac1dbdc2031be0b15133958e7399d1e6551787c899b56c",
30
+ "merkle": "90ded6e981bb2292ccd68ac80f49a3163fde8b4bc2c5699446c1c9817a463cd9",
31
31
  "own": "0645cc945923c105f3dafcb3e1c1d7d68368861f607b3126a8b55a023f8ecd88"
32
32
  },
33
33
  "c.C.invalid": {
@@ -39,15 +39,15 @@
39
39
  "own": "eaf1dbc689ee34ebdd75738e5616cf3cc25acb0999851ef462bd9064c5b8d840"
40
40
  },
41
41
  "c.C.programDialect": {
42
- "merkle": "325b7cce15edc54782dc700c9032efcd6df6fbff2d3b5520ba990bfa05b23ad4",
42
+ "merkle": "17978f0c908426f7921c2c59a5c52064d6588b92749b56334c5281db13d5daf1",
43
43
  "own": "b46145b10b1ec510bcea885968534e672ca49976fa00020daaec8616896c29f4"
44
44
  },
45
45
  "c.C.programExtension": {
46
- "merkle": "f8f1f31c3f0541fbd4c45eab3721d6919f48ed29cab196037511973e04c4b296",
46
+ "merkle": "f039d69c532ada12bd3ded742355257f1e754fe5079a650320da3efe0eb60eba",
47
47
  "own": "d9221ce796a48482e8f997408365ef6a1611c50d36c92e2713de5733dc5efd6b"
48
48
  },
49
49
  "c.C.query": {
50
- "merkle": "b9ed6aea02993aa1ef9e5698332f53af3b9eac30c4d042d1e04661f28473cb0f",
50
+ "merkle": "63ee9566d8a10a7718cc72cdfb0ebe96d64950f5438e2c7346d05fed112f0887",
51
51
  "own": "11ce588500fba76fe041991a8ab82636fd36a1e6cc6f335224a2edb057012ace"
52
52
  },
53
53
  "c.C.queryError": {
@@ -55,8 +55,8 @@
55
55
  "own": "a1235c48359cfff7a14738be9779c6614f234c5f553bf601deb811f401e7aabb"
56
56
  },
57
57
  "c.C.rules": {
58
- "merkle": "a4bee531d3eca120e66e1e87acd6b1ddf0bdb993a0bf81700c14f027943de98a",
59
- "own": "7abbdf88d1e8bedc2eb5a20a62d9c2b67432caf641e80aebacae54f00e9fb258"
58
+ "merkle": "02cce7630d9983b28bf5655a068f2adf288712d2fe9dab447711aa0cedf7a89b",
59
+ "own": "8cf19a12e29389c167a36243701061d8a19654c154052cece7d2a371c91fd33a"
60
60
  },
61
61
  "c.C.typeText": {
62
62
  "merkle": "5ddeabcc06f0569e7f77ae706d2c86876fc5a0edcbc5fb9212f12c0854c97364",
@@ -67,7 +67,7 @@
67
67
  "own": "1a25a9ebb0b9a0dcf00c7e13fb6c9c805d057876cbc028168bdb7b32a30c05c8"
68
68
  },
69
69
  "c.C.verdictOf": {
70
- "merkle": "5105b282d3c58f03815be8c694571964e2c873f13b62568990ce43cfd69ae52e",
70
+ "merkle": "b931ff935b5578d4a79578f370ea61b3994abc12bd4c7311778304b70264bafc",
71
71
  "own": "fec6e45c6bad4e8e71c05b44bf66123d26b98e55521006442fed8b09fd7418bb"
72
72
  },
73
73
  "c.Declarations.atFileScope": {
@@ -295,7 +295,7 @@
295
295
  "own": "14dbe90a13e0c6379520b8acf723cbdd91e4150bb6ea4be0391505832bbeafe7"
296
296
  },
297
297
  "c.Session": {
298
- "merkle": "4e0c372fdfbc22a9a9a6f3b695c0b9d62e3e56da0f029c04825708692605b97e",
298
+ "merkle": "2d9724e10fb0fd53550e4f66faf9eae84057234272293349efdd5fe6b3e20c7c",
299
299
  "own": "5f2aa2ddcd274d9681b261fef5c5d771e027d9991df16fcee57046a8b44f1379"
300
300
  },
301
301
  "c.Stopping": {
@@ -319,51 +319,51 @@
319
319
  "own": "b6f526742e3e58d523ff394cf02b65390ec3fd0da05f3741ce17de86d0128e52"
320
320
  },
321
321
  "c.divergences": {
322
- "merkle": "4d01fd12ab860cd07610c9862b411ab1ff115aa4335ee04765732fd901726ff1",
322
+ "merkle": "92772de5af8de71f854a8e1b13f8b0bcf0f0ed38ca3627986d67dbcc4d0cdc93",
323
323
  "own": "de9d3c838b01c72ff49fe18576e3a159dd109265bc20c7503efc46fbbbbbd35b"
324
324
  },
325
325
  "c.env": {
326
- "merkle": "1dfa7f1d830ae7e7e716546b31270e67804d53cf1f61b024a49557476aa80d76",
326
+ "merkle": "64f6e8d5afbc963754d48986d28f46d151cdd5aa2b6946a5eb6ccbbe910f7fb5",
327
327
  "own": "ab37322f3b8af2b02d34f5b9a53dc2b45b122041b2ba74787b7fd5fe2e27bac2"
328
328
  },
329
329
  "c.feed": {
330
- "merkle": "37a18fd49d1c9fd8e1626b92fbc5c519e9c27e3475c0c4e67d0fe0203e1797d3",
330
+ "merkle": "eb713c93abdfa5d7c5867e6fffb264945d4f70c5add98eafc040d23fbc031035",
331
331
  "own": "7864535ea607169305600df86d3a2ab85f1332bea87ef33b63494eeb7cd316dd"
332
332
  },
333
333
  "c.frames": {
334
- "merkle": "d550bead8c86f5373643d73bb26eced99376660f64638e3bd1410f1b1bf6b8bd",
334
+ "merkle": "440d1f6af2cd21736d4002876acfc7f01ff14fac357dc82c9c9c3e9d34b3c5a4",
335
335
  "own": "def10961b479875af856ef073e8ea7c6898426ac98b70670f19aefba65cc1925"
336
336
  },
337
337
  "c.globals": {
338
- "merkle": "2b648f3c3f8d1e89a73e009eb561ca8a9fd1410eeb0c2288133f6686ebb4226e",
338
+ "merkle": "31114cba732b671d059c242ebf02d0498d8afd2810bc7e1bac02895db053fc00",
339
339
  "own": "8dba541a1a8378f623033bbe59250c50dcf28df708687ef2cc53c9dd94be5c6d"
340
340
  },
341
341
  "c.load": {
342
- "merkle": "77d84268702c0e1cb54a968999b67356c8da53ebc6a13e666b8ac4c935022266",
342
+ "merkle": "b81b5d1c8ab40ec5da9b73f157f1f282aaf2e75638fe6242152e93d17392b60e",
343
343
  "own": "5ceedaff2b6d23a0489509ec7a33f39ea8b4eb59a616023164e2a8cf9de2a0d5"
344
344
  },
345
345
  "c.report": {
346
- "merkle": "c279e00890b4c22c04afd9e7426e589ff2182745c0aa38282867b8791aea6409",
346
+ "merkle": "3500afde782422ba4696a148acb73d344409511af778daa97380608506f1f5e0",
347
347
  "own": "c5706db83acbe5bc1d46166bd1fda834786c790a206c89fade9d55a572dea072"
348
348
  },
349
349
  "c.run": {
350
- "merkle": "10b102b4089909ce0d67c5d104945e50c4b40828f21a282afe4d75ec0396b445",
350
+ "merkle": "18218822e546b3bc589927c2aadb3c4f4e0a8ab2b6d8ffb1ebc8a99dcacc0a3b",
351
351
  "own": "8402f87d17ffd371f59af73d2b387b2632bc4f7ccad14ccfe5d6be6c2cd3825b"
352
352
  },
353
353
  "c.setVarConf": {
354
- "merkle": "fa7a0809f9280ce9ecf6b94324a523ddd55f5fbd7650bfa4980adf3dfc93e9f0",
354
+ "merkle": "7571a1b03b8e6bc8ac11bb5f65707df107eae8306bc2e6fdd97f994426dee680",
355
355
  "own": "2afb7946a846f6d65a2b589bbddfaeab0aec8cf40ef16fbe081488b3dbbddc62"
356
356
  },
357
357
  "c.setVarErr": {
358
- "merkle": "19974c261922f0d41ef3652627acb10460f1bca2e77d68202f8c33f36f269acc",
358
+ "merkle": "a3df1925fc365b2c3867f8ec687353b7a128eb8545550248edd9800c429bf8aa",
359
359
  "own": "51fec8d8ab03ec9b592a51eaa27a72375a2e11880cf2bbb7d7a432dd703c45b6"
360
360
  },
361
361
  "c.stopConf": {
362
- "merkle": "0b2881534cb92425d7108f85a923187f783c1fa5dca4d42a973218aad71d4eca",
362
+ "merkle": "bd7f9ff170e8e22b23faf3d3d3558e02ef23d7b753f65a813fe326431e037924",
363
363
  "own": "b3a32738d550955851ba46306fb8159e034a91764abd240fca6703269d57966c"
364
364
  },
365
365
  "c.stopDetail": {
366
- "merkle": "4fc18a32b983afcf514f2f6b24fb747459ba6af6964c9a8b7b6775aca42bcd7d",
366
+ "merkle": "72d974b4f5b169a343b7a29393343b10d4bff772cb12aa2106f3e4a001f7539d",
367
367
  "own": "45067ad7cf6728983bb2c709b2c13f41f3f6c237c7a3315571b72d487f6f7338"
368
368
  },
369
369
  "c.stopErr": {
@@ -387,19 +387,19 @@
387
387
  "own": "052ff53c341ae938227fbd34cbf375bdfe1d7010e2f790b568ae0283a4129111"
388
388
  },
389
389
  "c.types": {
390
- "merkle": "127dd9840225947a77908fe4d01853e6e61476e4d665ec1d41f3a84546435b79",
390
+ "merkle": "19d82aeb2859d081f43358403a07688970e1d3f4577292c8aa3851e01d6f4b2a",
391
391
  "own": "cb383810e8c655e2b41d451bc3a03b1b2698fbd6d13261c91b4c31c1f025e748"
392
392
  },
393
393
  "c.verdict": {
394
- "merkle": "fa9de588b9e3d88d75641166e9e37dd078c5a5c43edb05a25d90a60d4cd4f687",
394
+ "merkle": "222b626017d4d6f03e769135552a3aec0a4e278a2919694cf2d6f119f2bb839e",
395
395
  "own": "1fbb2bc147062bce884860540f67730e9010dc1649e4cff876626e7e4a2c8566"
396
396
  }
397
397
  },
398
398
  "format": 1,
399
- "inputs": "7b3b52197996e2c09ee9a1a2b3bfed0e75d579dbbea632f6145472ebbefde667",
399
+ "inputs": "c55effafebf577af20a8021f8d2addcb27fe7d8ade9d6642c1b24aa493f0b598",
400
400
  "modules": {
401
401
  "c": {
402
- "bytes": 484669,
402
+ "bytes": 486806,
403
403
  "deps": [
404
404
  "c.reserved",
405
405
  "c.naming",
@@ -416,7 +416,7 @@
416
416
  ]
417
417
  },
418
418
  "c.naming": {
419
- "bytes": 259368,
419
+ "bytes": 259922,
420
420
  "deps": [
421
421
  "c.reserved",
422
422
  "c.naming"
@@ -431,7 +431,7 @@
431
431
  },
432
432
  "requires": {
433
433
  "cella-lang": {
434
- "checkerHash": "eac27d7a51e5e48b",
434
+ "checkerHash": "f28e4f94072ea17c",
435
435
  "modules": [
436
436
  "int",
437
437
  "json",
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@cella-lang/c",
3
- "version": "0.1.202611030134",
3
+ "version": "0.1.202611031230",
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.202611030133",
36
- "@cella-lang/cfamily": "0.1.202611030133",
37
- "@cella-lang/machine": "0.1.202611030133"
35
+ "cella-lang": "0.1.202611031229",
36
+ "@cella-lang/cfamily": "0.1.202611031230",
37
+ "@cella-lang/machine": "0.1.202611031229"
38
38
  },
39
39
  "cella": {
40
- "checkerHash": "eac27d7a51e5e48b",
40
+ "checkerHash": "f28e4f94072ea17c",
41
41
  "cbfVersion": 30,
42
42
  "modules": [
43
43
  "c"
44
44
  ],
45
- "packHash": "e647c8a6898582a5"
45
+ "packHash": "28cffcfd6a361c42"
46
46
  }
47
47
  }