@cella-lang/c 0.1.202611020538 → 0.1.202611021533

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 (6) hide show
  1. package/CHANGES.md +1 -0
  2. package/c.cell +0 -0
  3. package/c.declarations.cell +0 -0
  4. package/c.naming.cell +0 -0
  5. package/index.json +30 -30
  6. package/package.json +5 -5
package/CHANGES.md CHANGED
@@ -4,6 +4,7 @@
4
4
 
5
5
  ## 未發佈
6
6
 
7
+ - `int a = {5};` 是 5（C11 6.7.9p11；之前判 reject）；`int b = {};` 判 reject（初始值清單至少一個，C23 才有空的）。
7
8
  - 有號的左移結果放不進（`1 << 31`）：問題的種類從 `ubOverflow`（6.5p5）改成 `ubShift`（C11 6.5.7p4），和 clang 的 UBSan 一致；判決照舊是 reject。
8
9
  - **不相容**：淺嵌入整個拿掉，C 程式改由深嵌入的分支服務。程式是 `@cella-lang/cfamily` 語法的 JSON（`"lang": {"k": "langC"}`），
9
10
  入口是 `c.verdict src input fuel`、`c.types src candidates` 與除錯器（`load`、`run`、`stopKind`…、`report`）；kernel 判決是
package/c.cell CHANGED
Binary file
package/c.declarations.cell CHANGED
Binary file
package/c.naming.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": "2eb6c19d7552ec4a10a882c1559035380e1323c8b5cb63e34fa32b64db268384",
14
+ "merkle": "08f0da9a43c1656419c0b8ce6d89b3324812852364de30358324bf4550690d57",
15
15
  "own": "d13c6d62cd23c5dea3cba368e17244edfa34a34312a62a979b882db33fce98c3"
16
16
  },
17
17
  "c.C.constructs": {
@@ -23,7 +23,7 @@
23
23
  "own": "e5c268da261722e9b0ca45e0b57a9c7aa88d7293cbf7698b42a05c40cafc3ea2"
24
24
  },
25
25
  "c.C.dialect": {
26
- "merkle": "e1bce57caee041bd75cbbf8d381dabd81000ceb9c27f122b6807658bf959aca6",
26
+ "merkle": "4e53e817c6acf3d44d258d9ba78ce694d5bb5d9a0ae1f82f65af4519fbcc7d07",
27
27
  "own": "ed21eca294f3b794263526369a34eb39a0d34593c156e83957e77cf87ab459df"
28
28
  },
29
29
  "c.C.effects": {
@@ -39,24 +39,24 @@
39
39
  "own": "eaf1dbc689ee34ebdd75738e5616cf3cc25acb0999851ef462bd9064c5b8d840"
40
40
  },
41
41
  "c.C.programDialect": {
42
- "merkle": "ad751eafa98b2626ebd2936a8164c3da6151323e1e5143f8268f5206310edb9b",
42
+ "merkle": "325b7cce15edc54782dc700c9032efcd6df6fbff2d3b5520ba990bfa05b23ad4",
43
43
  "own": "b46145b10b1ec510bcea885968534e672ca49976fa00020daaec8616896c29f4"
44
44
  },
45
45
  "c.C.programExtension": {
46
- "merkle": "e39886c4272f635d37112223dd9d46e5edf1c127a179decfc60d7479c5f34fa3",
46
+ "merkle": "f8f1f31c3f0541fbd4c45eab3721d6919f48ed29cab196037511973e04c4b296",
47
47
  "own": "d9221ce796a48482e8f997408365ef6a1611c50d36c92e2713de5733dc5efd6b"
48
48
  },
49
49
  "c.C.query": {
50
- "merkle": "eec7d1dd2edd3f622d1f3bf7d87ec688d86eaf081ce502640bc89cb06cc1b7c6",
50
+ "merkle": "b9ed6aea02993aa1ef9e5698332f53af3b9eac30c4d042d1e04661f28473cb0f",
51
51
  "own": "11ce588500fba76fe041991a8ab82636fd36a1e6cc6f335224a2edb057012ace"
52
52
  },
53
53
  "c.C.queryError": {
54
- "merkle": "09b84bfe80d6b3661a107a0197827f466cf4e847b6e0b963ac0fa8cb8a3e721e",
54
+ "merkle": "e215b574d481d78e93bb4271a2c6778ef3fbc4ab8f357b7ccc41a2b41a1b920b",
55
55
  "own": "a1235c48359cfff7a14738be9779c6614f234c5f553bf601deb811f401e7aabb"
56
56
  },
57
57
  "c.C.rules": {
58
- "merkle": "a731079da2d319651cf99af61886952daf33f524d4633754251a336868d4a91d",
59
- "own": "8517cdf241daa3ba00964a7f5ffe71684de035a301d21f96a88a885056bd392e"
58
+ "merkle": "a4bee531d3eca120e66e1e87acd6b1ddf0bdb993a0bf81700c14f027943de98a",
59
+ "own": "7abbdf88d1e8bedc2eb5a20a62d9c2b67432caf641e80aebacae54f00e9fb258"
60
60
  },
61
61
  "c.C.typeText": {
62
62
  "merkle": "5ddeabcc06f0569e7f77ae706d2c86876fc5a0edcbc5fb9212f12c0854c97364",
@@ -67,11 +67,11 @@
67
67
  "own": "1a25a9ebb0b9a0dcf00c7e13fb6c9c805d057876cbc028168bdb7b32a30c05c8"
68
68
  },
69
69
  "c.C.verdictOf": {
70
- "merkle": "29c5b9ecb8a04810601ca6d6590e20829d38883d248bc9d16f14081223cfc92d",
70
+ "merkle": "4a914caa0426cafa99e7265fe81cfe03ed8fb5e3d79dedca34f5e6c4449136dd",
71
71
  "own": "fec6e45c6bad4e8e71c05b44bf66123d26b98e55521006442fed8b09fd7418bb"
72
72
  },
73
73
  "c.Declarations.atFileScope": {
74
- "merkle": "dcadbe4bd8fa461d46a2ade0b4c1d4c8dbac9244d50b9d421845974315fa5752",
74
+ "merkle": "0adc0ed89881dcea211cc8f04b9bcc539018143dee668b09b45d32e9b3b2fbd3",
75
75
  "own": "807cbe0e7f705c8fa0231551a7f9ca0d33b84726d30c288c1f42911944794819"
76
76
  },
77
77
  "c.Declarations.clashAtFileScope": {
@@ -91,7 +91,7 @@
91
91
  "own": "22b576aa10dceecdc784cc86ca5d69e4569f7d51e719920af2d891aebb3c3a20"
92
92
  },
93
93
  "c.Declarations.firstWrong": {
94
- "merkle": "6e765e27d7f5a8111fba3f61d6c77c115091601134c3243f40941bd13e7f0a97",
94
+ "merkle": "a875b8413357e9b98ca4e33c51bea6c7bba907b690326ec0a689ad93e7fb834f",
95
95
  "own": "c07760248d1dd0192ead18492236410d51e22b5f75dabc394efb047542888a8c"
96
96
  },
97
97
  "c.Declarations.inClauses": {
@@ -163,11 +163,11 @@
163
163
  "own": "e044ca120b8c6ed714e6dde3a2f1303c902144bc21aeb955a186248da34d5516"
164
164
  },
165
165
  "c.Naming.firstReserved": {
166
- "merkle": "06ae21ce384af87339b21e1df108ba577300a5ae63ae9d182843e4bdd0961791",
166
+ "merkle": "6424077cfbb8d53df64239ccc5967657968cab00104f0dbebf59f1217992380d",
167
167
  "own": "e54844a710c1851faffacfe09974d477cd0af26c6dfafd3ccd9e7e54850a3ed1"
168
168
  },
169
169
  "c.Naming.headers": {
170
- "merkle": "c71ff5a159bbaebb08b15b32379c3fbb47dcd9dc9fa65ba3ee7ee48621c0c536",
170
+ "merkle": "bda890016d5fb99469813cdafbeafc54b61a88f15aa923a3993a6fe59c60b1af",
171
171
  "own": "3646dffb4e8df9277ef2b5c18bc43355e05ad10f2b0a36f4d247d884cc8a9faa"
172
172
  },
173
173
  "c.Naming.initial": {
@@ -319,7 +319,7 @@
319
319
  "own": "b6f526742e3e58d523ff394cf02b65390ec3fd0da05f3741ce17de86d0128e52"
320
320
  },
321
321
  "c.divergences": {
322
- "merkle": "899e3b104a77da46e70c41d1ff8885136f56b55f8f3f2c1a0529a5b7d7327015",
322
+ "merkle": "aedb6de9168962bc06cde7540801e453fc923266bea147ea84c40a134f09366d",
323
323
  "own": "de9d3c838b01c72ff49fe18576e3a159dd109265bc20c7503efc46fbbbbbd35b"
324
324
  },
325
325
  "c.env": {
@@ -327,27 +327,27 @@
327
327
  "own": "ab37322f3b8af2b02d34f5b9a53dc2b45b122041b2ba74787b7fd5fe2e27bac2"
328
328
  },
329
329
  "c.feed": {
330
- "merkle": "b03990bbd109f090549a6228c1ef98ceb02acd1896b170fc65a1f447edc804fb",
330
+ "merkle": "37a18fd49d1c9fd8e1626b92fbc5c519e9c27e3475c0c4e67d0fe0203e1797d3",
331
331
  "own": "7864535ea607169305600df86d3a2ab85f1332bea87ef33b63494eeb7cd316dd"
332
332
  },
333
333
  "c.frames": {
334
- "merkle": "5942203ed99bf17b9568105638f1215a864f1d27c46d3274b182a322dc2b457b",
334
+ "merkle": "d550bead8c86f5373643d73bb26eced99376660f64638e3bd1410f1b1bf6b8bd",
335
335
  "own": "def10961b479875af856ef073e8ea7c6898426ac98b70670f19aefba65cc1925"
336
336
  },
337
337
  "c.globals": {
338
- "merkle": "6732d3d1ce5ed955a8d1c6b021760a1ca59fffa55359e1a6f266878c02c16c75",
338
+ "merkle": "2b648f3c3f8d1e89a73e009eb561ca8a9fd1410eeb0c2288133f6686ebb4226e",
339
339
  "own": "8dba541a1a8378f623033bbe59250c50dcf28df708687ef2cc53c9dd94be5c6d"
340
340
  },
341
341
  "c.load": {
342
- "merkle": "8bf645787d3a009d83879694933c4cfb5225160e2e89a8964d37e47f14a2ae7a",
342
+ "merkle": "77d84268702c0e1cb54a968999b67356c8da53ebc6a13e666b8ac4c935022266",
343
343
  "own": "5ceedaff2b6d23a0489509ec7a33f39ea8b4eb59a616023164e2a8cf9de2a0d5"
344
344
  },
345
345
  "c.report": {
346
- "merkle": "56148222653e32392cd09294dff458b576f26849605042976782a96f0a1ec1ad",
346
+ "merkle": "39631b314e9ce43a69b2b1084da388310e7c86ddabd9f19d6f0efa9c2f2fa0a8",
347
347
  "own": "c5706db83acbe5bc1d46166bd1fda834786c790a206c89fade9d55a572dea072"
348
348
  },
349
349
  "c.run": {
350
- "merkle": "09575cc249be5f9985b82675c3701a4713423dbfd06b6464195d6ee4cd0262d6",
350
+ "merkle": "d64ceb5a5063a84a4e679350e428e44d69a52904766a92c1e5f2b2243c5b0afd",
351
351
  "own": "8402f87d17ffd371f59af73d2b387b2632bc4f7ccad14ccfe5d6be6c2cd3825b"
352
352
  },
353
353
  "c.setVarConf": {
@@ -363,11 +363,11 @@
363
363
  "own": "b3a32738d550955851ba46306fb8159e034a91764abd240fca6703269d57966c"
364
364
  },
365
365
  "c.stopDetail": {
366
- "merkle": "39cf62afd565704169197e86e5af9437f673b5d4c1570996fca82b3c5afde9fc",
366
+ "merkle": "768b0439cee9bd96876dc2c8d65cc3b897bdae5f4c17a96b10e8f399e8eaae68",
367
367
  "own": "45067ad7cf6728983bb2c709b2c13f41f3f6c237c7a3315571b72d487f6f7338"
368
368
  },
369
369
  "c.stopErr": {
370
- "merkle": "7acc9fc3833be3ac6874c65a701d9d34878c6484f58ba79ef532159158098f5c",
370
+ "merkle": "0c23b35952ebfe65408e6b5140c317abb8d29d0ff81695a910c0621357dc3112",
371
371
  "own": "c8acb79bc39febd3a4095543e62d9a8a90f375a7b744f9a09d7314718c7d805f"
372
372
  },
373
373
  "c.stopKind": {
@@ -379,27 +379,27 @@
379
379
  "own": "5c6be8b0f8fd43839fb952963f06c96e681fcaf6ba69febcf7a7625a313afa52"
380
380
  },
381
381
  "c.stopOut": {
382
- "merkle": "94766a2d2b4f486e7dd79eac9e1c9f68d0f54cc5f927045f761f1d00cf4f1074",
382
+ "merkle": "4f3850d1ff8ff2d64d9be25ff52d57f289eaa4bbb4fac618e2b2e92eda49d4af",
383
383
  "own": "1973ec33b1e3d5338cb39747b32d567cbb47166398a732c383cfe872d9d839ce"
384
384
  },
385
385
  "c.stopVisits": {
386
- "merkle": "c8d81c43fb1ef5306f5d8b6078405b127313ff528ce65559d1046e2390c6c8bc",
386
+ "merkle": "deda2b9003cd010b0b488751544eab77122727d801af4074b0e602ac02ab0088",
387
387
  "own": "052ff53c341ae938227fbd34cbf375bdfe1d7010e2f790b568ae0283a4129111"
388
388
  },
389
389
  "c.types": {
390
- "merkle": "7196a17eab2c49e0b9af978f3b7befb82b4f57a53ffa55c285f09ab26bd135c0",
390
+ "merkle": "127dd9840225947a77908fe4d01853e6e61476e4d665ec1d41f3a84546435b79",
391
391
  "own": "cb383810e8c655e2b41d451bc3a03b1b2698fbd6d13261c91b4c31c1f025e748"
392
392
  },
393
393
  "c.verdict": {
394
- "merkle": "29367dbedc7c8361c13a260fdc84df7dcf96ef2bc622ca8bdefa45ee629fd26f",
394
+ "merkle": "87ba35bbdfef23aa5222fca9d8ff2898d3f90c85d7d4d357806e172cfe3df58b",
395
395
  "own": "1fbb2bc147062bce884860540f67730e9010dc1649e4cff876626e7e4a2c8566"
396
396
  }
397
397
  },
398
398
  "format": 1,
399
- "inputs": "c5d9a1d4bce1bbf64abd4bb38273c872a8175244480bbfcf03e2e515d51f0d79",
399
+ "inputs": "576a835ebb26769389765d3d95b7929d42f650fec0306cc01692a2d79c7460f2",
400
400
  "modules": {
401
401
  "c": {
402
- "bytes": 484383,
402
+ "bytes": 484557,
403
403
  "deps": [
404
404
  "c.reserved",
405
405
  "c.naming",
@@ -408,7 +408,7 @@
408
408
  ]
409
409
  },
410
410
  "c.declarations": {
411
- "bytes": 172911,
411
+ "bytes": 172973,
412
412
  "deps": [
413
413
  "c.reserved",
414
414
  "c.naming",
@@ -416,7 +416,7 @@
416
416
  ]
417
417
  },
418
418
  "c.naming": {
419
- "bytes": 259312,
419
+ "bytes": 259368,
420
420
  "deps": [
421
421
  "c.reserved",
422
422
  "c.naming"
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@cella-lang/c",
3
- "version": "0.1.202611020538",
3
+ "version": "0.1.202611021533",
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,9 +32,9 @@
32
32
  "author": "SungYu Chang",
33
33
  "homepage": "https://cella-lang.org/",
34
34
  "peerDependencies": {
35
- "cella-lang": "0.1.202611020258",
36
- "@cella-lang/cfamily": "0.1.202611020538",
37
- "@cella-lang/machine": "0.1.202611020538"
35
+ "cella-lang": "0.1.202611021533",
36
+ "@cella-lang/cfamily": "0.1.202611021533",
37
+ "@cella-lang/machine": "0.1.202611021533"
38
38
  },
39
39
  "cella": {
40
40
  "checkerHash": "eac27d7a51e5e48b",
@@ -42,6 +42,6 @@
42
42
  "modules": [
43
43
  "c"
44
44
  ],
45
- "packHash": "80bda7eaaffa89a7"
45
+ "packHash": "c731b3e2b746bddb"
46
46
  }
47
47
  }