@cella-lang/c 0.1.202610310044 → 0.1.202610310706

package/index.json

@@ -11,7 +11,7 @@
       "own": "5b0f70bc2ee6d3ea97c9cbb1513d057573a3e4efaf2ebba81e4de38ee4decca4"
     },
     "c.C.checking": {
-      "merkle": "4639043a83e53d5c9b535a6b5f979f6d26ba4865455dad47030e3603422807dd",
+      "merkle": "7d2fa6e97d45a370c7e9c4871f8ffa8d5bb8e0ac6dff3e4094dbfc5284ec68f7",
       "own": "d13c6d62cd23c5dea3cba368e17244edfa34a34312a62a979b882db33fce98c3"
     },
     "c.C.constructs": {
@@ -23,7 +23,7 @@
       "own": "89cce2132dfdbf850d332c9a1749a09ceaaaf7a140f3ec67b2975d698b52a17f"
     },
     "c.C.dialect": {
-      "merkle": "2d349440747723c2e400bb1b54a14b59cf52164ed07edbddbfa1352f96dd9aa7",
+      "merkle": "9fe610fc693eb3b18888766f7243198d8f60ae967d44d7c50184ec80849d3110",
       "own": "a813ab0b65555b3d44c60d91de41561fcd5db30855e9d62e650f0e3e651e69b6"
     },
     "c.C.effects": {
@@ -39,15 +39,15 @@
       "own": "7e398b1ae168e9a36504512d36793819ff7ec6bbd94d96bd6d5b48db771d034d"
     },
     "c.C.programDialect": {
-      "merkle": "f79e39e25849c5a72d85b6d7f70795e19b57261cf1652b6e2bd465b5eb64dd46",
+      "merkle": "6bcdd90b10cd11a20cd6a7c1142e1f0b352a09b40acb6873c8ede2310d82544c",
       "own": "b46145b10b1ec510bcea885968534e672ca49976fa00020daaec8616896c29f4"
     },
     "c.C.programExtension": {
-      "merkle": "f2fbb910ec6f201a9956e01ba32fcf5aecd572e0aca4d1fb3f45f4badc40ba68",
+      "merkle": "2978e993ad94b61d2b38df162bda72d3f41aa1eab2dfb657bdd07c04e3645421",
       "own": "d9221ce796a48482e8f997408365ef6a1611c50d36c92e2713de5733dc5efd6b"
     },
     "c.C.query": {
-      "merkle": "8ff998dfd3220ca7db8df407ff7316328e2a6f161e51f8293695734b712e4015",
+      "merkle": "3133629663e14f69670dc3169456053ea7e314fdee10611bff8548f118308555",
       "own": "11ce588500fba76fe041991a8ab82636fd36a1e6cc6f335224a2edb057012ace"
     },
     "c.C.queryError": {
@@ -67,7 +67,7 @@
       "own": "1a25a9ebb0b9a0dcf00c7e13fb6c9c805d057876cbc028168bdb7b32a30c05c8"
     },
     "c.C.verdictOf": {
-      "merkle": "3959b69a971636be94980108fef9b22f048ce00dc78fd0e10029495a4a5ad8b1",
+      "merkle": "bbef7e27aaa8b625d229cb46e4caf4429af1cdcbac2b9d20a78dbe7f75ef6295",
       "own": "fec6e45c6bad4e8e71c05b44bf66123d26b98e55521006442fed8b09fd7418bb"
     },
     "c.Declarations.atFileScope": {
@@ -86,9 +86,13 @@
       "merkle": "92ae32e4e56fe0b490884f89da11592f030851294fd9a2f7ffaee5fa685e30a7",
       "own": "52ae5b57320058384fd59bd499fa422f539a3c3d80b839fcca94992c6f3a434c"
     },
+    "c.Declarations.expressionTypes": {
+      "merkle": "e5147ec0f58df045aef465923eb532bec4f674d30f6cda014f7ec7b5afff405c",
+      "own": "f86aadb22b32156423d378b2d70f06607ffcea9a65c824aba5a5f58bbb1dab5a"
+    },
     "c.Declarations.firstWrong": {
-      "merkle": "2bbfcae92f851b82deb80035a8c7fa075e72a70563394eaed2fba70bc04f2b4a",
-      "own": "c447a3ead6d156c77575e1cee49d525245bf5eb857489691c71b317b082e1978"
+      "merkle": "a84c59b2fb3ec64d7713d5bb5d77c0fa94db5126f15f42e612954bdadfce5a3e",
+      "own": "9783d2c12531637a37aab6feafbb242e94442839b570418b719f8a6462fef86e"
     },
     "c.Declarations.inClauses": {
       "merkle": "bd9a169c9c94d7496e668aa1dcd60df1f113dc20e2f970008dc2ddb015afdb85",
@@ -110,6 +114,14 @@
       "merkle": "a5700935d051be7332223802a70d41b8822ce12741b4db85031cab4d175266cd",
       "own": "5b7608fffb3d2558b6b8903551fac8018e51ee76f01455bfe534360534f09f77"
     },
+    "c.Declarations.lookup": {
+      "merkle": "d111ab7b9ea179dde3fbf42db021f545e0ba5d7cb9ce29f068449ea207c17e54",
+      "own": "75263c2062ce9510737b0b4484cfec8057d14ceae7a1300b018a5c575d9f3c1b"
+    },
+    "c.Declarations.qualifiedFunction": {
+      "merkle": "36c35a762765cd2826548049d24f9b35cea89f2d344b4fcab82bea51efa01ad0",
+      "own": "07ec6633cca5149c16bfdcefa8aef1d03e553a0297cc45d6fbe914b18f46d3e6"
+    },
     "c.Declarations.tags": {
       "merkle": "35cefb82bd82b99576fe66844bd3ddf30472ec18f7d4dff33aeafaa617872cbd",
       "own": "c332dccc0ebdea64c5542bf6e5ff1ee549ceb2de5cb2f78adf78758cb03ff3eb"
@@ -118,10 +130,18 @@
       "merkle": "972d6e00deb97cbc464e3efad9d4a87b0320ee97fcdfb42ba6157ebd155dbf58",
       "own": "c4a35804d0e1dac8e2673800004f5b1fc222d292b877eddcef38661051432f81"
     },
+    "c.Declarations.typedefs": {
+      "merkle": "f83b80e88796fc09c3e9d05d19b8d614d69478b3d793f6b2bd9c22c30ea32720",
+      "own": "aad39d7fd67e7643b04d3197083d0707757b2eb31e9afa3df4e0b62ec3771c16"
+    },
     "c.Declarations.unnamed": {
       "merkle": "22aa2184aee9840a4ceea0684f214afec86fba87a09a62ff02091303f3dab70e",
       "own": "d7154dc1012739dabef5fee242d1f87009f18121e32283aedf42ca5bae515428"
     },
+    "c.Declarations.writtenTypes": {
+      "merkle": "b7fa29afff1dcfcc66fd754a25993c0c58d1b6e11b67a336cadb5dbc4e748648",
+      "own": "18712250a88ee70075400648687040138f995ed440165a9de221d1bd1089fc5e"
+    },
     "c.Declared": {
       "merkle": "3a986a437878088c23f7c2a451c2027170dea292f0a8c5e66b863819e1ed5816",
       "own": "d0c45e57005d4be416c94d1a1cafa14c137740ce362f8604b308984bcdbe814f"
@@ -275,91 +295,107 @@
       "own": "14dbe90a13e0c6379520b8acf723cbdd91e4150bb6ea4be0391505832bbeafe7"
     },
     "c.Session": {
-      "merkle": "2b5cf4cc8c87c837eb8cb5cd30f0b657712780d7906eaa965a562da7a40979db",
+      "merkle": "48e42af8eea8f4cd7f18de6ddc060eb9ca10cc046855ce4827cc183be58105c2",
       "own": "5f2aa2ddcd274d9681b261fef5c5d771e027d9991df16fcee57046a8b44f1379"
     },
     "c.Stopping": {
-      "merkle": "fad67946a170d7336a13c0b2f4918e8fb0fbabbf16ca7cd815f8175659ef9c87",
+      "merkle": "bc808920534c439c605518711dda91c644a956ceaf2d44a8918646d9e6609a56",
       "own": "6c173c71c5157b5672cceda204e351e632dd2a1e86ff5248b893d11966ab8d0e"
     },
+    "c.TypeSyntax.anyQualifiesFunction": {
+      "merkle": "ce552b7bafa5bca939e64879a8081fca4ebb44cdb6a76fc7fa38f0b286045ba1",
+      "own": "b9540aa4b1f40e231d934b3650727f43e6c23d8929f775217e028ec65eff06ad"
+    },
+    "c.TypeSyntax.isFunctionType": {
+      "merkle": "6621167c592034b6ac4fc506a41e90d1af5282f9a866e6411c4b483757523e30",
+      "own": "ab038c670c3c187dee7eeb004a06196dd27328a55b8c48707a07da1a0199c78c"
+    },
+    "c.TypeSyntax.qualifiesFunction": {
+      "merkle": "7efc68f2c564778b3ad392ce852ca961675300010ec6c7a98eab76286a6b822c",
+      "own": "788d25d9ff40c9a1c26f740aa670708016aec8eb9013dfbfb15db004c1a1a3ff"
+    },
+    "c.TypeSyntax.resolve": {
+      "merkle": "361327bba7e2a62165f9e24bac989f73ac001cb7adb3189076ceb43b25aead07",
+      "own": "bfd437feeb565b7d0da3c000afe9795bd302795ab3e5967e594488563ff94b0e"
+    },
     "c.divergences": {
-      "merkle": "1c0c290b3a6e92522700de2d7f4046537eb711e89890fbaeaf2781d949536c94",
+      "merkle": "82a2f81fb8cd927087b03948ef21fc7f5ce5377a43ec7d6f913e30809f027919",
       "own": "20fb3d8b626fa80c344090c7d9e3e6dbd98618d8968aabd708ff0d42557fc484"
     },
     "c.env": {
-      "merkle": "84033a5117aed0dd77d60548a1787daaa1600ae84fc0140d0fc833b709ad123c",
+      "merkle": "7e7dc6c80e091bf9a0648fcc0e0c2b92042e863cbaa1e5bc836093d02ba09764",
       "own": "ab37322f3b8af2b02d34f5b9a53dc2b45b122041b2ba74787b7fd5fe2e27bac2"
     },
     "c.feed": {
-      "merkle": "68aa447856fd4aa8f35306f758a9ae7e9dc22bbf95c12fb053661bc1d132928c",
+      "merkle": "0c9edd452ded5ad2a6668a4278863bbc893e2375291424fceba3cd5b962328cf",
       "own": "7864535ea607169305600df86d3a2ab85f1332bea87ef33b63494eeb7cd316dd"
     },
     "c.frames": {
-      "merkle": "01b01432a6a8491cc88a3a0081e0d6575fdee3e4bb078b691cf79a4462cd3c62",
+      "merkle": "4e555d6f82d69870c8e79efb36f9b30c09d404bee03d53e7574cb48f5f49057a",
       "own": "def10961b479875af856ef073e8ea7c6898426ac98b70670f19aefba65cc1925"
     },
     "c.globals": {
-      "merkle": "0ab1574a209f67db64c02d974480ddc16a63535a5214295e264088e77fe7c496",
+      "merkle": "7360a40ca77ebb66ebd20d9ccbba60db9db0ae28f5d10a4748cb9f7fca296797",
       "own": "8dba541a1a8378f623033bbe59250c50dcf28df708687ef2cc53c9dd94be5c6d"
     },
     "c.load": {
-      "merkle": "a5edfc35bae3d4a1bb61be192af3ca5a20f84de310db5655fdd60535ad7638ba",
+      "merkle": "ee3030dbf982211fac4c85736629fb20987c7ff519f6bcf0b79a8bc7a5af423f",
       "own": "5ceedaff2b6d23a0489509ec7a33f39ea8b4eb59a616023164e2a8cf9de2a0d5"
     },
     "c.report": {
-      "merkle": "b3791a219f2761e19fdb8bf15badb8697c717aa2d863fdd64a9428254c79c285",
+      "merkle": "34d5bdf3cc1607a81df32991dcacdba316ddbbef02ab2944f5bd736139b299f3",
       "own": "c5706db83acbe5bc1d46166bd1fda834786c790a206c89fade9d55a572dea072"
     },
     "c.run": {
-      "merkle": "313b1a32b666f1e0890203cdf856ac2b9c27fa30950345911af2e8cf11e4a27c",
+      "merkle": "2d9f047b989da09bcf2173069785b15ed4b2517c02330da827ff5161cfc8ddff",
       "own": "832901b374ff74f11ddd297e26907a7f75f92e18a8ac71e37da139365cbece3e"
     },
     "c.setVarConf": {
-      "merkle": "d7fff4317e8a91c81b15133f5d012cdabecbd26e998d39600eebf326a894977d",
+      "merkle": "1cf6787e099b8854ba3c8fa64947a8374f3fa5e5837610cc5db47d1e49dc91dd",
       "own": "2afb7946a846f6d65a2b589bbddfaeab0aec8cf40ef16fbe081488b3dbbddc62"
     },
     "c.setVarErr": {
-      "merkle": "6a7d910258f831c2d096b9841d70aac69198cdc96fd0127a6d59d5bdde089470",
+      "merkle": "50fb715e6a7ba951601f726eb52e27ee47089a7e826009bcc53bbc764252a475",
       "own": "51fec8d8ab03ec9b592a51eaa27a72375a2e11880cf2bbb7d7a432dd703c45b6"
     },
     "c.stopConf": {
-      "merkle": "cd7b5fb18a06c4dc58e9ab2c10446019d9bc2e7af39eba180499952f92b2ad14",
+      "merkle": "a4130da25a29ddc7e1ffef85a4249545254d5edbd84ff80cd879b193225426eb",
       "own": "31b6e8bc10574a3d70503e74e2b0901caee019c3a0019ecee2401dab7b9d310e"
     },
     "c.stopDetail": {
-      "merkle": "e2b1516248e23e58fae7750f5704c4c79686b44f715a51517cc981ceae3d7dbd",
+      "merkle": "fbcc815b019bad59647485beea09b82b8224ba4f602723e46af9a7063e150603",
       "own": "da8047506916df2a13bc45df7552363a925e648d822b7d198442256b0bc6b58b"
     },
     "c.stopErr": {
-      "merkle": "97a29b43f74bc2e3f19d763cd0453676ba0c00568dac68ac73cf80efc31e231a",
+      "merkle": "b9172482307441b3485ec0318029b01aac2dbed6188c5396f6af438239385608",
       "own": "a0eba9599817c3508c0ae20622d1605f5a005c31e5ca6880b89ba743ef267d86"
     },
     "c.stopKind": {
-      "merkle": "74d908f7cdfdcc4a8c864c602e46f937a4a021506dc834001b952d975b785c47",
+      "merkle": "c0bed553736784d2238e4c388a2f9d8a0bc7f8d9ed0d9da5187fcf5eebe29403",
       "own": "50ede1925f287cc467aaa60b2abf2f51cebaa1baa487b4aaa9a49c52f97e04bc"
     },
     "c.stopNode": {
-      "merkle": "5af6988dd5ad1a084d28c9bbe581cae65aea7ad3cefbe8e942a80a42af82eb85",
+      "merkle": "943276a2c935881500f70a7eae82fab0a959482d25a04333aee4c5b72284af5b",
       "own": "f8921dafa5e4149fd04fc60b2c221232c51d2944fa3eef667a064fcf12b02bfa"
     },
     "c.stopOut": {
-      "merkle": "41b462c0d69fb9ecb5c5c346a2ea4ee931a7c3bb8ad2d213e2306ac6496f3971",
+      "merkle": "0d8417e3d155a3fcc5c637ed96738cf4e6f9d325aae794f2c1b6dfca1c69825d",
       "own": "3413770dc8991e9ec7609695ccb5355cd64d12f9fc60f823f02ecce06e7e749e"
     },
     "c.types": {
-      "merkle": "1049dd8c9cbadb7b64ee192d2e6ab3d73e248f17a8a90718bba09665a2e60804",
+      "merkle": "c00845e02fe8e0ecb76e4a72ad310c23b1d8d326a793c67dbbf6c4708f0ba8d7",
       "own": "cb383810e8c655e2b41d451bc3a03b1b2698fbd6d13261c91b4c31c1f025e748"
     },
     "c.verdict": {
-      "merkle": "b1b034776cbd7898db1e964a9b8ecdc2920ddd3e1b46fd8a260dd3f3902a2ea6",
+      "merkle": "5555e1582861c908e87f94f6b8ac99674235f48a0021a52e9be4b1d1d9987705",
       "own": "1fbb2bc147062bce884860540f67730e9010dc1649e4cff876626e7e4a2c8566"
     }
   },
   "format": 1,
-  "inputs": "3569fdcddc2231c86b8a3c72a484828f211878ab17c98c1373dcb6033e9b20ed",
+  "inputs": "8e5ab206dbe226324d0d3a0e08094e3cd89c66b8d88c842f9b6d836c5316cb22",
   "modules": {
     "c": {
-      "bytes": 436429,
+      "bytes": 441968,
       "deps": [
         "c.reserved",
         "c.naming",
@@ -368,7 +404,7 @@
       ]
     },
     "c.declarations": {
-      "bytes": 150650,
+      "bytes": 160743,
       "deps": [
         "c.reserved",
         "c.naming",
@@ -376,7 +412,7 @@
       ]
     },
     "c.naming": {
-      "bytes": 240987,
+      "bytes": 243981,
       "deps": [
         "c.reserved",
         "c.naming"

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/c",
-  "version": "0.1.202610310044",
+  "version": "0.1.202610310706",
   "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",
@@ -31,9 +31,9 @@
   "author": "SungYu Chang",
   "homepage": "https://cella-lang.org/",
   "peerDependencies": {
-    "cella-lang": "0.1.202610301840",
-    "@cella-lang/cfamily": "0.1.202610302355",
-    "@cella-lang/machine": "0.1.202610301445"
+    "cella-lang": "0.1.202610310706",
+    "@cella-lang/cfamily": "0.1.202610310706",
+    "@cella-lang/machine": "0.1.202610310706"
   },
   "cella": {
     "checkerHash": "c23d5c2e1f29ce9f",
@@ -41,6 +41,6 @@
     "modules": [
       "c"
     ],
-    "packHash": "ca36d72d7aa08ab0"
+    "packHash": "c7a29ed11455c630"
   }
 }