@cella-lang/c 0.1.202611031748 → 0.1.202611040320

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 (5) hide show
  1. package/CHANGES.md +1 -0
  2. package/c.cell +0 -0
  3. package/c.naming.cell +0 -0
  4. package/index.json +33 -33
  5. package/package.json +4 -4
package/CHANGES.md CHANGED
@@ -6,6 +6,7 @@
6
6
 
7
7
  ### ⚠️ 不相容
8
8
 
9
+ - 判決的問題多 `params` 與 `structured`，未宣告的名字的 kind 改成 `undeclared`（判決由 @cella-lang/cfamily 產生，見它的變更紀錄；種類清單是 cfamily 的 `verdict-kinds.json`）。
9
10
  - 判決每個問題的 `class` 改名為 `category`（判決由 @cella-lang/cfamily 產生，見它的變更紀錄）。
10
11
 
11
12
  - `int a = {5};` 是 5（C11 6.7.9p11；之前判 reject）；`int b = {};` 判 reject（初始值清單至少一個，C23 才有空的）。
package/c.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": "053060ceb1647af5cbca76651a427c839db3fe998febe3d99f44c4b9f1d4a2b5",
14
+ "merkle": "85a5bb3d73f18e59314f41a1ac9ec892a4eb361701618d35a044a3ed8356aaa5",
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": "11cd3f47681c6984a7f8e23351fabd8d41ba7846d4ef5d9be626ba9fbcf74a68",
26
+ "merkle": "71c6d51f3803fcef4cd8b2b7f59c1907fac99f8c661896edf9316917dfcc57bb",
27
27
  "own": "ed21eca294f3b794263526369a34eb39a0d34593c156e83957e77cf87ab459df"
28
28
  },
29
29
  "c.C.effects": {
@@ -31,23 +31,23 @@
31
31
  "own": "0645cc945923c105f3dafcb3e1c1d7d68368861f607b3126a8b55a023f8ecd88"
32
32
  },
33
33
  "c.C.invalid": {
34
- "merkle": "ef8baee2378f7b2f4492b8ecfad5b8327d5026e37aa74b07bd08fd8fc6d58710",
35
- "own": "e21751bfdfc6328f7d9e862aae711d17035a3360ac9e0f657747396fab198387"
34
+ "merkle": "c76ffe284c66347825026f23d2ea41cb6f9775548066a0c5b0e051479db9b869",
35
+ "own": "e1a2122fbb70163c8a1f7dd84265d60878b871eaaa3acc93b598e467a3ae791a"
36
36
  },
37
37
  "c.C.mismatch": {
38
38
  "merkle": "2d58e7474b041648b99b2ca17ef239d3395869ac119f1095685d57c1027f147a",
39
39
  "own": "eaf1dbc689ee34ebdd75738e5616cf3cc25acb0999851ef462bd9064c5b8d840"
40
40
  },
41
41
  "c.C.programDialect": {
42
- "merkle": "17978f0c908426f7921c2c59a5c52064d6588b92749b56334c5281db13d5daf1",
42
+ "merkle": "ef755beec0c8eea0745fe345dd629807340c4f2d356e769d0355612a41862307",
43
43
  "own": "b46145b10b1ec510bcea885968534e672ca49976fa00020daaec8616896c29f4"
44
44
  },
45
45
  "c.C.programExtension": {
46
- "merkle": "f039d69c532ada12bd3ded742355257f1e754fe5079a650320da3efe0eb60eba",
47
- "own": "d9221ce796a48482e8f997408365ef6a1611c50d36c92e2713de5733dc5efd6b"
46
+ "merkle": "4df037c56da80af9614e9a512ff22b40a331ea88e60e4a6759f7a9b860ba1885",
47
+ "own": "a0d5295a443ca335afa421ede4afba58adc50aaf16dab494a007947994579918"
48
48
  },
49
49
  "c.C.query": {
50
- "merkle": "63ee9566d8a10a7718cc72cdfb0ebe96d64950f5438e2c7346d05fed112f0887",
50
+ "merkle": "5b1ff785ec152874785689c90be738db62096b2e942e78245ebcf177d125dd8f",
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": "b931ff935b5578d4a79578f370ea61b3994abc12bd4c7311778304b70264bafc",
70
+ "merkle": "7b9cae42031bbca65202ad76bf9fd10b2e817f28e31338ea5889a7208fd2ced3",
71
71
  "own": "fec6e45c6bad4e8e71c05b44bf66123d26b98e55521006442fed8b09fd7418bb"
72
72
  },
73
73
  "c.Declarations.atFileScope": {
@@ -295,11 +295,11 @@
295
295
  "own": "14dbe90a13e0c6379520b8acf723cbdd91e4150bb6ea4be0391505832bbeafe7"
296
296
  },
297
297
  "c.Session": {
298
- "merkle": "2d9724e10fb0fd53550e4f66faf9eae84057234272293349efdd5fe6b3e20c7c",
298
+ "merkle": "4892fa194514d0fb5226eeddf9ae35fa8a4a0bc0051b4c0c1c9a7eee1c22ca6c",
299
299
  "own": "5f2aa2ddcd274d9681b261fef5c5d771e027d9991df16fcee57046a8b44f1379"
300
300
  },
301
301
  "c.Stopping": {
302
- "merkle": "b3342df546dae4e4dbe7db1ea60fa41e00ef151bd159577026d8ad6ec8a452dd",
302
+ "merkle": "5b8181d213801349d0ad6659a3d427fbb0b79ef82c4d2206d16a8ae008c7b8d9",
303
303
  "own": "bc39e326f40233d48b18e0306abb73a2b77bc1cb4eb4bac5a70ca5c1b24e146d"
304
304
  },
305
305
  "c.TypeSyntax.anyQualifiesFunction": {
@@ -319,87 +319,87 @@
319
319
  "own": "b6f526742e3e58d523ff394cf02b65390ec3fd0da05f3741ce17de86d0128e52"
320
320
  },
321
321
  "c.divergences": {
322
- "merkle": "92772de5af8de71f854a8e1b13f8b0bcf0f0ed38ca3627986d67dbcc4d0cdc93",
322
+ "merkle": "b43e95abe9f1efef4f4e0e40b469847beaf89bc8b63228b3da8eb7991c18a326",
323
323
  "own": "de9d3c838b01c72ff49fe18576e3a159dd109265bc20c7503efc46fbbbbbd35b"
324
324
  },
325
325
  "c.env": {
326
- "merkle": "64f6e8d5afbc963754d48986d28f46d151cdd5aa2b6946a5eb6ccbbe910f7fb5",
326
+ "merkle": "e68908f8230ad4aad77626de86384c329ef35c3dfad210fbee681f0861557a94",
327
327
  "own": "ab37322f3b8af2b02d34f5b9a53dc2b45b122041b2ba74787b7fd5fe2e27bac2"
328
328
  },
329
329
  "c.feed": {
330
- "merkle": "eb713c93abdfa5d7c5867e6fffb264945d4f70c5add98eafc040d23fbc031035",
330
+ "merkle": "0869ce5af636cb445b52a634c18e4781fb82b1551158a6dc0b8d6232f3c7b35c",
331
331
  "own": "7864535ea607169305600df86d3a2ab85f1332bea87ef33b63494eeb7cd316dd"
332
332
  },
333
333
  "c.frames": {
334
- "merkle": "440d1f6af2cd21736d4002876acfc7f01ff14fac357dc82c9c9c3e9d34b3c5a4",
334
+ "merkle": "87005fc1ecb5f232d7d778889faf7db366ec7f83983e0e8e6de1df58f16cdbc7",
335
335
  "own": "def10961b479875af856ef073e8ea7c6898426ac98b70670f19aefba65cc1925"
336
336
  },
337
337
  "c.globals": {
338
- "merkle": "31114cba732b671d059c242ebf02d0498d8afd2810bc7e1bac02895db053fc00",
338
+ "merkle": "776d94e5a5986dbf8ee830393d65f506a3563ddbd3460892bcc8a41e56c384f3",
339
339
  "own": "8dba541a1a8378f623033bbe59250c50dcf28df708687ef2cc53c9dd94be5c6d"
340
340
  },
341
341
  "c.load": {
342
- "merkle": "b81b5d1c8ab40ec5da9b73f157f1f282aaf2e75638fe6242152e93d17392b60e",
342
+ "merkle": "749817ab1c4b8e5980a02e928a9cda55a74de3736e4ca74e16c3cbeb55e3ea31",
343
343
  "own": "5ceedaff2b6d23a0489509ec7a33f39ea8b4eb59a616023164e2a8cf9de2a0d5"
344
344
  },
345
345
  "c.report": {
346
- "merkle": "3500afde782422ba4696a148acb73d344409511af778daa97380608506f1f5e0",
346
+ "merkle": "59733cad1a0d6d428b02ecc9e53ce09b7a926880b7da499f747d3ea8c9428b81",
347
347
  "own": "c5706db83acbe5bc1d46166bd1fda834786c790a206c89fade9d55a572dea072"
348
348
  },
349
349
  "c.run": {
350
- "merkle": "18218822e546b3bc589927c2aadb3c4f4e0a8ab2b6d8ffb1ebc8a99dcacc0a3b",
350
+ "merkle": "0c0537670780fe20372a27282c7a51979f0a9951929dcaada0d7459aac456d51",
351
351
  "own": "8402f87d17ffd371f59af73d2b387b2632bc4f7ccad14ccfe5d6be6c2cd3825b"
352
352
  },
353
353
  "c.setVarConf": {
354
- "merkle": "7571a1b03b8e6bc8ac11bb5f65707df107eae8306bc2e6fdd97f994426dee680",
354
+ "merkle": "4617d4e82106e75e8281131b43ed85dcd407bb1dbe8b658b49f9acfc54c162a5",
355
355
  "own": "2afb7946a846f6d65a2b589bbddfaeab0aec8cf40ef16fbe081488b3dbbddc62"
356
356
  },
357
357
  "c.setVarErr": {
358
- "merkle": "a3df1925fc365b2c3867f8ec687353b7a128eb8545550248edd9800c429bf8aa",
358
+ "merkle": "b828472b6796a0396cba43a79f7005f034a12126b2daf0992c790dc6560870f3",
359
359
  "own": "51fec8d8ab03ec9b592a51eaa27a72375a2e11880cf2bbb7d7a432dd703c45b6"
360
360
  },
361
361
  "c.stopConf": {
362
- "merkle": "bd7f9ff170e8e22b23faf3d3d3558e02ef23d7b753f65a813fe326431e037924",
362
+ "merkle": "ad8c635ad9703bcdbb0837c18c21bca6d609b1861908869627a88c38237c16d0",
363
363
  "own": "b3a32738d550955851ba46306fb8159e034a91764abd240fca6703269d57966c"
364
364
  },
365
365
  "c.stopDetail": {
366
- "merkle": "72d974b4f5b169a343b7a29393343b10d4bff772cb12aa2106f3e4a001f7539d",
366
+ "merkle": "8f9e92dcab850fb1019f9c6679c22b25ad9cc3dea0d7c09d20b59df033162825",
367
367
  "own": "45067ad7cf6728983bb2c709b2c13f41f3f6c237c7a3315571b72d487f6f7338"
368
368
  },
369
369
  "c.stopErr": {
370
- "merkle": "0c23b35952ebfe65408e6b5140c317abb8d29d0ff81695a910c0621357dc3112",
370
+ "merkle": "54f05ac9d860c6c102393bd2d45fc6e96c87687425bed1cbd1d6422e88e0319c",
371
371
  "own": "c8acb79bc39febd3a4095543e62d9a8a90f375a7b744f9a09d7314718c7d805f"
372
372
  },
373
373
  "c.stopKind": {
374
- "merkle": "7f88e1b296534b078c2a695cc194034a640ee58fc75542a68271c417b21fc81d",
374
+ "merkle": "4aea683602ed36a21f8cb4bff60beb80020eee94c2cc146e4da24fa7accdb641",
375
375
  "own": "74774d2c94e831fb648e3b23d406d988bf95e868d319b0efd6a14def61c23389"
376
376
  },
377
377
  "c.stopNode": {
378
- "merkle": "c0565d95cb2517dbdfa8e7ffb6a2068f721d04bdddae288781de1d70c685f310",
378
+ "merkle": "db4c34dd3f0e73c1cf41113ccf8766bbd25733669dd2a62387d69f35daa232d6",
379
379
  "own": "5c6be8b0f8fd43839fb952963f06c96e681fcaf6ba69febcf7a7625a313afa52"
380
380
  },
381
381
  "c.stopOut": {
382
- "merkle": "4f3850d1ff8ff2d64d9be25ff52d57f289eaa4bbb4fac618e2b2e92eda49d4af",
382
+ "merkle": "72112689c16d55ad7810030e2f643d36c8db5601587974e5361da089e469c63d",
383
383
  "own": "1973ec33b1e3d5338cb39747b32d567cbb47166398a732c383cfe872d9d839ce"
384
384
  },
385
385
  "c.stopVisits": {
386
- "merkle": "deda2b9003cd010b0b488751544eab77122727d801af4074b0e602ac02ab0088",
386
+ "merkle": "a1db1f50e41cb2f590a00e6cf7960da1693379559c6d49f70db47d4bd8c42430",
387
387
  "own": "052ff53c341ae938227fbd34cbf375bdfe1d7010e2f790b568ae0283a4129111"
388
388
  },
389
389
  "c.types": {
390
- "merkle": "19d82aeb2859d081f43358403a07688970e1d3f4577292c8aa3851e01d6f4b2a",
390
+ "merkle": "89f66885adc61c9f6b2e2c67b314007ebb6cf3a5bc36a38384d363b1ae197e4c",
391
391
  "own": "cb383810e8c655e2b41d451bc3a03b1b2698fbd6d13261c91b4c31c1f025e748"
392
392
  },
393
393
  "c.verdict": {
394
- "merkle": "222b626017d4d6f03e769135552a3aec0a4e278a2919694cf2d6f119f2bb839e",
394
+ "merkle": "82f0988ac583d9f66de83eb12bfed274e7dfa7363209c5b879c1dd8a6f7b7021",
395
395
  "own": "1fbb2bc147062bce884860540f67730e9010dc1649e4cff876626e7e4a2c8566"
396
396
  }
397
397
  },
398
398
  "format": 1,
399
- "inputs": "c55effafebf577af20a8021f8d2addcb27fe7d8ade9d6642c1b24aa493f0b598",
399
+ "inputs": "27dd72455aea27b7f0c8375563d2e11eec9d12d27b8a92c25be9f99ac567c11d",
400
400
  "modules": {
401
401
  "c": {
402
- "bytes": 486806,
402
+ "bytes": 488358,
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": 259922,
419
+ "bytes": 261305,
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.202611031748",
3
+ "version": "0.1.202611040320",
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",
@@ -33,8 +33,8 @@
33
33
  "homepage": "https://cella-lang.org/",
34
34
  "peerDependencies": {
35
35
  "cella-lang": "0.1.202611031747",
36
- "@cella-lang/cfamily": "0.1.202611031747",
37
- "@cella-lang/machine": "0.1.202611031747"
36
+ "@cella-lang/cfamily": "0.1.202611040319",
37
+ "@cella-lang/machine": "0.1.202611040319"
38
38
  },
39
39
  "cella": {
40
40
  "checkerHash": "2b97c828cf9b5085",
@@ -42,6 +42,6 @@
42
42
  "modules": [
43
43
  "c"
44
44
  ],
45
- "packHash": "28cffcfd6a361c42"
45
+ "packHash": "26038a20fc72d8a4"
46
46
  }
47
47
  }