@cella-lang/c 0.1.202611041234 → 0.1.202611050118

package/CHANGES.md

@@ -4,6 +4,11 @@
 
 ## 未發佈
 
+- `scanf(...)`、`printf(...)` 當運算式（`while (scanf("%d", &x) == 1)`；見 `@cella-lang/cfamily`）：之前是未宣告。scanf 的 `%c` 不再多寫 null、
+  支援 `%n`。
+- 效果摘要：程式的函式呼叫 C 函式庫的函式時照函式庫的效果算（`int rd(void)` 裡的 scanf、`gc` 裡的 getchar 讀寫主控台）；之前一律只是讀別處的記憶體，
+  `rd() - rd()` 兩種順序沒有比，判 accept。
+
 ### ⚠️ 不相容
 
 - 判決的問題多 `params` 與 `structured`，未宣告的名字的 kind 改成 `undeclared`（判決由 @cella-lang/cfamily 產生，見它的變更紀錄；種類清單是 cfamily 的 `verdict-kinds.json`）。

package/index.json

@@ -1,6 +1,6 @@
 {
   "cbfVersion": 30,
-  "checkerHash": "ee7191d202f1037b",
+  "checkerHash": "138f758afecea3bf",
   "defs": {
     "__RecordTag_c.Declared": {
       "merkle": "c9cb2c27c7dd0a753e9dfc84b7ceb6356f2b6b44feaf9ac05b25ca17c6767be2",
@@ -11,8 +11,8 @@
       "own": "5b0f70bc2ee6d3ea97c9cbb1513d057573a3e4efaf2ebba81e4de38ee4decca4"
     },
     "c.C.checking": {
-      "merkle": "85a5bb3d73f18e59314f41a1ac9ec892a4eb361701618d35a044a3ed8356aaa5",
-      "own": "d13c6d62cd23c5dea3cba368e17244edfa34a34312a62a979b882db33fce98c3"
+      "merkle": "cda1b22cf671714df425beb89216ff787605a69a85b2b7e7b0b3b738e55d68ed",
+      "own": "e0a5043f69d3d0fcf50d98cbecbda7baf12118d8709d6d669ea31f163c2025db"
     },
     "c.C.constructs": {
       "merkle": "9a52a1cd704531a1efa34397e0fd87a5c2555e625aa513e531078157073a2a52",
@@ -23,31 +23,39 @@
       "own": "e5c268da261722e9b0ca45e0b57a9c7aa88d7293cbf7698b42a05c40cafc3ea2"
     },
     "c.C.dialect": {
-      "merkle": "71c6d51f3803fcef4cd8b2b7f59c1907fac99f8c661896edf9316917dfcc57bb",
+      "merkle": "f8a26b0d51bd7f985ee62f8d83abf138b56fe347938170bda2192fcc103e5e4d",
       "own": "ed21eca294f3b794263526369a34eb39a0d34593c156e83957e77cf87ab459df"
     },
     "c.C.effects": {
-      "merkle": "90ded6e981bb2292ccd68ac80f49a3163fde8b4bc2c5699446c1c9817a463cd9",
-      "own": "0645cc945923c105f3dafcb3e1c1d7d68368861f607b3126a8b55a023f8ecd88"
+      "merkle": "1d0b1f8691596f0f75e9cac07d10edbe2dcc2a45aaed268f05bdf245757c5ddd",
+      "own": "a00cc304f9a8a4d929f31ae667c67b34f0512550596b776d64d353e95d98980b"
     },
     "c.C.invalid": {
       "merkle": "c76ffe284c66347825026f23d2ea41cb6f9775548066a0c5b0e051479db9b869",
       "own": "e1a2122fbb70163c8a1f7dd84265d60878b871eaaa3acc93b598e467a3ae791a"
     },
+    "c.C.library": {
+      "merkle": "8b7ab4cceee420c76762e84bec8d65464442bdc4c277b41699e5a45cfe6ef8e4",
+      "own": "d6151d1aafd468eac566f839ad243c1af47b4fabddab2da555da6b88a9d33133"
+    },
+    "c.C.libraryEffects": {
+      "merkle": "daec6a1f8ff99795d4771aa3fd2c389793d35108093a9ac0e409fd39b6f9fcd3",
+      "own": "0cf9efb3ec49b6db9d263d4ac6e6cab73d54b84c4079cbb0e692b877e0568370"
+    },
     "c.C.mismatch": {
       "merkle": "2d58e7474b041648b99b2ca17ef239d3395869ac119f1095685d57c1027f147a",
       "own": "eaf1dbc689ee34ebdd75738e5616cf3cc25acb0999851ef462bd9064c5b8d840"
     },
     "c.C.programDialect": {
-      "merkle": "ef755beec0c8eea0745fe345dd629807340c4f2d356e769d0355612a41862307",
+      "merkle": "e9ef15e32690b2d64a6694baa398e3d5649f8e789807a30d97e02373a0ed3848",
       "own": "b46145b10b1ec510bcea885968534e672ca49976fa00020daaec8616896c29f4"
     },
     "c.C.programExtension": {
-      "merkle": "4df037c56da80af9614e9a512ff22b40a331ea88e60e4a6759f7a9b860ba1885",
+      "merkle": "6a741bd739620acf731eb3aa30b1ed79d80c423416db4e420cb601e4910b6271",
       "own": "a0d5295a443ca335afa421ede4afba58adc50aaf16dab494a007947994579918"
     },
     "c.C.query": {
-      "merkle": "5b1ff785ec152874785689c90be738db62096b2e942e78245ebcf177d125dd8f",
+      "merkle": "ea6abfe91e148d1f2e23f15daf3909e6ea7a3dfa26d679fff04bef715525c7b5",
       "own": "11ce588500fba76fe041991a8ab82636fd36a1e6cc6f335224a2edb057012ace"
     },
     "c.C.queryError": {
@@ -67,7 +75,7 @@
       "own": "1a25a9ebb0b9a0dcf00c7e13fb6c9c805d057876cbc028168bdb7b32a30c05c8"
     },
     "c.C.verdictOf": {
-      "merkle": "24a2c5253676d6656ce9428c0cb3ceb0c9262e6ae6f5bc7259797fe1a62bb7f0",
+      "merkle": "15a2181b4d78b51d9f407d08244963b74997d10e9761f538be3c381d085ab431",
       "own": "fec6e45c6bad4e8e71c05b44bf66123d26b98e55521006442fed8b09fd7418bb"
     },
     "c.Declarations.atFileScope": {
@@ -295,11 +303,11 @@
       "own": "14dbe90a13e0c6379520b8acf723cbdd91e4150bb6ea4be0391505832bbeafe7"
     },
     "c.Session": {
-      "merkle": "4892fa194514d0fb5226eeddf9ae35fa8a4a0bc0051b4c0c1c9a7eee1c22ca6c",
+      "merkle": "a4927253b8ad95b4b74904f5cb36628c877e644db6dfa2148e534425f6069ddd",
       "own": "5f2aa2ddcd274d9681b261fef5c5d771e027d9991df16fcee57046a8b44f1379"
     },
     "c.Stopping": {
-      "merkle": "5b8181d213801349d0ad6659a3d427fbb0b79ef82c4d2206d16a8ae008c7b8d9",
+      "merkle": "4d25a79f9e19cb190678bc47b77d9b1250e76753f09678b87c15e6d67cf71932",
       "own": "bc39e326f40233d48b18e0306abb73a2b77bc1cb4eb4bac5a70ca5c1b24e146d"
     },
     "c.TypeSyntax.anyQualifiesFunction": {
@@ -319,87 +327,87 @@
       "own": "b6f526742e3e58d523ff394cf02b65390ec3fd0da05f3741ce17de86d0128e52"
     },
     "c.divergences": {
-      "merkle": "b43e95abe9f1efef4f4e0e40b469847beaf89bc8b63228b3da8eb7991c18a326",
+      "merkle": "e65c5c9e62424afda1b964fc7d834107c98aa6a0fb41afc140d0c109710a8e0a",
       "own": "de9d3c838b01c72ff49fe18576e3a159dd109265bc20c7503efc46fbbbbbd35b"
     },
     "c.env": {
-      "merkle": "e68908f8230ad4aad77626de86384c329ef35c3dfad210fbee681f0861557a94",
+      "merkle": "a313d943921396eda44b8abba50c0a04844ce425cda1ada27c2de7acf6a07c72",
       "own": "ab37322f3b8af2b02d34f5b9a53dc2b45b122041b2ba74787b7fd5fe2e27bac2"
     },
     "c.feed": {
-      "merkle": "0869ce5af636cb445b52a634c18e4781fb82b1551158a6dc0b8d6232f3c7b35c",
+      "merkle": "98718d4a637bc9b71015d1d969a5d2d781e6a26bd55b6e74b7692f2ecc32b797",
       "own": "7864535ea607169305600df86d3a2ab85f1332bea87ef33b63494eeb7cd316dd"
     },
     "c.frames": {
-      "merkle": "87005fc1ecb5f232d7d778889faf7db366ec7f83983e0e8e6de1df58f16cdbc7",
+      "merkle": "499224c9dc3fbe649f58b35a171a8f7164afd8f84ea2b36ab38ae3bd15906439",
       "own": "def10961b479875af856ef073e8ea7c6898426ac98b70670f19aefba65cc1925"
     },
     "c.globals": {
-      "merkle": "776d94e5a5986dbf8ee830393d65f506a3563ddbd3460892bcc8a41e56c384f3",
+      "merkle": "75320dc4f7691e87c9a5e3490aedd2ae52c9d559eb13f39896d751543a0b7692",
       "own": "8dba541a1a8378f623033bbe59250c50dcf28df708687ef2cc53c9dd94be5c6d"
     },
     "c.load": {
-      "merkle": "dc98f930a000085795678416a5875f40ee04ba24358dcc23a8ed3196a1d420cb",
+      "merkle": "c0f150b3532b52faedc81f3b3a87b28f35d00ab675e6bb09e45fab52966e9746",
       "own": "5ceedaff2b6d23a0489509ec7a33f39ea8b4eb59a616023164e2a8cf9de2a0d5"
     },
     "c.report": {
-      "merkle": "59733cad1a0d6d428b02ecc9e53ce09b7a926880b7da499f747d3ea8c9428b81",
+      "merkle": "6582e085b486a7ed885ce425c76e01d6e95039361a7ffaf0096273183f1f3be1",
       "own": "c5706db83acbe5bc1d46166bd1fda834786c790a206c89fade9d55a572dea072"
     },
     "c.run": {
-      "merkle": "0c0537670780fe20372a27282c7a51979f0a9951929dcaada0d7459aac456d51",
+      "merkle": "7ca9e8ba4148831c0d52e11a556cb405640af76a12d5f6c417b02d9e9f4bee2c",
       "own": "8402f87d17ffd371f59af73d2b387b2632bc4f7ccad14ccfe5d6be6c2cd3825b"
     },
     "c.setVarConf": {
-      "merkle": "4617d4e82106e75e8281131b43ed85dcd407bb1dbe8b658b49f9acfc54c162a5",
+      "merkle": "c3d8aa0ebd6f3267b767d97ae9a88e06cdd0920b317f371992d5ed91d702b0ef",
       "own": "2afb7946a846f6d65a2b589bbddfaeab0aec8cf40ef16fbe081488b3dbbddc62"
     },
     "c.setVarErr": {
-      "merkle": "b828472b6796a0396cba43a79f7005f034a12126b2daf0992c790dc6560870f3",
+      "merkle": "4bf2768f6441ed7431fc1a8cfb30e4102ddf42add03ca3aa623bf6468a01598a",
       "own": "51fec8d8ab03ec9b592a51eaa27a72375a2e11880cf2bbb7d7a432dd703c45b6"
     },
     "c.stopConf": {
-      "merkle": "ad8c635ad9703bcdbb0837c18c21bca6d609b1861908869627a88c38237c16d0",
+      "merkle": "8abd564aaa49041aa9b3390c1f0264b29d7e895bc9e2a96aacfd2cbf6ded75b5",
       "own": "b3a32738d550955851ba46306fb8159e034a91764abd240fca6703269d57966c"
     },
     "c.stopDetail": {
-      "merkle": "8f9e92dcab850fb1019f9c6679c22b25ad9cc3dea0d7c09d20b59df033162825",
+      "merkle": "cc184dc72f4921aaecbbc8a4e2783c17cdb9bdcf2608a44096c5fbd1fe6ed964",
       "own": "45067ad7cf6728983bb2c709b2c13f41f3f6c237c7a3315571b72d487f6f7338"
     },
     "c.stopErr": {
-      "merkle": "54f05ac9d860c6c102393bd2d45fc6e96c87687425bed1cbd1d6422e88e0319c",
+      "merkle": "3703bd388fd8534fdf39eb0fd5697f359b9d7251cc47fa3864d85396f6fc12f8",
       "own": "c8acb79bc39febd3a4095543e62d9a8a90f375a7b744f9a09d7314718c7d805f"
     },
     "c.stopKind": {
-      "merkle": "4aea683602ed36a21f8cb4bff60beb80020eee94c2cc146e4da24fa7accdb641",
+      "merkle": "0372c6dad979bd7720fb3beb23a05878a5f4349d6361e9a82d85c7db32d44915",
       "own": "74774d2c94e831fb648e3b23d406d988bf95e868d319b0efd6a14def61c23389"
     },
     "c.stopNode": {
-      "merkle": "db4c34dd3f0e73c1cf41113ccf8766bbd25733669dd2a62387d69f35daa232d6",
+      "merkle": "a1f42ddfc80a9d2b344858e698021d2672358bf6159bd638a1fdb7260d803f7e",
       "own": "5c6be8b0f8fd43839fb952963f06c96e681fcaf6ba69febcf7a7625a313afa52"
     },
     "c.stopOut": {
-      "merkle": "72112689c16d55ad7810030e2f643d36c8db5601587974e5361da089e469c63d",
+      "merkle": "5e2a9e6eec1e6174f730c4decfe5432d22574c7a1804f754650508d5a1e6e697",
       "own": "1973ec33b1e3d5338cb39747b32d567cbb47166398a732c383cfe872d9d839ce"
     },
     "c.stopVisits": {
-      "merkle": "a1db1f50e41cb2f590a00e6cf7960da1693379559c6d49f70db47d4bd8c42430",
+      "merkle": "0af9a060b6403a607e85254c2e0c39cb28a66ae64a75d127b00b1eadd5330943",
       "own": "052ff53c341ae938227fbd34cbf375bdfe1d7010e2f790b568ae0283a4129111"
     },
     "c.types": {
-      "merkle": "6f3ea1b267be09e0c0d51a2421769d05151493cf135f6515d6189d2ed411242d",
+      "merkle": "25cbdcf00d0aa363dea1c94474f21d9c5487f59d6d8c751789798dcf4c2a77e7",
       "own": "cb383810e8c655e2b41d451bc3a03b1b2698fbd6d13261c91b4c31c1f025e748"
     },
     "c.verdict": {
-      "merkle": "6a05b8d7771111101617126f0ac9fd3e049211e2191d4b31c6622e8282c385ab",
+      "merkle": "e9f249e10720305d7ea07b7f99a72a048c1bd7e50868233aa1af84501954dfa7",
       "own": "1fbb2bc147062bce884860540f67730e9010dc1649e4cff876626e7e4a2c8566"
     }
   },
   "format": 1,
-  "inputs": "b345b6fa0a893c195a36ec26fde1e806d67422c66637036264a91076d62550d7",
+  "inputs": "37efde8d8d709a7c67d0663d8c35dffb0ac1491a8dd0da36ab264f6889b6f8a4",
   "modules": {
     "c": {
-      "bytes": 488358,
+      "bytes": 499979,
       "deps": [
         "c.reserved",
         "c.naming",
@@ -416,7 +424,7 @@
       ]
     },
     "c.naming": {
-      "bytes": 261305,
+      "bytes": 262792,
       "deps": [
         "c.reserved",
         "c.naming"
@@ -431,7 +439,7 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "ee7191d202f1037b",
+      "checkerHash": "138f758afecea3bf",
       "modules": [
         "int",
         "json",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/c",
-  "version": "0.1.202611041234",
+  "version": "0.1.202611050118",
   "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.",
   "files": [
     "c.cell",
@@ -32,16 +32,16 @@
   "author": "SungYu Chang",
   "homepage": "https://cella-lang.org/",
   "peerDependencies": {
-    "cella-lang": "0.1.202611041233",
-    "@cella-lang/cfamily": "0.1.202611041233",
-    "@cella-lang/machine": "0.1.202611041233"
+    "cella-lang": "0.1.202611042110",
+    "@cella-lang/cfamily": "0.1.202611050117",
+    "@cella-lang/machine": "0.1.202611050117"
   },
   "cella": {
-    "checkerHash": "ee7191d202f1037b",
+    "checkerHash": "138f758afecea3bf",
     "cbfVersion": 30,
     "modules": [
       "c"
     ],
-    "packHash": "26038a20fc72d8a4"
+    "packHash": "67cc30c3c37d74f2"
   }
 }