@cella-lang/c 0.1.202610302356 → 0.1.202610310044

package/index.json

@@ -23,7 +23,7 @@
       "own": "89cce2132dfdbf850d332c9a1749a09ceaaaf7a140f3ec67b2975d698b52a17f"
     },
     "c.C.dialect": {
-      "merkle": "f663a5411170f6af02ba647a1fea43ad6e5b2e31ba43b986b605e3d4a8d76f59",
+      "merkle": "2d349440747723c2e400bb1b54a14b59cf52164ed07edbddbfa1352f96dd9aa7",
       "own": "a813ab0b65555b3d44c60d91de41561fcd5db30855e9d62e650f0e3e651e69b6"
     },
     "c.C.effects": {
@@ -39,15 +39,15 @@
       "own": "7e398b1ae168e9a36504512d36793819ff7ec6bbd94d96bd6d5b48db771d034d"
     },
     "c.C.programDialect": {
-      "merkle": "f7f54c7f2e94f3c24ee6701cdedbc94b88d3499566f6321c2ea9333d0557981e",
+      "merkle": "f79e39e25849c5a72d85b6d7f70795e19b57261cf1652b6e2bd465b5eb64dd46",
       "own": "b46145b10b1ec510bcea885968534e672ca49976fa00020daaec8616896c29f4"
     },
     "c.C.programExtension": {
-      "merkle": "391d0b4148ba61d0eb7ed04e9b414b2aa64a6fbb30b99f5789986cba4b59e99d",
-      "own": "d4c3069250d7275b660bd994c65f287a80a16736b7681b0556bff23b272e20a0"
+      "merkle": "f2fbb910ec6f201a9956e01ba32fcf5aecd572e0aca4d1fb3f45f4badc40ba68",
+      "own": "d9221ce796a48482e8f997408365ef6a1611c50d36c92e2713de5733dc5efd6b"
     },
     "c.C.query": {
-      "merkle": "8ca514effc27b19550dcd6260810d4d3b5a6924810d98eaafadcb4909863bdf5",
+      "merkle": "8ff998dfd3220ca7db8df407ff7316328e2a6f161e51f8293695734b712e4015",
       "own": "11ce588500fba76fe041991a8ab82636fd36a1e6cc6f335224a2edb057012ace"
     },
     "c.C.queryError": {
@@ -67,7 +67,7 @@
       "own": "1a25a9ebb0b9a0dcf00c7e13fb6c9c805d057876cbc028168bdb7b32a30c05c8"
     },
     "c.C.verdictOf": {
-      "merkle": "eac232a12e3bebad7813aae24c95e3f6cc0635ae63cd1e658abbce9dff7944bd",
+      "merkle": "3959b69a971636be94980108fef9b22f048ce00dc78fd0e10029495a4a5ad8b1",
       "own": "fec6e45c6bad4e8e71c05b44bf66123d26b98e55521006442fed8b09fd7418bb"
     },
     "c.Declarations.atFileScope": {
@@ -143,8 +143,12 @@
       "own": "ac3340fdf422fcf3c8d8489f2f5acfdf187faa7e8fbae8251ae08c1d91dd7179"
     },
     "c.Naming.firstReserved": {
-      "merkle": "38518b5eaca82093f4a2c91004eb0ccf43e49e369152e32e1eca7c92e2f0858d",
-      "own": "64c4dd3a07b3bbee501576762286a652077f71b393be7bc0995c1240995fb500"
+      "merkle": "54b6cd9a7936a9f7edae4fe486a27ec17ddc215ed26aff2f328dbc1372ac9fb1",
+      "own": "e54844a710c1851faffacfe09974d477cd0af26c6dfafd3ccd9e7e54850a3ed1"
+    },
+    "c.Naming.headers": {
+      "merkle": "46075ffcd81ae3306958b706163543052b95f475bbe9a56c3860018a6e2cd6fa",
+      "own": "05c17f82d6b095d739fbc79c1af6cc60e5e03649b9d5857188174053b818cb25"
     },
     "c.Naming.initial": {
       "merkle": "85aa88de41efbd07e71aff9d8ca46ab693a776f9d9acade0f2ea5855f30251d2",
@@ -158,6 +162,10 @@
       "merkle": "232121dbf40eeb81fa42b08ea3401b9030e3ba39b540c45666919a5c633e1cb3",
       "own": "54cbefa79239a253dfa42fb38f9e34086271551fef87b5c4466a5916523c95fb"
     },
+    "c.Naming.listedIn": {
+      "merkle": "a583e1bfcc71f0225bfa5d05ad1be34f89894841537cedc525289337547513df",
+      "own": "308cdd4ea5dc295d39fc50cac3b7e8afa446e0280682506637ce62325f1b694c"
+    },
     "c.Naming.member": {
       "merkle": "0bb66a7dd3335b2717c32004eb9d5f21cb03fe2de06f28eacbc0f8f6bfa0c3f3",
       "own": "ff9e10d26cc443b6a00d6a32d095fde525f7981c69a49079d7101692422803b1"
@@ -175,8 +183,8 @@
       "own": "6cd353d172c904f206d4b84f25994034f25db3defb2e588cfe4433a0bb5ae267"
     },
     "c.Naming.why": {
-      "merkle": "b2927405356162e7ab3e652ab49ef6b4f3a6c9d9792235ebdc01b67c4142d165",
-      "own": "46d73b53c7be3443eb7f406ceea3225cdf7e5d77ee81a74e5ad5abef055b07a4"
+      "merkle": "c7815cd25c07a8e0265d20185eb0911fcc0712b6c5e05cc09d16c49eb516d388",
+      "own": "9ba2e17c20809bf9abbcff697aa2bfd08cc3cbba62db8e8721ec80ea851f8576"
     },
     "c.Reserved.functions": {
       "merkle": "0dd89c499c94cc1c9b734948da06656ec5c4b52691265ef6af81b0893b181b18",
@@ -226,6 +234,46 @@
       "merkle": "d423f9e514173c37421dbdc2be8ca4ae8b5907b62c9c95c3eda05af5d9266635",
       "own": "d4d968d38a01a539e2ef7d2a7cc13b00e0ca732cc5c2a515c6b36cc3bc5542bf"
     },
+    "c.Reserved.macros": {
+      "merkle": "f03f22c0e56aec9ea48d2e6763a42af9aa6d330b6100b7c0073ddb37e9031277",
+      "own": "51b3f36a4222675646bdd3ea4a6e6bd5977f9da6090a325c4eeb060254759676"
+    },
+    "c.Reserved.macros0": {
+      "merkle": "20d20ab5752d82b69bf87c117b84118d11a9baf690eabf15c159aa485c2fc326",
+      "own": "cf39181edbba44f54b9376b201219b945b71ec81c47802a56c890e1cd5f1378e"
+    },
+    "c.Reserved.macros1": {
+      "merkle": "70a0eba35a9b52b0fc5f10f692006353561ea8a8c1a2517e7b392c796d2eb99b",
+      "own": "1010c77454c7ae2a526629ce975e0ea075e33ea850bd099403615107074edb2f"
+    },
+    "c.Reserved.macros2": {
+      "merkle": "ea45ada0a69efff5341b41ccc630a003f85666bf2a7cc918b25e968f1b126104",
+      "own": "3f7fa81cd1cb49d1b6ba71a2f10c3b58c930e54292686606d2b73899f7c9ee36"
+    },
+    "c.Reserved.macros3": {
+      "merkle": "4df0512e31d595e54cf990b3c1d077cdf1e05bf84f798e77b88b47cdc227a828",
+      "own": "b09c667a9af212f5b81765ca98ccc5d8f4b938ef7be237b8baa625c4fbf38e80"
+    },
+    "c.Reserved.macros4": {
+      "merkle": "add4f2bd6a118b963701020169e21f3266363eae1f766362e775d1256bda8e09",
+      "own": "5be63655d9f82c3168ffc1b3c7b96ad1a93f9c22a8298eb4fa62d10039dddf54"
+    },
+    "c.Reserved.macros5": {
+      "merkle": "34bb08ce5c8f4b0a5753e712b91a680fa04d3b7a803564199e69c695f313da5c",
+      "own": "e15bfee308b86f99a9bcc550a5b139d785a8806205e3b41311bda0c8fcf1fd2e"
+    },
+    "c.Reserved.types": {
+      "merkle": "6fad04ac96d0ceca21c5eaa25a2cca255727176ca74c675d18cd1c204a9caa94",
+      "own": "032f57bbdaa896a078ae90638cbc490d85df6f6cd0513715a92a4b37b50c5189"
+    },
+    "c.Reserved.types0": {
+      "merkle": "253f29aafc0af6b53138497002793ef1f7adac76cf20f5380fed04d4d7e26e8c",
+      "own": "b31b2ad037955ff987cae39736f520a75f17b45af5ac63cb66509f04fb977e07"
+    },
+    "c.Reserved.types1": {
+      "merkle": "25ffdc5b0feb3df41b1e75f503d179faded2350ed87493ed85a5f41fe63ff146",
+      "own": "14dbe90a13e0c6379520b8acf723cbdd91e4150bb6ea4be0391505832bbeafe7"
+    },
     "c.Session": {
       "merkle": "2b5cf4cc8c87c837eb8cb5cd30f0b657712780d7906eaa965a562da7a40979db",
       "own": "5f2aa2ddcd274d9681b261fef5c5d771e027d9991df16fcee57046a8b44f1379"
@@ -235,7 +283,7 @@
       "own": "6c173c71c5157b5672cceda204e351e632dd2a1e86ff5248b893d11966ab8d0e"
     },
     "c.divergences": {
-      "merkle": "354b7633cc9d2c8f7b4474a92b4ba44c641afdea82821a738e0451c559cc2916",
+      "merkle": "1c0c290b3a6e92522700de2d7f4046537eb711e89890fbaeaf2781d949536c94",
       "own": "20fb3d8b626fa80c344090c7d9e3e6dbd98618d8968aabd708ff0d42557fc484"
     },
     "c.env": {
@@ -247,23 +295,23 @@
       "own": "7864535ea607169305600df86d3a2ab85f1332bea87ef33b63494eeb7cd316dd"
     },
     "c.frames": {
-      "merkle": "fdc5be7ef7b6b9a8272dc9d9de5c8123bb251e5e426df168a30e50b0c0469ddd",
+      "merkle": "01b01432a6a8491cc88a3a0081e0d6575fdee3e4bb078b691cf79a4462cd3c62",
       "own": "def10961b479875af856ef073e8ea7c6898426ac98b70670f19aefba65cc1925"
     },
     "c.globals": {
-      "merkle": "d66f66805c33c0a83bee44d9824a6cb0848a9bcf5fb23ce1d358358ffc4911e5",
+      "merkle": "0ab1574a209f67db64c02d974480ddc16a63535a5214295e264088e77fe7c496",
       "own": "8dba541a1a8378f623033bbe59250c50dcf28df708687ef2cc53c9dd94be5c6d"
     },
     "c.load": {
-      "merkle": "a46a1c6157601d76d9dfa6e289b994346b05ffc6630444ee706da44e10d3473a",
+      "merkle": "a5edfc35bae3d4a1bb61be192af3ca5a20f84de310db5655fdd60535ad7638ba",
       "own": "5ceedaff2b6d23a0489509ec7a33f39ea8b4eb59a616023164e2a8cf9de2a0d5"
     },
     "c.report": {
-      "merkle": "908d43009da6875d52f87e737746481f6840011c977ce3e149c3b354d5550a1c",
+      "merkle": "b3791a219f2761e19fdb8bf15badb8697c717aa2d863fdd64a9428254c79c285",
       "own": "c5706db83acbe5bc1d46166bd1fda834786c790a206c89fade9d55a572dea072"
     },
     "c.run": {
-      "merkle": "3c6b10b7c512942aabc20cf3d7bb6feefc3af5c79ea18024f5ba36c099bb86e9",
+      "merkle": "313b1a32b666f1e0890203cdf856ac2b9c27fa30950345911af2e8cf11e4a27c",
       "own": "832901b374ff74f11ddd297e26907a7f75f92e18a8ac71e37da139365cbece3e"
     },
     "c.setVarConf": {
@@ -279,7 +327,7 @@
       "own": "31b6e8bc10574a3d70503e74e2b0901caee019c3a0019ecee2401dab7b9d310e"
     },
     "c.stopDetail": {
-      "merkle": "eb4bb173a6d686761349c845806d025e974b8a1c8afd214c885bee9aadfda429",
+      "merkle": "e2b1516248e23e58fae7750f5704c4c79686b44f715a51517cc981ceae3d7dbd",
       "own": "da8047506916df2a13bc45df7552363a925e648d822b7d198442256b0bc6b58b"
     },
     "c.stopErr": {
@@ -299,19 +347,19 @@
       "own": "3413770dc8991e9ec7609695ccb5355cd64d12f9fc60f823f02ecce06e7e749e"
     },
     "c.types": {
-      "merkle": "73259a82e1a9b5faae449fade754e49065148e26467f46c462d4e8235a3072b4",
+      "merkle": "1049dd8c9cbadb7b64ee192d2e6ab3d73e248f17a8a90718bba09665a2e60804",
       "own": "cb383810e8c655e2b41d451bc3a03b1b2698fbd6d13261c91b4c31c1f025e748"
     },
     "c.verdict": {
-      "merkle": "8240aad4c10bed0dbd6aee1718eb84c43b645f16fbe25302f943cc0dc4197f7a",
+      "merkle": "b1b034776cbd7898db1e964a9b8ecdc2920ddd3e1b46fd8a260dd3f3902a2ea6",
       "own": "1fbb2bc147062bce884860540f67730e9010dc1649e4cff876626e7e4a2c8566"
     }
   },
   "format": 1,
-  "inputs": "386f1e4a70049582b0108b62a20d60c35a0d9c2176aa5c52b5630c034c330291",
+  "inputs": "3569fdcddc2231c86b8a3c72a484828f211878ab17c98c1373dcb6033e9b20ed",
   "modules": {
     "c": {
-      "bytes": 435432,
+      "bytes": 436429,
       "deps": [
         "c.reserved",
         "c.naming",
@@ -328,14 +376,14 @@
       ]
     },
     "c.naming": {
-      "bytes": 136883,
+      "bytes": 240987,
       "deps": [
         "c.reserved",
         "c.naming"
       ]
     },
     "c.reserved": {
-      "bytes": 41923,
+      "bytes": 56857,
       "deps": [
         "c.reserved"
       ]
@@ -347,8 +395,8 @@
       "modules": [
         "int",
         "json",
-        "nat",
         "list",
+        "nat",
         "array",
         "functor",
         "monad"

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/c",
-  "version": "0.1.202610302356",
+  "version": "0.1.202610310044",
   "description": "C11 for the Cella proof checker, 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,7 +32,7 @@
   "homepage": "https://cella-lang.org/",
   "peerDependencies": {
     "cella-lang": "0.1.202610301840",
-    "@cella-lang/cfamily": "0.1.202610302352",
+    "@cella-lang/cfamily": "0.1.202610302355",
     "@cella-lang/machine": "0.1.202610301445"
   },
   "cella": {
@@ -41,6 +41,6 @@
     "modules": [
       "c"
     ],
-    "packHash": "db2fc76869f5432d"
+    "packHash": "ca36d72d7aa08ab0"
   }
 }