+931 -273

package-lock.json

reviewed

··· 9 9 "version": "0.0.0", 10 10 "dependencies": { 11 11 "@jmagaram/rescript-seq": "^4.4.1", 12 12 - "@rescript/react": "^0.13.1", 12 12 + "@rescript/react": "^0.14.0", 13 13 "react": "^19.1.0", 14 14 "react-dom": "^19.1.0", 15 15 - "rescript": "^11.1.4" 15 15 + "rescript": "^12.0.0" 16 16 }, 17 17 "devDependencies": { 18 18 "@dusty-phillips/rescript-zora": "^5.0.1", ··· 21 21 "@rescript/std": "^11.1.4", 22 22 "@types/react": "^19.1.2", 23 23 "@types/react-dom": "^19.1.2", 24 24 - "@vitejs/plugin-react-swc": "^3.9.0", 24 24 + "@vitejs/plugin-react-swc": "^4.2.2", 25 25 "eslint": "^9.25.0", 26 26 - "eslint-plugin-react-hooks": "^5.2.0", 26 26 + "eslint-plugin-react-hooks": "^7.0.1", 27 27 "eslint-plugin-react-refresh": "^0.4.19", 28 28 "globals": "^16.0.0", 29 29 "husky": "^9.1.7", 30 30 "lint-staged": "^16.2.3", 31 31 "onchange": "^7.1.0", 32 32 "pta": "^1.3.0", 33 33 - "typescript": "~5.8.3", 33 33 + "typescript": "^5.9.3", 34 34 "typescript-eslint": "^8.30.1", 35 35 - "vite": "^6.3.5" 35 35 + "vite": "^7.2.6" 36 36 + } 37 37 + }, 38 38 + "node_modules/@babel/code-frame": { 39 39 + "version": "7.27.1", 40 40 + "resolved": "https://registry.npmjs.org/@babel/code-frame/-/code-frame-7.27.1.tgz", 41 41 + "integrity": "sha512-cjQ7ZlQ0Mv3b47hABuTevyTuYN4i+loJKGeV9flcCgIK37cCXRh+L1bd3iBHlynerhQ7BhCkn2BPbQUL+rGqFg==", 42 42 + "dev": true, 43 43 + "license": "MIT", 44 44 + "dependencies": { 45 45 + "@babel/helper-validator-identifier": "^7.27.1", 46 46 + "js-tokens": "^4.0.0", 47 47 + "picocolors": "^1.1.1" 48 48 + }, 49 49 + "engines": { 50 50 + "node": ">=6.9.0" 51 51 + } 52 52 + }, 53 53 + "node_modules/@babel/compat-data": { 54 54 + "version": "7.28.5", 55 55 + "resolved": "https://registry.npmjs.org/@babel/compat-data/-/compat-data-7.28.5.tgz", 56 56 + "integrity": "sha512-6uFXyCayocRbqhZOB+6XcuZbkMNimwfVGFji8CTZnCzOHVGvDqzvitu1re2AU5LROliz7eQPhB8CpAMvnx9EjA==", 57 57 + "dev": true, 58 58 + "license": "MIT", 59 59 + "engines": { 60 60 + "node": ">=6.9.0" 61 61 + } 62 62 + }, 63 63 + "node_modules/@babel/core": { 64 64 + "version": "7.28.5", 65 65 + "resolved": "https://registry.npmjs.org/@babel/core/-/core-7.28.5.tgz", 66 66 + "integrity": "sha512-e7jT4DxYvIDLk1ZHmU/m/mB19rex9sv0c2ftBtjSBv+kVM/902eh0fINUzD7UwLLNR+jU585GxUJ8/EBfAM5fw==", 67 67 + "dev": true, 68 68 + "license": "MIT", 69 69 + "peer": true, 70 70 + "dependencies": { 71 71 + "@babel/code-frame": "^7.27.1", 72 72 + "@babel/generator": "^7.28.5", 73 73 + "@babel/helper-compilation-targets": "^7.27.2", 74 74 + "@babel/helper-module-transforms": "^7.28.3", 75 75 + "@babel/helpers": "^7.28.4", 76 76 + "@babel/parser": "^7.28.5", 77 77 + "@babel/template": "^7.27.2", 78 78 + "@babel/traverse": "^7.28.5", 79 79 + "@babel/types": "^7.28.5", 80 80 + "@jridgewell/remapping": "^2.3.5", 81 81 + "convert-source-map": "^2.0.0", 82 82 + "debug": "^4.1.0", 83 83 + "gensync": "^1.0.0-beta.2", 84 84 + "json5": "^2.2.3", 85 85 + "semver": "^6.3.1" 86 86 + }, 87 87 + "engines": { 88 88 + "node": ">=6.9.0" 89 89 + }, 90 90 + "funding": { 91 91 + "type": "opencollective", 92 92 + "url": "https://opencollective.com/babel" 93 93 + } 94 94 + }, 95 95 + "node_modules/@babel/generator": { 96 96 + "version": "7.28.5", 97 97 + "resolved": "https://registry.npmjs.org/@babel/generator/-/generator-7.28.5.tgz", 98 98 + "integrity": "sha512-3EwLFhZ38J4VyIP6WNtt2kUdW9dokXA9Cr4IVIFHuCpZ3H8/YFOl5JjZHisrn1fATPBmKKqXzDFvh9fUwHz6CQ==", 99 99 + "dev": true, 100 100 + "license": "MIT", 101 101 + "dependencies": { 102 102 + "@babel/parser": "^7.28.5", 103 103 + "@babel/types": "^7.28.5", 104 104 + "@jridgewell/gen-mapping": "^0.3.12", 105 105 + "@jridgewell/trace-mapping": "^0.3.28", 106 106 + "jsesc": "^3.0.2" 107 107 + }, 108 108 + "engines": { 109 109 + "node": ">=6.9.0" 110 110 + } 111 111 + }, 112 112 + "node_modules/@babel/helper-compilation-targets": { 113 113 + "version": "7.27.2", 114 114 + "resolved": "https://registry.npmjs.org/@babel/helper-compilation-targets/-/helper-compilation-targets-7.27.2.tgz", 115 115 + "integrity": "sha512-2+1thGUUWWjLTYTHZWK1n8Yga0ijBz1XAhUXcKy81rd5g6yh7hGqMp45v7cadSbEHc9G3OTv45SyneRN3ps4DQ==", 116 116 + "dev": true, 117 117 + "license": "MIT", 118 118 + "dependencies": { 119 119 + "@babel/compat-data": "^7.27.2", 120 120 + "@babel/helper-validator-option": "^7.27.1", 121 121 + "browserslist": "^4.24.0", 122 122 + "lru-cache": "^5.1.1", 123 123 + "semver": "^6.3.1" 124 124 + }, 125 125 + "engines": { 126 126 + "node": ">=6.9.0" 127 127 + } 128 128 + }, 129 129 + "node_modules/@babel/helper-globals": { 130 130 + "version": "7.28.0", 131 131 + "resolved": "https://registry.npmjs.org/@babel/helper-globals/-/helper-globals-7.28.0.tgz", 132 132 + "integrity": "sha512-+W6cISkXFa1jXsDEdYA8HeevQT/FULhxzR99pxphltZcVaugps53THCeiWA8SguxxpSp3gKPiuYfSWopkLQ4hw==", 133 133 + "dev": true, 134 134 + "license": "MIT", 135 135 + "engines": { 136 136 + "node": ">=6.9.0" 137 137 + } 138 138 + }, 139 139 + "node_modules/@babel/helper-module-imports": { 140 140 + "version": "7.27.1", 141 141 + "resolved": "https://registry.npmjs.org/@babel/helper-module-imports/-/helper-module-imports-7.27.1.tgz", 142 142 + "integrity": "sha512-0gSFWUPNXNopqtIPQvlD5WgXYI5GY2kP2cCvoT8kczjbfcfuIljTbcWrulD1CIPIX2gt1wghbDy08yE1p+/r3w==", 143 143 + "dev": true, 144 144 + "license": "MIT", 145 145 + "dependencies": { 146 146 + "@babel/traverse": "^7.27.1", 147 147 + "@babel/types": "^7.27.1" 148 148 + }, 149 149 + "engines": { 150 150 + "node": ">=6.9.0" 151 151 + } 152 152 + }, 153 153 + "node_modules/@babel/helper-module-transforms": { 154 154 + "version": "7.28.3", 155 155 + "resolved": "https://registry.npmjs.org/@babel/helper-module-transforms/-/helper-module-transforms-7.28.3.tgz", 156 156 + "integrity": "sha512-gytXUbs8k2sXS9PnQptz5o0QnpLL51SwASIORY6XaBKF88nsOT0Zw9szLqlSGQDP/4TljBAD5y98p2U1fqkdsw==", 157 157 + "dev": true, 158 158 + "license": "MIT", 159 159 + "dependencies": { 160 160 + "@babel/helper-module-imports": "^7.27.1", 161 161 + "@babel/helper-validator-identifier": "^7.27.1", 162 162 + "@babel/traverse": "^7.28.3" 163 163 + }, 164 164 + "engines": { 165 165 + "node": ">=6.9.0" 166 166 + }, 167 167 + "peerDependencies": { 168 168 + "@babel/core": "^7.0.0" 169 169 + } 170 170 + }, 171 171 + "node_modules/@babel/helper-string-parser": { 172 172 + "version": "7.27.1", 173 173 + "resolved": "https://registry.npmjs.org/@babel/helper-string-parser/-/helper-string-parser-7.27.1.tgz", 174 174 + "integrity": "sha512-qMlSxKbpRlAridDExk92nSobyDdpPijUq2DW6oDnUqd0iOGxmQjyqhMIihI9+zv4LPyZdRje2cavWPbCbWm3eA==", 175 175 + "dev": true, 176 176 + "license": "MIT", 177 177 + "engines": { 178 178 + "node": ">=6.9.0" 179 179 + } 180 180 + }, 181 181 + "node_modules/@babel/helper-validator-identifier": { 182 182 + "version": "7.28.5", 183 183 + "resolved": "https://registry.npmjs.org/@babel/helper-validator-identifier/-/helper-validator-identifier-7.28.5.tgz", 184 184 + "integrity": "sha512-qSs4ifwzKJSV39ucNjsvc6WVHs6b7S03sOh2OcHF9UHfVPqWWALUsNUVzhSBiItjRZoLHx7nIarVjqKVusUZ1Q==", 185 185 + "dev": true, 186 186 + "license": "MIT", 187 187 + "engines": { 188 188 + "node": ">=6.9.0" 189 189 + } 190 190 + }, 191 191 + "node_modules/@babel/helper-validator-option": { 192 192 + "version": "7.27.1", 193 193 + "resolved": "https://registry.npmjs.org/@babel/helper-validator-option/-/helper-validator-option-7.27.1.tgz", 194 194 + "integrity": "sha512-YvjJow9FxbhFFKDSuFnVCe2WxXk1zWc22fFePVNEaWJEu8IrZVlda6N0uHwzZrUM1il7NC9Mlp4MaJYbYd9JSg==", 195 195 + "dev": true, 196 196 + "license": "MIT", 197 197 + "engines": { 198 198 + "node": ">=6.9.0" 199 199 + } 200 200 + }, 201 201 + "node_modules/@babel/helpers": { 202 202 + "version": "7.28.4", 203 203 + "resolved": "https://registry.npmjs.org/@babel/helpers/-/helpers-7.28.4.tgz", 204 204 + "integrity": "sha512-HFN59MmQXGHVyYadKLVumYsA9dBFun/ldYxipEjzA4196jpLZd8UjEEBLkbEkvfYreDqJhZxYAWFPtrfhNpj4w==", 205 205 + "dev": true, 206 206 + "license": "MIT", 207 207 + "dependencies": { 208 208 + "@babel/template": "^7.27.2", 209 209 + "@babel/types": "^7.28.4" 210 210 + }, 211 211 + "engines": { 212 212 + "node": ">=6.9.0" 213 213 + } 214 214 + }, 215 215 + "node_modules/@babel/parser": { 216 216 + "version": "7.28.5", 217 217 + "resolved": "https://registry.npmjs.org/@babel/parser/-/parser-7.28.5.tgz", 218 218 + "integrity": "sha512-KKBU1VGYR7ORr3At5HAtUQ+TV3SzRCXmA/8OdDZiLDBIZxVyzXuztPjfLd3BV1PRAQGCMWWSHYhL0F8d5uHBDQ==", 219 219 + "dev": true, 220 220 + "license": "MIT", 221 221 + "dependencies": { 222 222 + "@babel/types": "^7.28.5" 223 223 + }, 224 224 + "bin": { 225 225 + "parser": "bin/babel-parser.js" 226 226 + }, 227 227 + "engines": { 228 228 + "node": ">=6.0.0" 229 229 + } 230 230 + }, 231 231 + "node_modules/@babel/template": { 232 232 + "version": "7.27.2", 233 233 + "resolved": "https://registry.npmjs.org/@babel/template/-/template-7.27.2.tgz", 234 234 + "integrity": "sha512-LPDZ85aEJyYSd18/DkjNh4/y1ntkE5KwUHWTiqgRxruuZL2F1yuHligVHLvcHY2vMHXttKFpJn6LwfI7cw7ODw==", 235 235 + "dev": true, 236 236 + "license": "MIT", 237 237 + "dependencies": { 238 238 + "@babel/code-frame": "^7.27.1", 239 239 + "@babel/parser": "^7.27.2", 240 240 + "@babel/types": "^7.27.1" 241 241 + }, 242 242 + "engines": { 243 243 + "node": ">=6.9.0" 244 244 + } 245 245 + }, 246 246 + "node_modules/@babel/traverse": { 247 247 + "version": "7.28.5", 248 248 + "resolved": "https://registry.npmjs.org/@babel/traverse/-/traverse-7.28.5.tgz", 249 249 + "integrity": "sha512-TCCj4t55U90khlYkVV/0TfkJkAkUg3jZFA3Neb7unZT8CPok7iiRfaX0F+WnqWqt7OxhOn0uBKXCw4lbL8W0aQ==", 250 250 + "dev": true, 251 251 + "license": "MIT", 252 252 + "dependencies": { 253 253 + "@babel/code-frame": "^7.27.1", 254 254 + "@babel/generator": "^7.28.5", 255 255 + "@babel/helper-globals": "^7.28.0", 256 256 + "@babel/parser": "^7.28.5", 257 257 + "@babel/template": "^7.27.2", 258 258 + "@babel/types": "^7.28.5", 259 259 + "debug": "^4.3.1" 260 260 + }, 261 261 + "engines": { 262 262 + "node": ">=6.9.0" 263 263 + } 264 264 + }, 265 265 + "node_modules/@babel/types": { 266 266 + "version": "7.28.5", 267 267 + "resolved": "https://registry.npmjs.org/@babel/types/-/types-7.28.5.tgz", 268 268 + "integrity": "sha512-qQ5m48eI/MFLQ5PxQj4PFaprjyCTLI37ElWMmNs0K8Lk3dVeOdNpB3ks8jc7yM5CDmVC73eMVk/trk3fgmrUpA==", 269 269 + "dev": true, 270 270 + "license": "MIT", 271 271 + "dependencies": { 272 272 + "@babel/helper-string-parser": "^7.27.1", 273 273 + "@babel/helper-validator-identifier": "^7.28.5" 274 274 + }, 275 275 + "engines": { 276 276 + "node": ">=6.9.0" 36 277 } 37 278 }, 38 279 "node_modules/@blakeembrey/deque": { ··· 593 834 } 594 835 }, 595 836 "node_modules/@eslint/eslintrc": { 596 596 - "version": "3.3.1", 597 597 - "resolved": "https://registry.npmjs.org/@eslint/eslintrc/-/eslintrc-3.3.1.tgz", 598 598 - "integrity": "sha512-gtF186CXhIl1p4pJNGZw8Yc6RlshoePRvE0X91oPGb3vZ8pM3qOS9W9NGPat9LziaBV7XrJWGylNQXkGcnM3IQ==", 837 837 + "version": "3.3.3", 838 838 + "resolved": "https://registry.npmjs.org/@eslint/eslintrc/-/eslintrc-3.3.3.tgz", 839 839 + "integrity": "sha512-Kr+LPIUVKz2qkx1HAMH8q1q6azbqBAsXJUxBl/ODDuVPX45Z9DfwB8tPjTi6nNZ8BuM3nbJxC5zCAg5elnBUTQ==", 599 840 "dev": true, 600 841 "license": "MIT", 601 842 "dependencies": { ··· 605 846 "globals": "^14.0.0", 606 847 "ignore": "^5.2.0", 607 848 "import-fresh": "^3.2.1", 608 608 - "js-yaml": "^4.1.0", 849 849 + "js-yaml": "^4.1.1", 609 850 "minimatch": "^3.1.2", 610 851 "strip-json-comments": "^3.1.1" 611 852 }, ··· 728 969 "rescript": "^11.0.1" 729 970 } 730 971 }, 972 972 + "node_modules/@jmagaram/rescript-seq/node_modules/rescript": { 973 973 + "version": "11.1.4", 974 974 + "resolved": "https://registry.npmjs.org/rescript/-/rescript-11.1.4.tgz", 975 975 + "integrity": "sha512-0bGU0bocihjSC6MsE3TMjHjY0EUpchyrREquLS8VsZ3ohSMD+VHUEwimEfB3kpBI1vYkw3UFZ3WD8R28guz/Vw==", 976 976 + "hasInstallScript": true, 977 977 + "license": "SEE LICENSE IN LICENSE", 978 978 + "bin": { 979 979 + "bsc": "bsc", 980 980 + "bstracing": "lib/bstracing", 981 981 + "rescript": "rescript" 982 982 + }, 983 983 + "engines": { 984 984 + "node": ">=10" 985 985 + } 986 986 + }, 987 987 + "node_modules/@jridgewell/gen-mapping": { 988 988 + "version": "0.3.13", 989 989 + "resolved": "https://registry.npmjs.org/@jridgewell/gen-mapping/-/gen-mapping-0.3.13.tgz", 990 990 + "integrity": "sha512-2kkt/7niJ6MgEPxF0bYdQ6etZaA+fQvDcLKckhy1yIQOzaoKjBBjSj63/aLVjYE3qhRt5dvM+uUyfCg6UKCBbA==", 991 991 + "dev": true, 992 992 + "license": "MIT", 993 993 + "dependencies": { 994 994 + "@jridgewell/sourcemap-codec": "^1.5.0", 995 995 + "@jridgewell/trace-mapping": "^0.3.24" 996 996 + } 997 997 + }, 998 998 + "node_modules/@jridgewell/remapping": { 999 999 + "version": "2.3.5", 1000 1000 + "resolved": "https://registry.npmjs.org/@jridgewell/remapping/-/remapping-2.3.5.tgz", 1001 1001 + "integrity": "sha512-LI9u/+laYG4Ds1TDKSJW2YPrIlcVYOwi2fUC6xB43lueCjgxV4lffOCZCtYFiH6TNOX+tQKXx97T4IKHbhyHEQ==", 1002 1002 + "dev": true, 1003 1003 + "license": "MIT", 1004 1004 + "dependencies": { 1005 1005 + "@jridgewell/gen-mapping": "^0.3.5", 1006 1006 + "@jridgewell/trace-mapping": "^0.3.24" 1007 1007 + } 1008 1008 + }, 1009 1009 + "node_modules/@jridgewell/resolve-uri": { 1010 1010 + "version": "3.1.2", 1011 1011 + "resolved": "https://registry.npmjs.org/@jridgewell/resolve-uri/-/resolve-uri-3.1.2.tgz", 1012 1012 + "integrity": "sha512-bRISgCIjP20/tbWSPWMEi54QVPRZExkuD9lJL+UIxUKtwVJA8wW1Trb1jMs1RFXo1CBTNZ/5hpC9QvmKWdopKw==", 1013 1013 + "dev": true, 1014 1014 + "license": "MIT", 1015 1015 + "engines": { 1016 1016 + "node": ">=6.0.0" 1017 1017 + } 1018 1018 + }, 1019 1019 + "node_modules/@jridgewell/sourcemap-codec": { 1020 1020 + "version": "1.5.5", 1021 1021 + "resolved": "https://registry.npmjs.org/@jridgewell/sourcemap-codec/-/sourcemap-codec-1.5.5.tgz", 1022 1022 + "integrity": "sha512-cYQ9310grqxueWbl+WuIUIaiUaDcj7WOq5fVhEljNVgRfOUhY9fy2zTvfoqWsnebh8Sl70VScFbICvJnLKB0Og==", 1023 1023 + "dev": true, 1024 1024 + "license": "MIT" 1025 1025 + }, 1026 1026 + "node_modules/@jridgewell/trace-mapping": { 1027 1027 + "version": "0.3.31", 1028 1028 + "resolved": "https://registry.npmjs.org/@jridgewell/trace-mapping/-/trace-mapping-0.3.31.tgz", 1029 1029 + "integrity": "sha512-zzNR+SdQSDJzc8joaeP8QQoCQr8NuYx2dIIytl1QeBEZHJ9uW6hebsrYgbz8hJwUQao3TWCMtmfV8Nu1twOLAw==", 1030 1030 + "dev": true, 1031 1031 + "license": "MIT", 1032 1032 + "dependencies": { 1033 1033 + "@jridgewell/resolve-uri": "^3.1.0", 1034 1034 + "@jridgewell/sourcemap-codec": "^1.4.14" 1035 1035 + } 1036 1036 + }, 731 1037 "node_modules/@nodelib/fs.scandir": { 732 1038 "version": "2.1.5", 733 1039 "resolved": "https://registry.npmjs.org/@nodelib/fs.scandir/-/fs.scandir-2.1.5.tgz", ··· 775 1081 "rescript": ">=11.1.0" 776 1082 } 777 1083 }, 1084 1084 + "node_modules/@rescript/darwin-arm64": { 1085 1085 + "version": "12.0.0", 1086 1086 + "resolved": "https://registry.npmjs.org/@rescript/darwin-arm64/-/darwin-arm64-12.0.0.tgz", 1087 1087 + "integrity": "sha512-N2zNj/Uh0zrg8BJGWxdQjYTDf0d2ZV8D+Vmct8xORaUcEZvAkvZb+xA66UxP2QGhWmATcHmBth7oJ48xpWz/Vg==", 1088 1088 + "cpu": [ 1089 1089 + "arm64" 1090 1090 + ], 1091 1091 + "optional": true, 1092 1092 + "os": [ 1093 1093 + "darwin" 1094 1094 + ], 1095 1095 + "engines": { 1096 1096 + "node": ">=20.11.0" 1097 1097 + } 1098 1098 + }, 1099 1099 + "node_modules/@rescript/darwin-x64": { 1100 1100 + "version": "12.0.0", 1101 1101 + "resolved": "https://registry.npmjs.org/@rescript/darwin-x64/-/darwin-x64-12.0.0.tgz", 1102 1102 + "integrity": "sha512-Qx/ao3Fl2lx3rF8mbRsyRK5HGAx8pmzyCdpSIAaUun5wLBnsJbNqgvqUH7VeI2TwaczHvcIljrYmnB7T5LJdFQ==", 1103 1103 + "cpu": [ 1104 1104 + "x64" 1105 1105 + ], 1106 1106 + "optional": true, 1107 1107 + "os": [ 1108 1108 + "darwin" 1109 1109 + ], 1110 1110 + "engines": { 1111 1111 + "node": ">=20.11.0" 1112 1112 + } 1113 1113 + }, 1114 1114 + "node_modules/@rescript/linux-arm64": { 1115 1115 + "version": "12.0.0", 1116 1116 + "resolved": "https://registry.npmjs.org/@rescript/linux-arm64/-/linux-arm64-12.0.0.tgz", 1117 1117 + "integrity": "sha512-H65csj/0uqqjYy235m0h5CFxbrsas6RoVfjy5Xjf91Vyg/r5R/QIGQvhMtFvl4QojYsa1wXzXGcujwXh+S15xQ==", 1118 1118 + "cpu": [ 1119 1119 + "arm64" 1120 1120 + ], 1121 1121 + "optional": true, 1122 1122 + "os": [ 1123 1123 + "linux" 1124 1124 + ], 1125 1125 + "engines": { 1126 1126 + "node": ">=20.11.0" 1127 1127 + } 1128 1128 + }, 1129 1129 + "node_modules/@rescript/linux-x64": { 1130 1130 + "version": "12.0.0", 1131 1131 + "resolved": "https://registry.npmjs.org/@rescript/linux-x64/-/linux-x64-12.0.0.tgz", 1132 1132 + "integrity": "sha512-WizQwyfMadxF096foZYU3I4zxcnNIc9XP7TP4fqdfe0v6OvQ5yHMI/uIfOsJ1GfNALce2UxvgS0pn67uxc55uA==", 1133 1133 + "cpu": [ 1134 1134 + "x64" 1135 1135 + ], 1136 1136 + "optional": true, 1137 1137 + "os": [ 1138 1138 + "linux" 1139 1139 + ], 1140 1140 + "engines": { 1141 1141 + "node": ">=20.11.0" 1142 1142 + } 1143 1143 + }, 778 1144 "node_modules/@rescript/react": { 779 779 - "version": "0.13.1", 780 780 - "resolved": "https://registry.npmjs.org/@rescript/react/-/react-0.13.1.tgz", 781 781 - "integrity": "sha512-VIWtu/sAJyYmDVoAhit0LHDYQrW6RqZ6z8sh8san5cjEAT4klv8JWkiaSK3FGUfooUDkGUXXgKTkqyj8zRR21w==", 1145 1145 + "version": "0.14.0", 1146 1146 + "resolved": "https://registry.npmjs.org/@rescript/react/-/react-0.14.0.tgz", 1147 1147 + "integrity": "sha512-ncOHWK7ujQmff+QMYKRmtwETvJVolzkwRpDa0MFenEXdUz9ZYywNbq+xH9F9RDQeSwC3/4s9JeUQVyTu4fMpHw==", 782 1148 "license": "MIT", 783 1149 "peerDependencies": { 784 784 - "react": ">=18.0.0", 785 785 - "react-dom": ">=18.0.0" 1150 1150 + "react": ">=19.0.0", 1151 1151 + "react-dom": ">=19.0.0" 786 1152 } 787 1153 }, 1154 1154 + "node_modules/@rescript/runtime": { 1155 1155 + "version": "12.0.0", 1156 1156 + "resolved": "https://registry.npmjs.org/@rescript/runtime/-/runtime-12.0.0.tgz", 1157 1157 + "integrity": "sha512-STRbYHT5rnW61vWn2+Bdtj620XaprnoBSbPbkvOYZ+Zs8nfqtpBjhNw+JNpGQLXf73crk6MhxFGPxL2o5vb8TQ==" 1158 1158 + }, 788 1159 "node_modules/@rescript/std": { 789 1160 "version": "11.1.4", 790 1161 "resolved": "https://registry.npmjs.org/@rescript/std/-/std-11.1.4.tgz", ··· 792 1163 "dev": true, 793 1164 "license": "SEE LICENSE IN LICENSE" 794 1165 }, 1166 1166 + "node_modules/@rescript/win32-x64": { 1167 1167 + "version": "12.0.0", 1168 1168 + "resolved": "https://registry.npmjs.org/@rescript/win32-x64/-/win32-x64-12.0.0.tgz", 1169 1169 + "integrity": "sha512-kkqj4kQGbni5YglWoPm76M6hUuzKJHDEiLce5EZxW2Q4FrkS9dNRgm02c2Ck1cz/uKCS3m+ZoKQGIMMXTvo5Jw==", 1170 1170 + "cpu": [ 1171 1171 + "x64" 1172 1172 + ], 1173 1173 + "optional": true, 1174 1174 + "os": [ 1175 1175 + "win32" 1176 1176 + ], 1177 1177 + "engines": { 1178 1178 + "node": ">=20.11.0" 1179 1179 + } 1180 1180 + }, 795 1181 "node_modules/@rolldown/pluginutils": { 796 796 - "version": "1.0.0-beta.27", 797 797 - "resolved": "https://registry.npmjs.org/@rolldown/pluginutils/-/pluginutils-1.0.0-beta.27.tgz", 798 798 - "integrity": "sha512-+d0F4MKMCbeVUJwG96uQ4SgAznZNSq93I3V+9NHA4OpvqG8mRCpGdKmK8l/dl02h2CCDHwW2FqilnTyDcAnqjA==", 1182 1182 + "version": "1.0.0-beta.47", 1183 1183 + "resolved": "https://registry.npmjs.org/@rolldown/pluginutils/-/pluginutils-1.0.0-beta.47.tgz", 1184 1184 + "integrity": "sha512-8QagwMH3kNCuzD8EWL8R2YPW5e4OrHNSAHRFDdmFqEwEaD/KcNKjVoumo+gP2vW5eKB2UPbM6vTYiGZX0ixLnw==", 799 1185 "dev": true, 800 1186 "license": "MIT" 801 1187 }, 802 1188 "node_modules/@rollup/rollup-android-arm-eabi": { 803 803 - "version": "4.53.2", 804 804 - "resolved": "https://registry.npmjs.org/@rollup/rollup-android-arm-eabi/-/rollup-android-arm-eabi-4.53.2.tgz", 805 805 - "integrity": "sha512-yDPzwsgiFO26RJA4nZo8I+xqzh7sJTZIWQOxn+/XOdPE31lAvLIYCKqjV+lNH/vxE2L2iH3plKxDCRK6i+CwhA==", 1189 1189 + "version": "4.53.3", 1190 1190 + "resolved": "https://registry.npmjs.org/@rollup/rollup-android-arm-eabi/-/rollup-android-arm-eabi-4.53.3.tgz", 1191 1191 + "integrity": "sha512-mRSi+4cBjrRLoaal2PnqH82Wqyb+d3HsPUN/W+WslCXsZsyHa9ZeQQX/pQsZaVIWDkPcpV6jJ+3KLbTbgnwv8w==", 806 1192 "cpu": [ 807 1193 "arm" 808 1194 ], ··· 814 1200 ] 815 1201 }, 816 1202 "node_modules/@rollup/rollup-android-arm64": { 817 817 - "version": "4.53.2", 818 818 - "resolved": "https://registry.npmjs.org/@rollup/rollup-android-arm64/-/rollup-android-arm64-4.53.2.tgz", 819 819 - "integrity": "sha512-k8FontTxIE7b0/OGKeSN5B6j25EuppBcWM33Z19JoVT7UTXFSo3D9CdU39wGTeb29NO3XxpMNauh09B+Ibw+9g==", 1203 1203 + "version": "4.53.3", 1204 1204 + "resolved": "https://registry.npmjs.org/@rollup/rollup-android-arm64/-/rollup-android-arm64-4.53.3.tgz", 1205 1205 + "integrity": "sha512-CbDGaMpdE9sh7sCmTrTUyllhrg65t6SwhjlMJsLr+J8YjFuPmCEjbBSx4Z/e4SmDyH3aB5hGaJUP2ltV/vcs4w==", 820 1206 "cpu": [ 821 1207 "arm64" 822 1208 ], ··· 828 1214 ] 829 1215 }, 830 1216 "node_modules/@rollup/rollup-darwin-arm64": { 831 831 - "version": "4.53.2", 832 832 - "resolved": "https://registry.npmjs.org/@rollup/rollup-darwin-arm64/-/rollup-darwin-arm64-4.53.2.tgz", 833 833 - "integrity": "sha512-A6s4gJpomNBtJ2yioj8bflM2oogDwzUiMl2yNJ2v9E7++sHrSrsQ29fOfn5DM/iCzpWcebNYEdXpaK4tr2RhfQ==", 1217 1217 + "version": "4.53.3", 1218 1218 + "resolved": "https://registry.npmjs.org/@rollup/rollup-darwin-arm64/-/rollup-darwin-arm64-4.53.3.tgz", 1219 1219 + "integrity": "sha512-Nr7SlQeqIBpOV6BHHGZgYBuSdanCXuw09hon14MGOLGmXAFYjx1wNvquVPmpZnl0tLjg25dEdr4IQ6GgyToCUA==", 834 1220 "cpu": [ 835 1221 "arm64" 836 1222 ], ··· 842 1228 ] 843 1229 }, 844 1230 "node_modules/@rollup/rollup-darwin-x64": { 845 845 - "version": "4.53.2", 846 846 - "resolved": "https://registry.npmjs.org/@rollup/rollup-darwin-x64/-/rollup-darwin-x64-4.53.2.tgz", 847 847 - "integrity": "sha512-e6XqVmXlHrBlG56obu9gDRPW3O3hLxpwHpLsBJvuI8qqnsrtSZ9ERoWUXtPOkY8c78WghyPHZdmPhHLWNdAGEw==", 1231 1231 + "version": "4.53.3", 1232 1232 + "resolved": "https://registry.npmjs.org/@rollup/rollup-darwin-x64/-/rollup-darwin-x64-4.53.3.tgz", 1233 1233 + "integrity": "sha512-DZ8N4CSNfl965CmPktJ8oBnfYr3F8dTTNBQkRlffnUarJ2ohudQD17sZBa097J8xhQ26AwhHJ5mvUyQW8ddTsQ==", 848 1234 "cpu": [ 849 1235 "x64" 850 1236 ], ··· 856 1242 ] 857 1243 }, 858 1244 "node_modules/@rollup/rollup-freebsd-arm64": { 859 859 - "version": "4.53.2", 860 860 - "resolved": "https://registry.npmjs.org/@rollup/rollup-freebsd-arm64/-/rollup-freebsd-arm64-4.53.2.tgz", 861 861 - "integrity": "sha512-v0E9lJW8VsrwPux5Qe5CwmH/CF/2mQs6xU1MF3nmUxmZUCHazCjLgYvToOk+YuuUqLQBio1qkkREhxhc656ViA==", 1245 1245 + "version": "4.53.3", 1246 1246 + "resolved": "https://registry.npmjs.org/@rollup/rollup-freebsd-arm64/-/rollup-freebsd-arm64-4.53.3.tgz", 1247 1247 + "integrity": "sha512-yMTrCrK92aGyi7GuDNtGn2sNW+Gdb4vErx4t3Gv/Tr+1zRb8ax4z8GWVRfr3Jw8zJWvpGHNpss3vVlbF58DZ4w==", 862 1248 "cpu": [ 863 1249 "arm64" 864 1250 ], ··· 870 1256 ] 871 1257 }, 872 1258 "node_modules/@rollup/rollup-freebsd-x64": { 873 873 - "version": "4.53.2", 874 874 - "resolved": "https://registry.npmjs.org/@rollup/rollup-freebsd-x64/-/rollup-freebsd-x64-4.53.2.tgz", 875 875 - "integrity": "sha512-ClAmAPx3ZCHtp6ysl4XEhWU69GUB1D+s7G9YjHGhIGCSrsg00nEGRRZHmINYxkdoJehde8VIsDC5t9C0gb6yqA==", 1259 1259 + "version": "4.53.3", 1260 1260 + "resolved": "https://registry.npmjs.org/@rollup/rollup-freebsd-x64/-/rollup-freebsd-x64-4.53.3.tgz", 1261 1261 + "integrity": "sha512-lMfF8X7QhdQzseM6XaX0vbno2m3hlyZFhwcndRMw8fbAGUGL3WFMBdK0hbUBIUYcEcMhVLr1SIamDeuLBnXS+Q==", 876 1262 "cpu": [ 877 1263 "x64" 878 1264 ], ··· 884 1270 ] 885 1271 }, 886 1272 "node_modules/@rollup/rollup-linux-arm-gnueabihf": { 887 887 - "version": "4.53.2", 888 888 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-arm-gnueabihf/-/rollup-linux-arm-gnueabihf-4.53.2.tgz", 889 889 - "integrity": "sha512-EPlb95nUsz6Dd9Qy13fI5kUPXNSljaG9FiJ4YUGU1O/Q77i5DYFW5KR8g1OzTcdZUqQQ1KdDqsTohdFVwCwjqg==", 1273 1273 + "version": "4.53.3", 1274 1274 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-arm-gnueabihf/-/rollup-linux-arm-gnueabihf-4.53.3.tgz", 1275 1275 + "integrity": "sha512-k9oD15soC/Ln6d2Wv/JOFPzZXIAIFLp6B+i14KhxAfnq76ajt0EhYc5YPeX6W1xJkAdItcVT+JhKl1QZh44/qw==", 890 1276 "cpu": [ 891 1277 "arm" 892 1278 ], ··· 898 1284 ] 899 1285 }, 900 1286 "node_modules/@rollup/rollup-linux-arm-musleabihf": { 901 901 - "version": "4.53.2", 902 902 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-arm-musleabihf/-/rollup-linux-arm-musleabihf-4.53.2.tgz", 903 903 - "integrity": "sha512-BOmnVW+khAUX+YZvNfa0tGTEMVVEerOxN0pDk2E6N6DsEIa2Ctj48FOMfNDdrwinocKaC7YXUZ1pHlKpnkja/Q==", 1287 1287 + "version": "4.53.3", 1288 1288 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-arm-musleabihf/-/rollup-linux-arm-musleabihf-4.53.3.tgz", 1289 1289 + "integrity": "sha512-vTNlKq+N6CK/8UktsrFuc+/7NlEYVxgaEgRXVUVK258Z5ymho29skzW1sutgYjqNnquGwVUObAaxae8rZ6YMhg==", 904 1290 "cpu": [ 905 1291 "arm" 906 1292 ], ··· 912 1298 ] 913 1299 }, 914 1300 "node_modules/@rollup/rollup-linux-arm64-gnu": { 915 915 - "version": "4.53.2", 916 916 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-arm64-gnu/-/rollup-linux-arm64-gnu-4.53.2.tgz", 917 917 - "integrity": "sha512-Xt2byDZ+6OVNuREgBXr4+CZDJtrVso5woFtpKdGPhpTPHcNG7D8YXeQzpNbFRxzTVqJf7kvPMCub/pcGUWgBjA==", 1301 1301 + "version": "4.53.3", 1302 1302 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-arm64-gnu/-/rollup-linux-arm64-gnu-4.53.3.tgz", 1303 1303 + "integrity": "sha512-RGrFLWgMhSxRs/EWJMIFM1O5Mzuz3Xy3/mnxJp/5cVhZ2XoCAxJnmNsEyeMJtpK+wu0FJFWz+QF4mjCA7AUQ3w==", 918 1304 "cpu": [ 919 1305 "arm64" 920 1306 ], ··· 926 1312 ] 927 1313 }, 928 1314 "node_modules/@rollup/rollup-linux-arm64-musl": { 929 929 - "version": "4.53.2", 930 930 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-arm64-musl/-/rollup-linux-arm64-musl-4.53.2.tgz", 931 931 - "integrity": "sha512-+LdZSldy/I9N8+klim/Y1HsKbJ3BbInHav5qE9Iy77dtHC/pibw1SR/fXlWyAk0ThnpRKoODwnAuSjqxFRDHUQ==", 1315 1315 + "version": "4.53.3", 1316 1316 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-arm64-musl/-/rollup-linux-arm64-musl-4.53.3.tgz", 1317 1317 + "integrity": "sha512-kASyvfBEWYPEwe0Qv4nfu6pNkITLTb32p4yTgzFCocHnJLAHs+9LjUu9ONIhvfT/5lv4YS5muBHyuV84epBo/A==", 932 1318 "cpu": [ 933 1319 "arm64" 934 1320 ], ··· 940 1326 ] 941 1327 }, 942 1328 "node_modules/@rollup/rollup-linux-loong64-gnu": { 943 943 - "version": "4.53.2", 944 944 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-loong64-gnu/-/rollup-linux-loong64-gnu-4.53.2.tgz", 945 945 - "integrity": "sha512-8ms8sjmyc1jWJS6WdNSA23rEfdjWB30LH8Wqj0Cqvv7qSHnvw6kgMMXRdop6hkmGPlyYBdRPkjJnj3KCUHV/uQ==", 1329 1329 + "version": "4.53.3", 1330 1330 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-loong64-gnu/-/rollup-linux-loong64-gnu-4.53.3.tgz", 1331 1331 + "integrity": "sha512-JiuKcp2teLJwQ7vkJ95EwESWkNRFJD7TQgYmCnrPtlu50b4XvT5MOmurWNrCj3IFdyjBQ5p9vnrX4JM6I8OE7g==", 946 1332 "cpu": [ 947 1333 "loong64" 948 1334 ], ··· 954 1340 ] 955 1341 }, 956 1342 "node_modules/@rollup/rollup-linux-ppc64-gnu": { 957 957 - "version": "4.53.2", 958 958 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-ppc64-gnu/-/rollup-linux-ppc64-gnu-4.53.2.tgz", 959 959 - "integrity": "sha512-3HRQLUQbpBDMmzoxPJYd3W6vrVHOo2cVW8RUo87Xz0JPJcBLBr5kZ1pGcQAhdZgX9VV7NbGNipah1omKKe23/g==", 1343 1343 + "version": "4.53.3", 1344 1344 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-ppc64-gnu/-/rollup-linux-ppc64-gnu-4.53.3.tgz", 1345 1345 + "integrity": "sha512-EoGSa8nd6d3T7zLuqdojxC20oBfNT8nexBbB/rkxgKj5T5vhpAQKKnD+h3UkoMuTyXkP5jTjK/ccNRmQrPNDuw==", 960 1346 "cpu": [ 961 1347 "ppc64" 962 1348 ], ··· 968 1354 ] 969 1355 }, 970 1356 "node_modules/@rollup/rollup-linux-riscv64-gnu": { 971 971 - "version": "4.53.2", 972 972 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-riscv64-gnu/-/rollup-linux-riscv64-gnu-4.53.2.tgz", 973 973 - "integrity": "sha512-fMjKi+ojnmIvhk34gZP94vjogXNNUKMEYs+EDaB/5TG/wUkoeua7p7VCHnE6T2Tx+iaghAqQX8teQzcvrYpaQA==", 1357 1357 + "version": "4.53.3", 1358 1358 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-riscv64-gnu/-/rollup-linux-riscv64-gnu-4.53.3.tgz", 1359 1359 + "integrity": "sha512-4s+Wped2IHXHPnAEbIB0YWBv7SDohqxobiiPA1FIWZpX+w9o2i4LezzH/NkFUl8LRci/8udci6cLq+jJQlh+0g==", 974 1360 "cpu": [ 975 1361 "riscv64" 976 1362 ], ··· 982 1368 ] 983 1369 }, 984 1370 "node_modules/@rollup/rollup-linux-riscv64-musl": { 985 985 - "version": "4.53.2", 986 986 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-riscv64-musl/-/rollup-linux-riscv64-musl-4.53.2.tgz", 987 987 - "integrity": "sha512-XuGFGU+VwUUV5kLvoAdi0Wz5Xbh2SrjIxCtZj6Wq8MDp4bflb/+ThZsVxokM7n0pcbkEr2h5/pzqzDYI7cCgLQ==", 1371 1371 + "version": "4.53.3", 1372 1372 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-riscv64-musl/-/rollup-linux-riscv64-musl-4.53.3.tgz", 1373 1373 + "integrity": "sha512-68k2g7+0vs2u9CxDt5ktXTngsxOQkSEV/xBbwlqYcUrAVh6P9EgMZvFsnHy4SEiUl46Xf0IObWVbMvPrr2gw8A==", 988 1374 "cpu": [ 989 1375 "riscv64" 990 1376 ], ··· 996 1382 ] 997 1383 }, 998 1384 "node_modules/@rollup/rollup-linux-s390x-gnu": { 999 999 - "version": "4.53.2", 1000 1000 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-s390x-gnu/-/rollup-linux-s390x-gnu-4.53.2.tgz", 1001 1001 - "integrity": "sha512-w6yjZF0P+NGzWR3AXWX9zc0DNEGdtvykB03uhonSHMRa+oWA6novflo2WaJr6JZakG2ucsyb+rvhrKac6NIy+w==", 1385 1385 + "version": "4.53.3", 1386 1386 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-s390x-gnu/-/rollup-linux-s390x-gnu-4.53.3.tgz", 1387 1387 + "integrity": "sha512-VYsFMpULAz87ZW6BVYw3I6sWesGpsP9OPcyKe8ofdg9LHxSbRMd7zrVrr5xi/3kMZtpWL/wC+UIJWJYVX5uTKg==", 1002 1388 "cpu": [ 1003 1389 "s390x" 1004 1390 ], ··· 1010 1396 ] 1011 1397 }, 1012 1398 "node_modules/@rollup/rollup-linux-x64-gnu": { 1013 1013 - "version": "4.53.2", 1014 1014 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-x64-gnu/-/rollup-linux-x64-gnu-4.53.2.tgz", 1015 1015 - "integrity": "sha512-yo8d6tdfdeBArzC7T/PnHd7OypfI9cbuZzPnzLJIyKYFhAQ8SvlkKtKBMbXDxe1h03Rcr7u++nFS7tqXz87Gtw==", 1399 1399 + "version": "4.53.3", 1400 1400 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-x64-gnu/-/rollup-linux-x64-gnu-4.53.3.tgz", 1401 1401 + "integrity": "sha512-3EhFi1FU6YL8HTUJZ51imGJWEX//ajQPfqWLI3BQq4TlvHy4X0MOr5q3D2Zof/ka0d5FNdPwZXm3Yyib/UEd+w==", 1016 1402 "cpu": [ 1017 1403 "x64" 1018 1404 ], ··· 1024 1410 ] 1025 1411 }, 1026 1412 "node_modules/@rollup/rollup-linux-x64-musl": { 1027 1027 - "version": "4.53.2", 1028 1028 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-x64-musl/-/rollup-linux-x64-musl-4.53.2.tgz", 1029 1029 - "integrity": "sha512-ah59c1YkCxKExPP8O9PwOvs+XRLKwh/mV+3YdKqQ5AMQ0r4M4ZDuOrpWkUaqO7fzAHdINzV9tEVu8vNw48z0lA==", 1413 1413 + "version": "4.53.3", 1414 1414 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-x64-musl/-/rollup-linux-x64-musl-4.53.3.tgz", 1415 1415 + "integrity": "sha512-eoROhjcc6HbZCJr+tvVT8X4fW3/5g/WkGvvmwz/88sDtSJzO7r/blvoBDgISDiCjDRZmHpwud7h+6Q9JxFwq1Q==", 1030 1416 "cpu": [ 1031 1417 "x64" 1032 1418 ], ··· 1038 1424 ] 1039 1425 }, 1040 1426 "node_modules/@rollup/rollup-openharmony-arm64": { 1041 1041 - "version": "4.53.2", 1042 1042 - "resolved": "https://registry.npmjs.org/@rollup/rollup-openharmony-arm64/-/rollup-openharmony-arm64-4.53.2.tgz", 1043 1043 - "integrity": "sha512-4VEd19Wmhr+Zy7hbUsFZ6YXEiP48hE//KPLCSVNY5RMGX2/7HZ+QkN55a3atM1C/BZCGIgqN+xrVgtdak2S9+A==", 1427 1427 + "version": "4.53.3", 1428 1428 + "resolved": "https://registry.npmjs.org/@rollup/rollup-openharmony-arm64/-/rollup-openharmony-arm64-4.53.3.tgz", 1429 1429 + "integrity": "sha512-OueLAWgrNSPGAdUdIjSWXw+u/02BRTcnfw9PN41D2vq/JSEPnJnVuBgw18VkN8wcd4fjUs+jFHVM4t9+kBSNLw==", 1044 1430 "cpu": [ 1045 1431 "arm64" 1046 1432 ], ··· 1052 1438 ] 1053 1439 }, 1054 1440 "node_modules/@rollup/rollup-win32-arm64-msvc": { 1055 1055 - "version": "4.53.2", 1056 1056 - "resolved": "https://registry.npmjs.org/@rollup/rollup-win32-arm64-msvc/-/rollup-win32-arm64-msvc-4.53.2.tgz", 1057 1057 - "integrity": "sha512-IlbHFYc/pQCgew/d5fslcy1KEaYVCJ44G8pajugd8VoOEI8ODhtb/j8XMhLpwHCMB3yk2J07ctup10gpw2nyMA==", 1441 1441 + "version": "4.53.3", 1442 1442 + "resolved": "https://registry.npmjs.org/@rollup/rollup-win32-arm64-msvc/-/rollup-win32-arm64-msvc-4.53.3.tgz", 1443 1443 + "integrity": "sha512-GOFuKpsxR/whszbF/bzydebLiXIHSgsEUp6M0JI8dWvi+fFa1TD6YQa4aSZHtpmh2/uAlj/Dy+nmby3TJ3pkTw==", 1058 1444 "cpu": [ 1059 1445 "arm64" 1060 1446 ], ··· 1066 1452 ] 1067 1453 }, 1068 1454 "node_modules/@rollup/rollup-win32-ia32-msvc": { 1069 1069 - "version": "4.53.2", 1070 1070 - "resolved": "https://registry.npmjs.org/@rollup/rollup-win32-ia32-msvc/-/rollup-win32-ia32-msvc-4.53.2.tgz", 1071 1071 - "integrity": "sha512-lNlPEGgdUfSzdCWU176ku/dQRnA7W+Gp8d+cWv73jYrb8uT7HTVVxq62DUYxjbaByuf1Yk0RIIAbDzp+CnOTFg==", 1455 1455 + "version": "4.53.3", 1456 1456 + "resolved": "https://registry.npmjs.org/@rollup/rollup-win32-ia32-msvc/-/rollup-win32-ia32-msvc-4.53.3.tgz", 1457 1457 + "integrity": "sha512-iah+THLcBJdpfZ1TstDFbKNznlzoxa8fmnFYK4V67HvmuNYkVdAywJSoteUszvBQ9/HqN2+9AZghbajMsFT+oA==", 1072 1458 "cpu": [ 1073 1459 "ia32" 1074 1460 ], ··· 1080 1466 ] 1081 1467 }, 1082 1468 "node_modules/@rollup/rollup-win32-x64-gnu": { 1083 1083 - "version": "4.53.2", 1084 1084 - "resolved": "https://registry.npmjs.org/@rollup/rollup-win32-x64-gnu/-/rollup-win32-x64-gnu-4.53.2.tgz", 1085 1085 - "integrity": "sha512-S6YojNVrHybQis2lYov1sd+uj7K0Q05NxHcGktuMMdIQ2VixGwAfbJ23NnlvvVV1bdpR2m5MsNBViHJKcA4ADw==", 1469 1469 + "version": "4.53.3", 1470 1470 + "resolved": "https://registry.npmjs.org/@rollup/rollup-win32-x64-gnu/-/rollup-win32-x64-gnu-4.53.3.tgz", 1471 1471 + "integrity": "sha512-J9QDiOIZlZLdcot5NXEepDkstocktoVjkaKUtqzgzpt2yWjGlbYiKyp05rWwk4nypbYUNoFAztEgixoLaSETkg==", 1086 1472 "cpu": [ 1087 1473 "x64" 1088 1474 ], ··· 1094 1480 ] 1095 1481 }, 1096 1482 "node_modules/@rollup/rollup-win32-x64-msvc": { 1097 1097 - "version": "4.53.2", 1098 1098 - "resolved": "https://registry.npmjs.org/@rollup/rollup-win32-x64-msvc/-/rollup-win32-x64-msvc-4.53.2.tgz", 1099 1099 - "integrity": "sha512-k+/Rkcyx//P6fetPoLMb8pBeqJBNGx81uuf7iljX9++yNBVRDQgD04L+SVXmXmh5ZP4/WOp4mWF0kmi06PW2tA==", 1483 1483 + "version": "4.53.3", 1484 1484 + "resolved": "https://registry.npmjs.org/@rollup/rollup-win32-x64-msvc/-/rollup-win32-x64-msvc-4.53.3.tgz", 1485 1485 + "integrity": "sha512-UhTd8u31dXadv0MopwGgNOBpUVROFKWVQgAg5N1ESyCz8AuBcMqm4AuTjrwgQKGDfoFuz02EuMRHQIw/frmYKQ==", 1100 1486 "cpu": [ 1101 1487 "x64" 1102 1488 ], ··· 1121 1507 } 1122 1508 }, 1123 1509 "node_modules/@swc/core": { 1124 1124 - "version": "1.15.1", 1125 1125 - "resolved": "https://registry.npmjs.org/@swc/core/-/core-1.15.1.tgz", 1126 1126 - "integrity": "sha512-s9GN3M2jA32k+StvuS9uGe4ztf5KVGBdlJMMC6LR6Ah23Lq/CWKVcC3WeQi8qaAcLd+DiddoNCNMUWymLv+wWQ==", 1510 1510 + "version": "1.15.3", 1511 1511 + "resolved": "https://registry.npmjs.org/@swc/core/-/core-1.15.3.tgz", 1512 1512 + "integrity": "sha512-Qd8eBPkUFL4eAONgGjycZXj1jFCBW8Fd+xF0PzdTlBCWQIV1xnUT7B93wUANtW3KGjl3TRcOyxwSx/u/jyKw/Q==", 1127 1513 "dev": true, 1128 1514 "hasInstallScript": true, 1129 1515 "license": "Apache-2.0", ··· 1139 1525 "url": "https://opencollective.com/swc" 1140 1526 }, 1141 1527 "optionalDependencies": { 1142 1142 - "@swc/core-darwin-arm64": "1.15.1", 1143 1143 - "@swc/core-darwin-x64": "1.15.1", 1144 1144 - "@swc/core-linux-arm-gnueabihf": "1.15.1", 1145 1145 - "@swc/core-linux-arm64-gnu": "1.15.1", 1146 1146 - "@swc/core-linux-arm64-musl": "1.15.1", 1147 1147 - "@swc/core-linux-x64-gnu": "1.15.1", 1148 1148 - "@swc/core-linux-x64-musl": "1.15.1", 1149 1149 - "@swc/core-win32-arm64-msvc": "1.15.1", 1150 1150 - "@swc/core-win32-ia32-msvc": "1.15.1", 1151 1151 - "@swc/core-win32-x64-msvc": "1.15.1" 1528 1528 + "@swc/core-darwin-arm64": "1.15.3", 1529 1529 + "@swc/core-darwin-x64": "1.15.3", 1530 1530 + "@swc/core-linux-arm-gnueabihf": "1.15.3", 1531 1531 + "@swc/core-linux-arm64-gnu": "1.15.3", 1532 1532 + "@swc/core-linux-arm64-musl": "1.15.3", 1533 1533 + "@swc/core-linux-x64-gnu": "1.15.3", 1534 1534 + "@swc/core-linux-x64-musl": "1.15.3", 1535 1535 + "@swc/core-win32-arm64-msvc": "1.15.3", 1536 1536 + "@swc/core-win32-ia32-msvc": "1.15.3", 1537 1537 + "@swc/core-win32-x64-msvc": "1.15.3" 1152 1538 }, 1153 1539 "peerDependencies": { 1154 1540 "@swc/helpers": ">=0.5.17" ··· 1160 1546 } 1161 1547 }, 1162 1548 "node_modules/@swc/core-darwin-arm64": { 1163 1163 - "version": "1.15.1", 1164 1164 - "resolved": "https://registry.npmjs.org/@swc/core-darwin-arm64/-/core-darwin-arm64-1.15.1.tgz", 1165 1165 - "integrity": "sha512-vEPrVxegWIjKEz+1VCVuKRY89jhokhSmQ/YXBWLnmLj9cI08G61RTZJvdsIcjYUjjTu7NgZlYVK+b2y0fbh11g==", 1549 1549 + "version": "1.15.3", 1550 1550 + "resolved": "https://registry.npmjs.org/@swc/core-darwin-arm64/-/core-darwin-arm64-1.15.3.tgz", 1551 1551 + "integrity": "sha512-AXfeQn0CvcQ4cndlIshETx6jrAM45oeUrK8YeEY6oUZU/qzz0Id0CyvlEywxkWVC81Ajpd8TQQ1fW5yx6zQWkQ==", 1166 1552 "cpu": [ 1167 1553 "arm64" 1168 1554 ], ··· 1177 1563 } 1178 1564 }, 1179 1565 "node_modules/@swc/core-darwin-x64": { 1180 1180 - "version": "1.15.1", 1181 1181 - "resolved": "https://registry.npmjs.org/@swc/core-darwin-x64/-/core-darwin-x64-1.15.1.tgz", 1182 1182 - "integrity": "sha512-z9QguKxE3aldvwKHHDg5OlKehasbJBF1lacn5CnN6SlrHbdwokXHFA3nIoO3Bh1Tw7bCgFtdIR4jKlTTn3kBZA==", 1566 1566 + "version": "1.15.3", 1567 1567 + "resolved": "https://registry.npmjs.org/@swc/core-darwin-x64/-/core-darwin-x64-1.15.3.tgz", 1568 1568 + "integrity": "sha512-p68OeCz1ui+MZYG4wmfJGvcsAcFYb6Sl25H9TxWl+GkBgmNimIiRdnypK9nBGlqMZAcxngNPtnG3kEMNnvoJ2A==", 1183 1569 "cpu": [ 1184 1570 "x64" 1185 1571 ], ··· 1194 1580 } 1195 1581 }, 1196 1582 "node_modules/@swc/core-linux-arm-gnueabihf": { 1197 1197 - "version": "1.15.1", 1198 1198 - "resolved": "https://registry.npmjs.org/@swc/core-linux-arm-gnueabihf/-/core-linux-arm-gnueabihf-1.15.1.tgz", 1199 1199 - "integrity": "sha512-yS2FHA8E4YeiPG9YeYk/6mKiCWuXR5RdYlCmtlGzKcjWbI4GXUVe7+p9C0M6myRt3zdj3M1knmJxk52MQA9EZQ==", 1583 1583 + "version": "1.15.3", 1584 1584 + "resolved": "https://registry.npmjs.org/@swc/core-linux-arm-gnueabihf/-/core-linux-arm-gnueabihf-1.15.3.tgz", 1585 1585 + "integrity": "sha512-Nuj5iF4JteFgwrai97mUX+xUOl+rQRHqTvnvHMATL/l9xE6/TJfPBpd3hk/PVpClMXG3Uvk1MxUFOEzM1JrMYg==", 1200 1586 "cpu": [ 1201 1587 "arm" 1202 1588 ], ··· 1211 1597 } 1212 1598 }, 1213 1599 "node_modules/@swc/core-linux-arm64-gnu": { 1214 1214 - "version": "1.15.1", 1215 1215 - "resolved": "https://registry.npmjs.org/@swc/core-linux-arm64-gnu/-/core-linux-arm64-gnu-1.15.1.tgz", 1216 1216 - "integrity": "sha512-IFrjDu7+5Y61jLsUqBVXlXutDoPBX10eEeNTjW6C1yzm+cSTE7ayiKXMIFri4gEZ4VpXS6MUgkwjxtDpIXTh+w==", 1600 1600 + "version": "1.15.3", 1601 1601 + "resolved": "https://registry.npmjs.org/@swc/core-linux-arm64-gnu/-/core-linux-arm64-gnu-1.15.3.tgz", 1602 1602 + "integrity": "sha512-2Nc/s8jE6mW2EjXWxO/lyQuLKShcmTrym2LRf5Ayp3ICEMX6HwFqB1EzDhwoMa2DcUgmnZIalesq2lG3krrUNw==", 1217 1603 "cpu": [ 1218 1604 "arm64" 1219 1605 ], ··· 1228 1614 } 1229 1615 }, 1230 1616 "node_modules/@swc/core-linux-arm64-musl": { 1231 1231 - "version": "1.15.1", 1232 1232 - "resolved": "https://registry.npmjs.org/@swc/core-linux-arm64-musl/-/core-linux-arm64-musl-1.15.1.tgz", 1233 1233 - "integrity": "sha512-fKzP9mRQGbhc5QhJPIsqKNNX/jyWrZgBxmo3Nz1SPaepfCUc7RFmtcJQI5q8xAun3XabXjh90wqcY/OVyg2+Kg==", 1617 1617 + "version": "1.15.3", 1618 1618 + "resolved": "https://registry.npmjs.org/@swc/core-linux-arm64-musl/-/core-linux-arm64-musl-1.15.3.tgz", 1619 1619 + "integrity": "sha512-j4SJniZ/qaZ5g8op+p1G9K1z22s/EYGg1UXIb3+Cg4nsxEpF5uSIGEE4mHUfA70L0BR9wKT2QF/zv3vkhfpX4g==", 1234 1620 "cpu": [ 1235 1621 "arm64" 1236 1622 ], ··· 1245 1631 } 1246 1632 }, 1247 1633 "node_modules/@swc/core-linux-x64-gnu": { 1248 1248 - "version": "1.15.1", 1249 1249 - "resolved": "https://registry.npmjs.org/@swc/core-linux-x64-gnu/-/core-linux-x64-gnu-1.15.1.tgz", 1250 1250 - "integrity": "sha512-ZLjMi138uTJxb+1wzo4cB8mIbJbAsSLWRNeHc1g1pMvkERPWOGlem+LEYkkzaFzCNv1J8aKcL653Vtw8INHQeg==", 1634 1634 + "version": "1.15.3", 1635 1635 + "resolved": "https://registry.npmjs.org/@swc/core-linux-x64-gnu/-/core-linux-x64-gnu-1.15.3.tgz", 1636 1636 + "integrity": "sha512-aKttAZnz8YB1VJwPQZtyU8Uk0BfMP63iDMkvjhJzRZVgySmqt/apWSdnoIcZlUoGheBrcqbMC17GGUmur7OT5A==", 1251 1637 "cpu": [ 1252 1638 "x64" 1253 1639 ], ··· 1262 1648 } 1263 1649 }, 1264 1650 "node_modules/@swc/core-linux-x64-musl": { 1265 1265 - "version": "1.15.1", 1266 1266 - "resolved": "https://registry.npmjs.org/@swc/core-linux-x64-musl/-/core-linux-x64-musl-1.15.1.tgz", 1267 1267 - "integrity": "sha512-jvSI1IdsIYey5kOITzyajjofXOOySVitmLxb45OPUjoNojql4sDojvlW5zoHXXFePdA6qAX4Y6KbzAOV3T3ctA==", 1651 1651 + "version": "1.15.3", 1652 1652 + "resolved": "https://registry.npmjs.org/@swc/core-linux-x64-musl/-/core-linux-x64-musl-1.15.3.tgz", 1653 1653 + "integrity": "sha512-oe8FctPu1gnUsdtGJRO2rvOUIkkIIaHqsO9xxN0bTR7dFTlPTGi2Fhk1tnvXeyAvCPxLIcwD8phzKg6wLv9yug==", 1268 1654 "cpu": [ 1269 1655 "x64" 1270 1656 ], ··· 1279 1665 } 1280 1666 }, 1281 1667 "node_modules/@swc/core-win32-arm64-msvc": { 1282 1282 - "version": "1.15.1", 1283 1283 - "resolved": "https://registry.npmjs.org/@swc/core-win32-arm64-msvc/-/core-win32-arm64-msvc-1.15.1.tgz", 1284 1284 - "integrity": "sha512-X/FcDtNrDdY9r4FcXHt9QxUqC/2FbQdvZobCKHlHe8vTSKhUHOilWl5EBtkFVfsEs4D5/yAri9e3bJbwyBhhBw==", 1668 1668 + "version": "1.15.3", 1669 1669 + "resolved": "https://registry.npmjs.org/@swc/core-win32-arm64-msvc/-/core-win32-arm64-msvc-1.15.3.tgz", 1670 1670 + "integrity": "sha512-L9AjzP2ZQ/Xh58e0lTRMLvEDrcJpR7GwZqAtIeNLcTK7JVE+QineSyHp0kLkO1rttCHyCy0U74kDTj0dRz6raA==", 1285 1671 "cpu": [ 1286 1672 "arm64" 1287 1673 ], ··· 1296 1682 } 1297 1683 }, 1298 1684 "node_modules/@swc/core-win32-ia32-msvc": { 1299 1299 - "version": "1.15.1", 1300 1300 - "resolved": "https://registry.npmjs.org/@swc/core-win32-ia32-msvc/-/core-win32-ia32-msvc-1.15.1.tgz", 1301 1301 - "integrity": "sha512-vfheiWBux8PpC87oy1cshcqzgH7alWYpnVq5jWe7xuVkjqjGGDbBUKuS84eJCdsWcVaB5EXIWLKt+11W3/BOwA==", 1685 1685 + "version": "1.15.3", 1686 1686 + "resolved": "https://registry.npmjs.org/@swc/core-win32-ia32-msvc/-/core-win32-ia32-msvc-1.15.3.tgz", 1687 1687 + "integrity": "sha512-B8UtogMzErUPDWUoKONSVBdsgKYd58rRyv2sHJWKOIMCHfZ22FVXICR4O/VwIYtlnZ7ahERcjayBHDlBZpR0aw==", 1302 1688 "cpu": [ 1303 1689 "ia32" 1304 1690 ], ··· 1313 1699 } 1314 1700 }, 1315 1701 "node_modules/@swc/core-win32-x64-msvc": { 1316 1316 - "version": "1.15.1", 1317 1317 - "resolved": "https://registry.npmjs.org/@swc/core-win32-x64-msvc/-/core-win32-x64-msvc-1.15.1.tgz", 1318 1318 - "integrity": "sha512-n3Ppn0LSov/IdlANq+8kxHqENuJRX5XtwQqPgQsgwKIcFq22u17NKfDs9vL5PwRsEHY6Xd67pnOqQX0h4AvbuQ==", 1702 1702 + "version": "1.15.3", 1703 1703 + "resolved": "https://registry.npmjs.org/@swc/core-win32-x64-msvc/-/core-win32-x64-msvc-1.15.3.tgz", 1704 1704 + "integrity": "sha512-SpZKMR9QBTecHeqpzJdYEfgw30Oo8b/Xl6rjSzBt1g0ZsXyy60KLXrp6IagQyfTYqNYE/caDvwtF2FPn7pomog==", 1319 1705 "cpu": [ 1320 1706 "x64" 1321 1707 ], ··· 1361 1747 "license": "MIT" 1362 1748 }, 1363 1749 "node_modules/@types/react": { 1364 1364 - "version": "19.2.3", 1365 1365 - "resolved": "https://registry.npmjs.org/@types/react/-/react-19.2.3.tgz", 1366 1366 - "integrity": "sha512-k5dJVszUiNr1DSe8Cs+knKR6IrqhqdhpUwzqhkS8ecQTSf3THNtbfIp/umqHMpX2bv+9dkx3fwDv/86LcSfvSg==", 1750 1750 + "version": "19.2.7", 1751 1751 + "resolved": "https://registry.npmjs.org/@types/react/-/react-19.2.7.tgz", 1752 1752 + "integrity": "sha512-MWtvHrGZLFttgeEj28VXHxpmwYbor/ATPYbBfSFZEIRK0ecCFLl2Qo55z52Hss+UV9CRN7trSeq1zbgx7YDWWg==", 1367 1753 "dev": true, 1368 1754 "license": "MIT", 1369 1755 "peer": true, 1370 1756 "dependencies": { 1371 1371 - "csstype": "^3.0.2" 1757 1757 + "csstype": "^3.2.2" 1372 1758 } 1373 1759 }, 1374 1760 "node_modules/@types/react-dom": { ··· 1382 1768 } 1383 1769 }, 1384 1770 "node_modules/@typescript-eslint/eslint-plugin": { 1385 1385 - "version": "8.46.4", 1386 1386 - "resolved": "https://registry.npmjs.org/@typescript-eslint/eslint-plugin/-/eslint-plugin-8.46.4.tgz", 1387 1387 - "integrity": "sha512-R48VhmTJqplNyDxCyqqVkFSZIx1qX6PzwqgcXn1olLrzxcSBDlOsbtcnQuQhNtnNiJ4Xe5gREI1foajYaYU2Vg==", 1771 1771 + "version": "8.48.1", 1772 1772 + "resolved": "https://registry.npmjs.org/@typescript-eslint/eslint-plugin/-/eslint-plugin-8.48.1.tgz", 1773 1773 + "integrity": "sha512-X63hI1bxl5ohelzr0LY5coufyl0LJNthld+abwxpCoo6Gq+hSqhKwci7MUWkXo67mzgUK6YFByhmaHmUcuBJmA==", 1388 1774 "dev": true, 1389 1775 "license": "MIT", 1390 1776 "dependencies": { 1391 1777 "@eslint-community/regexpp": "^4.10.0", 1392 1392 - "@typescript-eslint/scope-manager": "8.46.4", 1393 1393 - "@typescript-eslint/type-utils": "8.46.4", 1394 1394 - "@typescript-eslint/utils": "8.46.4", 1395 1395 - "@typescript-eslint/visitor-keys": "8.46.4", 1778 1778 + "@typescript-eslint/scope-manager": "8.48.1", 1779 1779 + "@typescript-eslint/type-utils": "8.48.1", 1780 1780 + "@typescript-eslint/utils": "8.48.1", 1781 1781 + "@typescript-eslint/visitor-keys": "8.48.1", 1396 1782 "graphemer": "^1.4.0", 1397 1783 "ignore": "^7.0.0", 1398 1784 "natural-compare": "^1.4.0", ··· 1406 1792 "url": "https://opencollective.com/typescript-eslint" 1407 1793 }, 1408 1794 "peerDependencies": { 1409 1409 - "@typescript-eslint/parser": "^8.46.4", 1795 1795 + "@typescript-eslint/parser": "^8.48.1", 1410 1796 "eslint": "^8.57.0 || ^9.0.0", 1411 1797 "typescript": ">=4.8.4 <6.0.0" 1412 1798 } ··· 1422 1808 } 1423 1809 }, 1424 1810 "node_modules/@typescript-eslint/parser": { 1425 1425 - "version": "8.46.4", 1426 1426 - "resolved": "https://registry.npmjs.org/@typescript-eslint/parser/-/parser-8.46.4.tgz", 1427 1427 - "integrity": "sha512-tK3GPFWbirvNgsNKto+UmB/cRtn6TZfyw0D6IKrW55n6Vbs7KJoZtI//kpTKzE/DUmmnAFD8/Ca46s7Obs92/w==", 1811 1811 + "version": "8.48.1", 1812 1812 + "resolved": "https://registry.npmjs.org/@typescript-eslint/parser/-/parser-8.48.1.tgz", 1813 1813 + "integrity": "sha512-PC0PDZfJg8sP7cmKe6L3QIL8GZwU5aRvUFedqSIpw3B+QjRSUZeeITC2M5XKeMXEzL6wccN196iy3JLwKNvDVA==", 1428 1814 "dev": true, 1429 1815 "license": "MIT", 1430 1816 "peer": true, 1431 1817 "dependencies": { 1432 1432 - "@typescript-eslint/scope-manager": "8.46.4", 1433 1433 - "@typescript-eslint/types": "8.46.4", 1434 1434 - "@typescript-eslint/typescript-estree": "8.46.4", 1435 1435 - "@typescript-eslint/visitor-keys": "8.46.4", 1818 1818 + "@typescript-eslint/scope-manager": "8.48.1", 1819 1819 + "@typescript-eslint/types": "8.48.1", 1820 1820 + "@typescript-eslint/typescript-estree": "8.48.1", 1821 1821 + "@typescript-eslint/visitor-keys": "8.48.1", 1436 1822 "debug": "^4.3.4" 1437 1823 }, 1438 1824 "engines": { ··· 1448 1834 } 1449 1835 }, 1450 1836 "node_modules/@typescript-eslint/project-service": { 1451 1451 - "version": "8.46.4", 1452 1452 - "resolved": "https://registry.npmjs.org/@typescript-eslint/project-service/-/project-service-8.46.4.tgz", 1453 1453 - "integrity": "sha512-nPiRSKuvtTN+no/2N1kt2tUh/HoFzeEgOm9fQ6XQk4/ApGqjx0zFIIaLJ6wooR1HIoozvj2j6vTi/1fgAz7UYQ==", 1837 1837 + "version": "8.48.1", 1838 1838 + "resolved": "https://registry.npmjs.org/@typescript-eslint/project-service/-/project-service-8.48.1.tgz", 1839 1839 + "integrity": "sha512-HQWSicah4s9z2/HifRPQ6b6R7G+SBx64JlFQpgSSHWPKdvCZX57XCbszg/bapbRsOEv42q5tayTYcEFpACcX1w==", 1454 1840 "dev": true, 1455 1841 "license": "MIT", 1456 1842 "dependencies": { 1457 1457 - "@typescript-eslint/tsconfig-utils": "^8.46.4", 1458 1458 - "@typescript-eslint/types": "^8.46.4", 1843 1843 + "@typescript-eslint/tsconfig-utils": "^8.48.1", 1844 1844 + "@typescript-eslint/types": "^8.48.1", 1459 1845 "debug": "^4.3.4" 1460 1846 }, 1461 1847 "engines": { ··· 1470 1856 } 1471 1857 }, 1472 1858 "node_modules/@typescript-eslint/scope-manager": { 1473 1473 - "version": "8.46.4", 1474 1474 - "resolved": "https://registry.npmjs.org/@typescript-eslint/scope-manager/-/scope-manager-8.46.4.tgz", 1475 1475 - "integrity": "sha512-tMDbLGXb1wC+McN1M6QeDx7P7c0UWO5z9CXqp7J8E+xGcJuUuevWKxuG8j41FoweS3+L41SkyKKkia16jpX7CA==", 1859 1859 + "version": "8.48.1", 1860 1860 + "resolved": "https://registry.npmjs.org/@typescript-eslint/scope-manager/-/scope-manager-8.48.1.tgz", 1861 1861 + "integrity": "sha512-rj4vWQsytQbLxC5Bf4XwZ0/CKd362DkWMUkviT7DCS057SK64D5lH74sSGzhI6PDD2HCEq02xAP9cX68dYyg1w==", 1476 1862 "dev": true, 1477 1863 "license": "MIT", 1478 1864 "dependencies": { 1479 1479 - "@typescript-eslint/types": "8.46.4", 1480 1480 - "@typescript-eslint/visitor-keys": "8.46.4" 1865 1865 + "@typescript-eslint/types": "8.48.1", 1866 1866 + "@typescript-eslint/visitor-keys": "8.48.1" 1481 1867 }, 1482 1868 "engines": { 1483 1869 "node": "^18.18.0 || ^20.9.0 || >=21.1.0" ··· 1488 1874 } 1489 1875 }, 1490 1876 "node_modules/@typescript-eslint/tsconfig-utils": { 1491 1491 - "version": "8.46.4", 1492 1492 - "resolved": "https://registry.npmjs.org/@typescript-eslint/tsconfig-utils/-/tsconfig-utils-8.46.4.tgz", 1493 1493 - "integrity": "sha512-+/XqaZPIAk6Cjg7NWgSGe27X4zMGqrFqZ8atJsX3CWxH/jACqWnrWI68h7nHQld0y+k9eTTjb9r+KU4twLoo9A==", 1877 1877 + "version": "8.48.1", 1878 1878 + "resolved": "https://registry.npmjs.org/@typescript-eslint/tsconfig-utils/-/tsconfig-utils-8.48.1.tgz", 1879 1879 + "integrity": "sha512-k0Jhs4CpEffIBm6wPaCXBAD7jxBtrHjrSgtfCjUvPp9AZ78lXKdTR8fxyZO5y4vWNlOvYXRtngSZNSn+H53Jkw==", 1494 1880 "dev": true, 1495 1881 "license": "MIT", 1496 1882 "engines": { ··· 1505 1891 } 1506 1892 }, 1507 1893 "node_modules/@typescript-eslint/type-utils": { 1508 1508 - "version": "8.46.4", 1509 1509 - "resolved": "https://registry.npmjs.org/@typescript-eslint/type-utils/-/type-utils-8.46.4.tgz", 1510 1510 - "integrity": "sha512-V4QC8h3fdT5Wro6vANk6eojqfbv5bpwHuMsBcJUJkqs2z5XnYhJzyz9Y02eUmF9u3PgXEUiOt4w4KHR3P+z0PQ==", 1894 1894 + "version": "8.48.1", 1895 1895 + "resolved": "https://registry.npmjs.org/@typescript-eslint/type-utils/-/type-utils-8.48.1.tgz", 1896 1896 + "integrity": "sha512-1jEop81a3LrJQLTf/1VfPQdhIY4PlGDBc/i67EVWObrtvcziysbLN3oReexHOM6N3jyXgCrkBsZpqwH0hiDOQg==", 1511 1897 "dev": true, 1512 1898 "license": "MIT", 1513 1899 "dependencies": { 1514 1514 - "@typescript-eslint/types": "8.46.4", 1515 1515 - "@typescript-eslint/typescript-estree": "8.46.4", 1516 1516 - "@typescript-eslint/utils": "8.46.4", 1900 1900 + "@typescript-eslint/types": "8.48.1", 1901 1901 + "@typescript-eslint/typescript-estree": "8.48.1", 1902 1902 + "@typescript-eslint/utils": "8.48.1", 1517 1903 "debug": "^4.3.4", 1518 1904 "ts-api-utils": "^2.1.0" 1519 1905 }, ··· 1530 1916 } 1531 1917 }, 1532 1918 "node_modules/@typescript-eslint/types": { 1533 1533 - "version": "8.46.4", 1534 1534 - "resolved": "https://registry.npmjs.org/@typescript-eslint/types/-/types-8.46.4.tgz", 1535 1535 - "integrity": "sha512-USjyxm3gQEePdUwJBFjjGNG18xY9A2grDVGuk7/9AkjIF1L+ZrVnwR5VAU5JXtUnBL/Nwt3H31KlRDaksnM7/w==", 1919 1919 + "version": "8.48.1", 1920 1920 + "resolved": "https://registry.npmjs.org/@typescript-eslint/types/-/types-8.48.1.tgz", 1921 1921 + "integrity": "sha512-+fZ3LZNeiELGmimrujsDCT4CRIbq5oXdHe7chLiW8qzqyPMnn1puNstCrMNVAqwcl2FdIxkuJ4tOs/RFDBVc/Q==", 1536 1922 "dev": true, 1537 1923 "license": "MIT", 1538 1924 "engines": { ··· 1544 1930 } 1545 1931 }, 1546 1932 "node_modules/@typescript-eslint/typescript-estree": { 1547 1547 - "version": "8.46.4", 1548 1548 - "resolved": "https://registry.npmjs.org/@typescript-eslint/typescript-estree/-/typescript-estree-8.46.4.tgz", 1549 1549 - "integrity": "sha512-7oV2qEOr1d4NWNmpXLR35LvCfOkTNymY9oyW+lUHkmCno7aOmIf/hMaydnJBUTBMRCOGZh8YjkFOc8dadEoNGA==", 1933 1933 + "version": "8.48.1", 1934 1934 + "resolved": "https://registry.npmjs.org/@typescript-eslint/typescript-estree/-/typescript-estree-8.48.1.tgz", 1935 1935 + "integrity": "sha512-/9wQ4PqaefTK6POVTjJaYS0bynCgzh6ClJHGSBj06XEHjkfylzB+A3qvyaXnErEZSaxhIo4YdyBgq6j4RysxDg==", 1550 1936 "dev": true, 1551 1937 "license": "MIT", 1552 1938 "dependencies": { 1553 1553 - "@typescript-eslint/project-service": "8.46.4", 1554 1554 - "@typescript-eslint/tsconfig-utils": "8.46.4", 1555 1555 - "@typescript-eslint/types": "8.46.4", 1556 1556 - "@typescript-eslint/visitor-keys": "8.46.4", 1939 1939 + "@typescript-eslint/project-service": "8.48.1", 1940 1940 + "@typescript-eslint/tsconfig-utils": "8.48.1", 1941 1941 + "@typescript-eslint/types": "8.48.1", 1942 1942 + "@typescript-eslint/visitor-keys": "8.48.1", 1557 1943 "debug": "^4.3.4", 1558 1558 - "fast-glob": "^3.3.2", 1559 1559 - "is-glob": "^4.0.3", 1560 1944 "minimatch": "^9.0.4", 1561 1945 "semver": "^7.6.0", 1946 1946 + "tinyglobby": "^0.2.15", 1562 1947 "ts-api-utils": "^2.1.0" 1563 1948 }, 1564 1949 "engines": { ··· 1598 1983 "url": "https://github.com/sponsors/isaacs" 1599 1984 } 1600 1985 }, 1986 1986 + "node_modules/@typescript-eslint/typescript-estree/node_modules/semver": { 1987 1987 + "version": "7.7.3", 1988 1988 + "resolved": "https://registry.npmjs.org/semver/-/semver-7.7.3.tgz", 1989 1989 + "integrity": "sha512-SdsKMrI9TdgjdweUSR9MweHA4EJ8YxHn8DFaDisvhVlUOe4BF1tLD7GAj0lIqWVl+dPb/rExr0Btby5loQm20Q==", 1990 1990 + "dev": true, 1991 1991 + "license": "ISC", 1992 1992 + "bin": { 1993 1993 + "semver": "bin/semver.js" 1994 1994 + }, 1995 1995 + "engines": { 1996 1996 + "node": ">=10" 1997 1997 + } 1998 1998 + }, 1601 1999 "node_modules/@typescript-eslint/utils": { 1602 1602 - "version": "8.46.4", 1603 1603 - "resolved": "https://registry.npmjs.org/@typescript-eslint/utils/-/utils-8.46.4.tgz", 1604 1604 - "integrity": "sha512-AbSv11fklGXV6T28dp2Me04Uw90R2iJ30g2bgLz529Koehrmkbs1r7paFqr1vPCZi7hHwYxYtxfyQMRC8QaVSg==", 2000 2000 + "version": "8.48.1", 2001 2001 + "resolved": "https://registry.npmjs.org/@typescript-eslint/utils/-/utils-8.48.1.tgz", 2002 2002 + "integrity": "sha512-fAnhLrDjiVfey5wwFRwrweyRlCmdz5ZxXz2G/4cLn0YDLjTapmN4gcCsTBR1N2rWnZSDeWpYtgLDsJt+FpmcwA==", 1605 2003 "dev": true, 1606 2004 "license": "MIT", 1607 2005 "dependencies": { 1608 2006 "@eslint-community/eslint-utils": "^4.7.0", 1609 1609 - "@typescript-eslint/scope-manager": "8.46.4", 1610 1610 - "@typescript-eslint/types": "8.46.4", 1611 1611 - "@typescript-eslint/typescript-estree": "8.46.4" 2007 2007 + "@typescript-eslint/scope-manager": "8.48.1", 2008 2008 + "@typescript-eslint/types": "8.48.1", 2009 2009 + "@typescript-eslint/typescript-estree": "8.48.1" 1612 2010 }, 1613 2011 "engines": { 1614 2012 "node": "^18.18.0 || ^20.9.0 || >=21.1.0" ··· 1623 2021 } 1624 2022 }, 1625 2023 "node_modules/@typescript-eslint/visitor-keys": { 1626 1626 - "version": "8.46.4", 1627 1627 - "resolved": "https://registry.npmjs.org/@typescript-eslint/visitor-keys/-/visitor-keys-8.46.4.tgz", 1628 1628 - "integrity": "sha512-/++5CYLQqsO9HFGLI7APrxBJYo+5OCMpViuhV8q5/Qa3o5mMrF//eQHks+PXcsAVaLdn817fMuS7zqoXNNZGaw==", 2024 2024 + "version": "8.48.1", 2025 2025 + "resolved": "https://registry.npmjs.org/@typescript-eslint/visitor-keys/-/visitor-keys-8.48.1.tgz", 2026 2026 + "integrity": "sha512-BmxxndzEWhE4TIEEMBs8lP3MBWN3jFPs/p6gPm/wkv02o41hI6cq9AuSmGAaTTHPtA1FTi2jBre4A9rm5ZmX+Q==", 1629 2027 "dev": true, 1630 2028 "license": "MIT", 1631 2029 "dependencies": { 1632 1632 - "@typescript-eslint/types": "8.46.4", 2030 2030 + "@typescript-eslint/types": "8.48.1", 1633 2031 "eslint-visitor-keys": "^4.2.1" 1634 2032 }, 1635 2033 "engines": { ··· 1641 2039 } 1642 2040 }, 1643 2041 "node_modules/@vitejs/plugin-react-swc": { 1644 1644 - "version": "3.11.0", 1645 1645 - "resolved": "https://registry.npmjs.org/@vitejs/plugin-react-swc/-/plugin-react-swc-3.11.0.tgz", 1646 1646 - "integrity": "sha512-YTJCGFdNMHCMfjODYtxRNVAYmTWQ1Lb8PulP/2/f/oEEtglw8oKxKIZmmRkyXrVrHfsKOaVkAc3NT9/dMutO5w==", 2042 2042 + "version": "4.2.2", 2043 2043 + "resolved": "https://registry.npmjs.org/@vitejs/plugin-react-swc/-/plugin-react-swc-4.2.2.tgz", 2044 2044 + "integrity": "sha512-x+rE6tsxq/gxrEJN3Nv3dIV60lFflPj94c90b+NNo6n1QV1QQUTLoL0MpaOVasUZ0zqVBn7ead1B5ecx1JAGfA==", 1647 2045 "dev": true, 1648 2046 "license": "MIT", 1649 2047 "dependencies": { 1650 1650 - "@rolldown/pluginutils": "1.0.0-beta.27", 1651 1651 - "@swc/core": "^1.12.11" 2048 2048 + "@rolldown/pluginutils": "1.0.0-beta.47", 2049 2049 + "@swc/core": "^1.13.5" 2050 2050 + }, 2051 2051 + "engines": { 2052 2052 + "node": "^20.19.0 || >=22.12.0" 1652 2053 }, 1653 2054 "peerDependencies": { 1654 2055 "vite": "^4 || ^5 || ^6 || ^7" ··· 1775 2176 "dev": true, 1776 2177 "license": "MIT" 1777 2178 }, 2179 2179 + "node_modules/baseline-browser-mapping": { 2180 2180 + "version": "2.8.32", 2181 2181 + "resolved": "https://registry.npmjs.org/baseline-browser-mapping/-/baseline-browser-mapping-2.8.32.tgz", 2182 2182 + "integrity": "sha512-OPz5aBThlyLFgxyhdwf/s2+8ab3OvT7AdTNvKHBwpXomIYeXqpUUuT8LrdtxZSsWJ4R4CU1un4XGh5Ez3nlTpw==", 2183 2183 + "dev": true, 2184 2184 + "license": "Apache-2.0", 2185 2185 + "bin": { 2186 2186 + "baseline-browser-mapping": "dist/cli.js" 2187 2187 + } 2188 2188 + }, 1778 2189 "node_modules/binary-extensions": { 1779 2190 "version": "2.3.0", 1780 2191 "resolved": "https://registry.npmjs.org/binary-extensions/-/binary-extensions-2.3.0.tgz", ··· 1812 2223 "node": ">=8" 1813 2224 } 1814 2225 }, 2226 2226 + "node_modules/browserslist": { 2227 2227 + "version": "4.28.0", 2228 2228 + "resolved": "https://registry.npmjs.org/browserslist/-/browserslist-4.28.0.tgz", 2229 2229 + "integrity": "sha512-tbydkR/CxfMwelN0vwdP/pLkDwyAASZ+VfWm4EOwlB6SWhx1sYnWLqo8N5j0rAzPfzfRaxt0mM/4wPU/Su84RQ==", 2230 2230 + "dev": true, 2231 2231 + "funding": [ 2232 2232 + { 2233 2233 + "type": "opencollective", 2234 2234 + "url": "https://opencollective.com/browserslist" 2235 2235 + }, 2236 2236 + { 2237 2237 + "type": "tidelift", 2238 2238 + "url": "https://tidelift.com/funding/github/npm/browserslist" 2239 2239 + }, 2240 2240 + { 2241 2241 + "type": "github", 2242 2242 + "url": "https://github.com/sponsors/ai" 2243 2243 + } 2244 2244 + ], 2245 2245 + "license": "MIT", 2246 2246 + "peer": true, 2247 2247 + "dependencies": { 2248 2248 + "baseline-browser-mapping": "^2.8.25", 2249 2249 + "caniuse-lite": "^1.0.30001754", 2250 2250 + "electron-to-chromium": "^1.5.249", 2251 2251 + "node-releases": "^2.0.27", 2252 2252 + "update-browserslist-db": "^1.1.4" 2253 2253 + }, 2254 2254 + "bin": { 2255 2255 + "browserslist": "cli.js" 2256 2256 + }, 2257 2257 + "engines": { 2258 2258 + "node": "^6 || ^7 || ^8 || ^9 || ^10 || ^11 || ^12 || >=13.7" 2259 2259 + } 2260 2260 + }, 1815 2261 "node_modules/callsites": { 1816 2262 "version": "3.1.0", 1817 2263 "resolved": "https://registry.npmjs.org/callsites/-/callsites-3.1.0.tgz", ··· 1821 2267 "engines": { 1822 2268 "node": ">=6" 1823 2269 } 2270 2270 + }, 2271 2271 + "node_modules/caniuse-lite": { 2272 2272 + "version": "1.0.30001757", 2273 2273 + "resolved": "https://registry.npmjs.org/caniuse-lite/-/caniuse-lite-1.0.30001757.tgz", 2274 2274 + "integrity": "sha512-r0nnL/I28Zi/yjk1el6ilj27tKcdjLsNqAOZr0yVjWPrSQyHgKI2INaEWw21bAQSv2LXRt1XuCS/GomNpWOxsQ==", 2275 2275 + "dev": true, 2276 2276 + "funding": [ 2277 2277 + { 2278 2278 + "type": "opencollective", 2279 2279 + "url": "https://opencollective.com/browserslist" 2280 2280 + }, 2281 2281 + { 2282 2282 + "type": "tidelift", 2283 2283 + "url": "https://tidelift.com/funding/github/npm/caniuse-lite" 2284 2284 + }, 2285 2285 + { 2286 2286 + "type": "github", 2287 2287 + "url": "https://github.com/sponsors/ai" 2288 2288 + } 2289 2289 + ], 2290 2290 + "license": "CC-BY-4.0" 1824 2291 }, 1825 2292 "node_modules/chalk": { 1826 2293 "version": "4.1.2", ··· 1954 2421 "dev": true, 1955 2422 "license": "MIT" 1956 2423 }, 2424 2424 + "node_modules/convert-source-map": { 2425 2425 + "version": "2.0.0", 2426 2426 + "resolved": "https://registry.npmjs.org/convert-source-map/-/convert-source-map-2.0.0.tgz", 2427 2427 + "integrity": "sha512-Kvp459HrV2FEJ1CAsi1Ku+MY3kasH19TFykTz2xWmMeq6bk2NU3XXvfJ+Q61m0xktWwt+1HSYf3JZsTms3aRJg==", 2428 2428 + "dev": true, 2429 2429 + "license": "MIT" 2430 2430 + }, 1957 2431 "node_modules/cross-spawn": { 1958 2432 "version": "7.0.6", 1959 2433 "resolved": "https://registry.npmjs.org/cross-spawn/-/cross-spawn-7.0.6.tgz", ··· 1970 2444 } 1971 2445 }, 1972 2446 "node_modules/csstype": { 1973 1973 - "version": "3.1.3", 1974 1974 - "resolved": "https://registry.npmjs.org/csstype/-/csstype-3.1.3.tgz", 1975 1975 - "integrity": "sha512-M1uQkMl8rQK/szD0LNhtqxIPLpimGm8sOBwU7lLnCpSbTyY3yeU1Vc7l4KT5zT4s/yOxHH5O7tIuuLOCnLADRw==", 2447 2447 + "version": "3.2.3", 2448 2448 + "resolved": "https://registry.npmjs.org/csstype/-/csstype-3.2.3.tgz", 2449 2449 + "integrity": "sha512-z1HGKcYy2xA8AGQfwrn0PAy+PB7X/GSj3UVJW9qKyn43xWa+gl5nXmU4qqLMRzWVLFC8KusUX8T/0kCiOYpAIQ==", 1976 2450 "dev": true, 1977 2451 "license": "MIT" 1978 2452 }, ··· 2011 2485 "node": ">=0.3.1" 2012 2486 } 2013 2487 }, 2488 2488 + "node_modules/electron-to-chromium": { 2489 2489 + "version": "1.5.263", 2490 2490 + "resolved": "https://registry.npmjs.org/electron-to-chromium/-/electron-to-chromium-1.5.263.tgz", 2491 2491 + "integrity": "sha512-DrqJ11Knd+lo+dv+lltvfMDLU27g14LMdH2b0O3Pio4uk0x+z7OR+JrmyacTPN2M8w3BrZ7/RTwG3R9B7irPlg==", 2492 2492 + "dev": true, 2493 2493 + "license": "ISC" 2494 2494 + }, 2014 2495 "node_modules/emoji-regex": { 2015 2496 "version": "10.6.0", 2016 2497 "resolved": "https://registry.npmjs.org/emoji-regex/-/emoji-regex-10.6.0.tgz", ··· 2071 2552 "@esbuild/win32-arm64": "0.25.12", 2072 2553 "@esbuild/win32-ia32": "0.25.12", 2073 2554 "@esbuild/win32-x64": "0.25.12" 2555 2555 + } 2556 2556 + }, 2557 2557 + "node_modules/escalade": { 2558 2558 + "version": "3.2.0", 2559 2559 + "resolved": "https://registry.npmjs.org/escalade/-/escalade-3.2.0.tgz", 2560 2560 + "integrity": "sha512-WUj2qlxaQtO4g6Pq5c29GTcWGDyd8itL8zTlipgECz3JesAiiOKotd8JU6otB3PACgG6xkJUyVhboMS+bje/jA==", 2561 2561 + "dev": true, 2562 2562 + "license": "MIT", 2563 2563 + "engines": { 2564 2564 + "node": ">=6" 2074 2565 } 2075 2566 }, 2076 2567 "node_modules/escape-string-regexp": { ··· 2148 2639 } 2149 2640 }, 2150 2641 "node_modules/eslint-plugin-react-hooks": { 2151 2151 - "version": "5.2.0", 2152 2152 - "resolved": "https://registry.npmjs.org/eslint-plugin-react-hooks/-/eslint-plugin-react-hooks-5.2.0.tgz", 2153 2153 - "integrity": "sha512-+f15FfK64YQwZdJNELETdn5ibXEUQmW1DZL6KXhNnc2heoy/sg9VJJeT7n8TlMWouzWqSWavFkIhHyIbIAEapg==", 2642 2642 + "version": "7.0.1", 2643 2643 + "resolved": "https://registry.npmjs.org/eslint-plugin-react-hooks/-/eslint-plugin-react-hooks-7.0.1.tgz", 2644 2644 + "integrity": "sha512-O0d0m04evaNzEPoSW+59Mezf8Qt0InfgGIBJnpC0h3NH/WjUAR7BIKUfysC6todmtiZ/A0oUVS8Gce0WhBrHsA==", 2154 2645 "dev": true, 2155 2646 "license": "MIT", 2647 2647 + "dependencies": { 2648 2648 + "@babel/core": "^7.24.4", 2649 2649 + "@babel/parser": "^7.24.4", 2650 2650 + "hermes-parser": "^0.25.1", 2651 2651 + "zod": "^3.25.0 || ^4.0.0", 2652 2652 + "zod-validation-error": "^3.5.0 || ^4.0.0" 2653 2653 + }, 2156 2654 "engines": { 2157 2157 - "node": ">=10" 2655 2655 + "node": ">=18" 2158 2656 }, 2159 2657 "peerDependencies": { 2160 2658 "eslint": "^3.0.0 || ^4.0.0 || ^5.0.0 || ^6.0.0 || ^7.0.0 || ^8.0.0-0 || ^9.0.0" ··· 2411 2909 "node": "^8.16.0 || ^10.6.0 || >=11.0.0" 2412 2910 } 2413 2911 }, 2912 2912 + "node_modules/gensync": { 2913 2913 + "version": "1.0.0-beta.2", 2914 2914 + "resolved": "https://registry.npmjs.org/gensync/-/gensync-1.0.0-beta.2.tgz", 2915 2915 + "integrity": "sha512-3hN7NaskYvMDLQY55gnW3NQ+mesEAepTqlg+VEbj7zzqEMBVNhzcGYYeqFo/TlYz6eQiFcp1HcsCZO+nGgS8zg==", 2916 2916 + "dev": true, 2917 2917 + "license": "MIT", 2918 2918 + "engines": { 2919 2919 + "node": ">=6.9.0" 2920 2920 + } 2921 2921 + }, 2414 2922 "node_modules/get-east-asian-width": { 2415 2923 "version": "1.4.0", 2416 2924 "resolved": "https://registry.npmjs.org/get-east-asian-width/-/get-east-asian-width-1.4.0.tgz", ··· 2498 3006 "node": ">=8" 2499 3007 } 2500 3008 }, 3009 3009 + "node_modules/hermes-estree": { 3010 3010 + "version": "0.25.1", 3011 3011 + "resolved": "https://registry.npmjs.org/hermes-estree/-/hermes-estree-0.25.1.tgz", 3012 3012 + "integrity": "sha512-0wUoCcLp+5Ev5pDW2OriHC2MJCbwLwuRx+gAqMTOkGKJJiBCLjtrvy4PWUGn6MIVefecRpzoOZ/UV6iGdOr+Cw==", 3013 3013 + "dev": true, 3014 3014 + "license": "MIT" 3015 3015 + }, 3016 3016 + "node_modules/hermes-parser": { 3017 3017 + "version": "0.25.1", 3018 3018 + "resolved": "https://registry.npmjs.org/hermes-parser/-/hermes-parser-0.25.1.tgz", 3019 3019 + "integrity": "sha512-6pEjquH3rqaI6cYAXYPcz9MS4rY6R4ngRgrgfDshRptUZIc3lw0MCIJIGDj9++mfySOuPTHB4nrSW99BCvOPIA==", 3020 3020 + "dev": true, 3021 3021 + "license": "MIT", 3022 3022 + "dependencies": { 3023 3023 + "hermes-estree": "0.25.1" 3024 3024 + } 3025 3025 + }, 2501 3026 "node_modules/husky": { 2502 3027 "version": "9.1.7", 2503 3028 "resolved": "https://registry.npmjs.org/husky/-/husky-9.1.7.tgz", ··· 2620 3145 "dev": true, 2621 3146 "license": "ISC" 2622 3147 }, 3148 3148 + "node_modules/js-tokens": { 3149 3149 + "version": "4.0.0", 3150 3150 + "resolved": "https://registry.npmjs.org/js-tokens/-/js-tokens-4.0.0.tgz", 3151 3151 + "integrity": "sha512-RdJUflcE3cUzKiMqQgsCu06FPu9UdIJO0beYbPhHN4k6apgJtifcoCtT9bcxOpYBtpD2kCM6Sbzg4CausW/PKQ==", 3152 3152 + "dev": true, 3153 3153 + "license": "MIT" 3154 3154 + }, 2623 3155 "node_modules/js-yaml": { 2624 2624 - "version": "4.1.0", 2625 2625 - "resolved": "https://registry.npmjs.org/js-yaml/-/js-yaml-4.1.0.tgz", 2626 2626 - "integrity": "sha512-wpxZs9NoxZaJESJGIZTyDEaYpl0FKSA+FB9aJiyemKhMwkxQg63h4T1KJgUGHpTqPDNRcmmYLugrRjJlBtWvRA==", 3156 3156 + "version": "4.1.1", 3157 3157 + "resolved": "https://registry.npmjs.org/js-yaml/-/js-yaml-4.1.1.tgz", 3158 3158 + "integrity": "sha512-qQKT4zQxXl8lLwBtHMWwaTcGfFOZviOJet3Oy/xmGk2gZH677CJM9EvtfdSkgWcATZhj/55JZ0rmy3myCT5lsA==", 2627 3159 "dev": true, 2628 3160 "license": "MIT", 2629 3161 "dependencies": { ··· 2633 3165 "js-yaml": "bin/js-yaml.js" 2634 3166 } 2635 3167 }, 3168 3168 + "node_modules/jsesc": { 3169 3169 + "version": "3.1.0", 3170 3170 + "resolved": "https://registry.npmjs.org/jsesc/-/jsesc-3.1.0.tgz", 3171 3171 + "integrity": "sha512-/sM3dO2FOzXjKQhJuo0Q173wf2KOo8t4I8vHy6lF9poUp7bKT0/NHE8fPX23PwfhnykfqnC2xRxOnVw5XuGIaA==", 3172 3172 + "dev": true, 3173 3173 + "license": "MIT", 3174 3174 + "bin": { 3175 3175 + "jsesc": "bin/jsesc" 3176 3176 + }, 3177 3177 + "engines": { 3178 3178 + "node": ">=6" 3179 3179 + } 3180 3180 + }, 2636 3181 "node_modules/json-buffer": { 2637 3182 "version": "3.0.1", 2638 3183 "resolved": "https://registry.npmjs.org/json-buffer/-/json-buffer-3.0.1.tgz", ··· 2654 3199 "dev": true, 2655 3200 "license": "MIT" 2656 3201 }, 3202 3202 + "node_modules/json5": { 3203 3203 + "version": "2.2.3", 3204 3204 + "resolved": "https://registry.npmjs.org/json5/-/json5-2.2.3.tgz", 3205 3205 + "integrity": "sha512-XmOWe7eyHYH14cLdVPoyg+GOH3rYX++KpzrylJwSW98t3Nk+U8XOl8FWKOgwtzdb8lXGf6zYwDUzeHMWfxasyg==", 3206 3206 + "dev": true, 3207 3207 + "license": "MIT", 3208 3208 + "bin": { 3209 3209 + "json5": "lib/cli.js" 3210 3210 + }, 3211 3211 + "engines": { 3212 3212 + "node": ">=6" 3213 3213 + } 3214 3214 + }, 2657 3215 "node_modules/keyv": { 2658 3216 "version": "4.5.4", 2659 3217 "resolved": "https://registry.npmjs.org/keyv/-/keyv-4.5.4.tgz", ··· 2679 3237 } 2680 3238 }, 2681 3239 "node_modules/lint-staged": { 2682 2682 - "version": "16.2.6", 2683 2683 - "resolved": "https://registry.npmjs.org/lint-staged/-/lint-staged-16.2.6.tgz", 2684 2684 - "integrity": "sha512-s1gphtDbV4bmW1eylXpVMk2u7is7YsrLl8hzrtvC70h4ByhcMLZFY01Fx05ZUDNuv1H8HO4E+e2zgejV1jVwNw==", 3240 3240 + "version": "16.2.7", 3241 3241 + "resolved": "https://registry.npmjs.org/lint-staged/-/lint-staged-16.2.7.tgz", 3242 3242 + "integrity": "sha512-lDIj4RnYmK7/kXMya+qJsmkRFkGolciXjrsZ6PC25GdTfWOAWetR0ZbsNXRAj1EHHImRSalc+whZFg56F5DVow==", 2685 3243 "dev": true, 2686 3244 "license": "MIT", 2687 3245 "dependencies": { 2688 2688 - "commander": "^14.0.1", 3246 3246 + "commander": "^14.0.2", 2689 3247 "listr2": "^9.0.5", 2690 3248 "micromatch": "^4.0.8", 2691 3249 "nano-spawn": "^2.0.0", ··· 2764 3322 "url": "https://github.com/sponsors/sindresorhus" 2765 3323 } 2766 3324 }, 3325 3325 + "node_modules/lru-cache": { 3326 3326 + "version": "5.1.1", 3327 3327 + "resolved": "https://registry.npmjs.org/lru-cache/-/lru-cache-5.1.1.tgz", 3328 3328 + "integrity": "sha512-KpNARQA3Iwv+jTA0utUVVbrh+Jlrr1Fv0e56GGzAFOXN7dk/FviaDW8LHmK52DlcH4WP2n6gI8vN1aesBFgo9w==", 3329 3329 + "dev": true, 3330 3330 + "license": "ISC", 3331 3331 + "dependencies": { 3332 3332 + "yallist": "^3.0.2" 3333 3333 + } 3334 3334 + }, 2767 3335 "node_modules/merge2": { 2768 3336 "version": "1.4.1", 2769 3337 "resolved": "https://registry.npmjs.org/merge2/-/merge2-1.4.1.tgz", ··· 2857 3425 "version": "1.4.0", 2858 3426 "resolved": "https://registry.npmjs.org/natural-compare/-/natural-compare-1.4.0.tgz", 2859 3427 "integrity": "sha512-OWND8ei3VtNC9h7V60qff3SVobHr996CTwgxubgyQYEpg290h9J0buyECNNJexkFm5sOajh5G116RYA1c8ZMSw==", 3428 3428 + "dev": true, 3429 3429 + "license": "MIT" 3430 3430 + }, 3431 3431 + "node_modules/node-releases": { 3432 3432 + "version": "2.0.27", 3433 3433 + "resolved": "https://registry.npmjs.org/node-releases/-/node-releases-2.0.27.tgz", 3434 3434 + "integrity": "sha512-nmh3lCkYZ3grZvqcCH+fjmQ7X+H0OeZgP40OierEaAptX4XofMh5kwNbWh7lBduUzCcV/8kZ+NDLCwm2iorIlA==", 2860 3435 "dev": true, 2861 3436 "license": "MIT" 2862 3437 }, ··· 3166 3741 } 3167 3742 }, 3168 3743 "node_modules/rescript": { 3169 3169 - "version": "11.1.4", 3170 3170 - "resolved": "https://registry.npmjs.org/rescript/-/rescript-11.1.4.tgz", 3171 3171 - "integrity": "sha512-0bGU0bocihjSC6MsE3TMjHjY0EUpchyrREquLS8VsZ3ohSMD+VHUEwimEfB3kpBI1vYkw3UFZ3WD8R28guz/Vw==", 3172 3172 - "hasInstallScript": true, 3744 3744 + "version": "12.0.0", 3745 3745 + "resolved": "https://registry.npmjs.org/rescript/-/rescript-12.0.0.tgz", 3746 3746 + "integrity": "sha512-DGcZI2L5W0c6FuEnspLE0MIe1UtTt1VsW/vQfzBFCEBxSsQtoA6YRHUB8Puwnb30PHqZiFK1ADhn6UgA8LWK0A==", 3173 3747 "license": "SEE LICENSE IN LICENSE", 3174 3748 "peer": true, 3749 3749 + "workspaces": [ 3750 3750 + "packages/playground", 3751 3751 + "packages/@rescript/*", 3752 3752 + "tests/dependencies/**", 3753 3753 + "tests/analysis_tests/**", 3754 3754 + "tests/docstring_tests", 3755 3755 + "tests/gentype_tests/**", 3756 3756 + "tests/tools_tests", 3757 3757 + "scripts/res" 3758 3758 + ], 3759 3759 + "dependencies": { 3760 3760 + "@rescript/runtime": "12.0.0" 3761 3761 + }, 3175 3762 "bin": { 3176 3176 - "bsc": "bsc", 3177 3177 - "bstracing": "lib/bstracing", 3178 3178 - "rescript": "rescript" 3763 3763 + "bsc": "cli/bsc.js", 3764 3764 + "bstracing": "cli/bstracing.js", 3765 3765 + "rescript": "cli/rescript.js", 3766 3766 + "rescript-legacy": "cli/rescript-legacy.js", 3767 3767 + "rescript-tools": "cli/rescript-tools.js" 3179 3768 }, 3180 3769 "engines": { 3181 3181 - "node": ">=10" 3770 3770 + "node": ">=20.11.0" 3771 3771 + }, 3772 3772 + "optionalDependencies": { 3773 3773 + "@rescript/darwin-arm64": "12.0.0", 3774 3774 + "@rescript/darwin-x64": "12.0.0", 3775 3775 + "@rescript/linux-arm64": "12.0.0", 3776 3776 + "@rescript/linux-x64": "12.0.0", 3777 3777 + "@rescript/win32-x64": "12.0.0" 3182 3778 } 3183 3779 }, 3184 3780 "node_modules/resolve-from": { ··· 3227 3823 "license": "MIT" 3228 3824 }, 3229 3825 "node_modules/rollup": { 3230 3230 - "version": "4.53.2", 3231 3231 - "resolved": "https://registry.npmjs.org/rollup/-/rollup-4.53.2.tgz", 3232 3232 - "integrity": "sha512-MHngMYwGJVi6Fmnk6ISmnk7JAHRNF0UkuucA0CUW3N3a4KnONPEZz+vUanQP/ZC/iY1Qkf3bwPWzyY84wEks1g==", 3826 3826 + "version": "4.53.3", 3827 3827 + "resolved": "https://registry.npmjs.org/rollup/-/rollup-4.53.3.tgz", 3828 3828 + "integrity": "sha512-w8GmOxZfBmKknvdXU1sdM9NHcoQejwF/4mNgj2JuEEdRaHwwF12K7e9eXn1nLZ07ad+du76mkVsyeb2rKGllsA==", 3233 3829 "dev": true, 3234 3830 "license": "MIT", 3235 3831 "dependencies": { ··· 3243 3839 "npm": ">=8.0.0" 3244 3840 }, 3245 3841 "optionalDependencies": { 3246 3246 - "@rollup/rollup-android-arm-eabi": "4.53.2", 3247 3247 - "@rollup/rollup-android-arm64": "4.53.2", 3248 3248 - "@rollup/rollup-darwin-arm64": "4.53.2", 3249 3249 - "@rollup/rollup-darwin-x64": "4.53.2", 3250 3250 - "@rollup/rollup-freebsd-arm64": "4.53.2", 3251 3251 - "@rollup/rollup-freebsd-x64": "4.53.2", 3252 3252 - "@rollup/rollup-linux-arm-gnueabihf": "4.53.2", 3253 3253 - "@rollup/rollup-linux-arm-musleabihf": "4.53.2", 3254 3254 - "@rollup/rollup-linux-arm64-gnu": "4.53.2", 3255 3255 - "@rollup/rollup-linux-arm64-musl": "4.53.2", 3256 3256 - "@rollup/rollup-linux-loong64-gnu": "4.53.2", 3257 3257 - "@rollup/rollup-linux-ppc64-gnu": "4.53.2", 3258 3258 - "@rollup/rollup-linux-riscv64-gnu": "4.53.2", 3259 3259 - "@rollup/rollup-linux-riscv64-musl": "4.53.2", 3260 3260 - "@rollup/rollup-linux-s390x-gnu": "4.53.2", 3261 3261 - "@rollup/rollup-linux-x64-gnu": "4.53.2", 3262 3262 - "@rollup/rollup-linux-x64-musl": "4.53.2", 3263 3263 - "@rollup/rollup-openharmony-arm64": "4.53.2", 3264 3264 - "@rollup/rollup-win32-arm64-msvc": "4.53.2", 3265 3265 - "@rollup/rollup-win32-ia32-msvc": "4.53.2", 3266 3266 - "@rollup/rollup-win32-x64-gnu": "4.53.2", 3267 3267 - "@rollup/rollup-win32-x64-msvc": "4.53.2", 3842 3842 + "@rollup/rollup-android-arm-eabi": "4.53.3", 3843 3843 + "@rollup/rollup-android-arm64": "4.53.3", 3844 3844 + "@rollup/rollup-darwin-arm64": "4.53.3", 3845 3845 + "@rollup/rollup-darwin-x64": "4.53.3", 3846 3846 + "@rollup/rollup-freebsd-arm64": "4.53.3", 3847 3847 + "@rollup/rollup-freebsd-x64": "4.53.3", 3848 3848 + "@rollup/rollup-linux-arm-gnueabihf": "4.53.3", 3849 3849 + "@rollup/rollup-linux-arm-musleabihf": "4.53.3", 3850 3850 + "@rollup/rollup-linux-arm64-gnu": "4.53.3", 3851 3851 + "@rollup/rollup-linux-arm64-musl": "4.53.3", 3852 3852 + "@rollup/rollup-linux-loong64-gnu": "4.53.3", 3853 3853 + "@rollup/rollup-linux-ppc64-gnu": "4.53.3", 3854 3854 + "@rollup/rollup-linux-riscv64-gnu": "4.53.3", 3855 3855 + "@rollup/rollup-linux-riscv64-musl": "4.53.3", 3856 3856 + "@rollup/rollup-linux-s390x-gnu": "4.53.3", 3857 3857 + "@rollup/rollup-linux-x64-gnu": "4.53.3", 3858 3858 + "@rollup/rollup-linux-x64-musl": "4.53.3", 3859 3859 + "@rollup/rollup-openharmony-arm64": "4.53.3", 3860 3860 + "@rollup/rollup-win32-arm64-msvc": "4.53.3", 3861 3861 + "@rollup/rollup-win32-ia32-msvc": "4.53.3", 3862 3862 + "@rollup/rollup-win32-x64-gnu": "4.53.3", 3863 3863 + "@rollup/rollup-win32-x64-msvc": "4.53.3", 3268 3864 "fsevents": "~2.3.2" 3269 3865 } 3270 3866 }, ··· 3299 3895 "license": "MIT" 3300 3896 }, 3301 3897 "node_modules/semver": { 3302 3302 - "version": "7.7.3", 3303 3303 - "resolved": "https://registry.npmjs.org/semver/-/semver-7.7.3.tgz", 3304 3304 - "integrity": "sha512-SdsKMrI9TdgjdweUSR9MweHA4EJ8YxHn8DFaDisvhVlUOe4BF1tLD7GAj0lIqWVl+dPb/rExr0Btby5loQm20Q==", 3898 3898 + "version": "6.3.1", 3899 3899 + "resolved": "https://registry.npmjs.org/semver/-/semver-6.3.1.tgz", 3900 3900 + "integrity": "sha512-BR7VvDCVHO+q2xBEWskxS6DJE1qRnb7DxzUrogb71CWoSficBxYsiAGd+Kl0mmq/MprG9yArRkyrQxTO6XjMzA==", 3305 3901 "dev": true, 3306 3902 "license": "ISC", 3307 3903 "bin": { 3308 3904 "semver": "bin/semver.js" 3309 3309 - }, 3310 3310 - "engines": { 3311 3311 - "node": ">=10" 3312 3905 } 3313 3906 }, 3314 3907 "node_modules/shebang-command": { ··· 3568 4161 } 3569 4162 }, 3570 4163 "node_modules/typescript": { 3571 3571 - "version": "5.8.3", 3572 3572 - "resolved": "https://registry.npmjs.org/typescript/-/typescript-5.8.3.tgz", 3573 3573 - "integrity": "sha512-p1diW6TqL9L07nNxvRMM7hMMw4c5XOo/1ibL4aAIGmSAt9slTE1Xgw5KWuof2uTOvCg9BY7ZRi+GaF+7sfgPeQ==", 4164 4164 + "version": "5.9.3", 4165 4165 + "resolved": "https://registry.npmjs.org/typescript/-/typescript-5.9.3.tgz", 4166 4166 + "integrity": "sha512-jl1vZzPDinLr9eUt3J/t7V6FgNEw9QjvBPdysz9KfQDD41fQrC2Y4vKQdiaUpFT4bXlb1RHhLpp8wtm6M5TgSw==", 3574 4167 "dev": true, 3575 4168 "license": "Apache-2.0", 3576 4169 "peer": true, ··· 3583 4176 } 3584 4177 }, 3585 4178 "node_modules/typescript-eslint": { 3586 3586 - "version": "8.46.4", 3587 3587 - "resolved": "https://registry.npmjs.org/typescript-eslint/-/typescript-eslint-8.46.4.tgz", 3588 3588 - "integrity": "sha512-KALyxkpYV5Ix7UhvjTwJXZv76VWsHG+NjNlt/z+a17SOQSiOcBdUXdbJdyXi7RPxrBFECtFOiPwUJQusJuCqrg==", 4179 4179 + "version": "8.48.1", 4180 4180 + "resolved": "https://registry.npmjs.org/typescript-eslint/-/typescript-eslint-8.48.1.tgz", 4181 4181 + "integrity": "sha512-FbOKN1fqNoXp1hIl5KYpObVrp0mCn+CLgn479nmu2IsRMrx2vyv74MmsBLVlhg8qVwNFGbXSp8fh1zp8pEoC2A==", 3589 4182 "dev": true, 3590 4183 "license": "MIT", 3591 4184 "dependencies": { 3592 3592 - "@typescript-eslint/eslint-plugin": "8.46.4", 3593 3593 - "@typescript-eslint/parser": "8.46.4", 3594 3594 - "@typescript-eslint/typescript-estree": "8.46.4", 3595 3595 - "@typescript-eslint/utils": "8.46.4" 4185 4185 + "@typescript-eslint/eslint-plugin": "8.48.1", 4186 4186 + "@typescript-eslint/parser": "8.48.1", 4187 4187 + "@typescript-eslint/typescript-estree": "8.48.1", 4188 4188 + "@typescript-eslint/utils": "8.48.1" 3596 4189 }, 3597 4190 "engines": { 3598 4191 "node": "^18.18.0 || ^20.9.0 || >=21.1.0" ··· 3619 4212 "url": "https://github.com/sponsors/sindresorhus" 3620 4213 } 3621 4214 }, 4215 4215 + "node_modules/update-browserslist-db": { 4216 4216 + "version": "1.1.4", 4217 4217 + "resolved": "https://registry.npmjs.org/update-browserslist-db/-/update-browserslist-db-1.1.4.tgz", 4218 4218 + "integrity": "sha512-q0SPT4xyU84saUX+tomz1WLkxUbuaJnR1xWt17M7fJtEJigJeWUNGUqrauFXsHnqev9y9JTRGwk13tFBuKby4A==", 4219 4219 + "dev": true, 4220 4220 + "funding": [ 4221 4221 + { 4222 4222 + "type": "opencollective", 4223 4223 + "url": "https://opencollective.com/browserslist" 4224 4224 + }, 4225 4225 + { 4226 4226 + "type": "tidelift", 4227 4227 + "url": "https://tidelift.com/funding/github/npm/browserslist" 4228 4228 + }, 4229 4229 + { 4230 4230 + "type": "github", 4231 4231 + "url": "https://github.com/sponsors/ai" 4232 4232 + } 4233 4233 + ], 4234 4234 + "license": "MIT", 4235 4235 + "dependencies": { 4236 4236 + "escalade": "^3.2.0", 4237 4237 + "picocolors": "^1.1.1" 4238 4238 + }, 4239 4239 + "bin": { 4240 4240 + "update-browserslist-db": "cli.js" 4241 4241 + }, 4242 4242 + "peerDependencies": { 4243 4243 + "browserslist": ">= 4.21.0" 4244 4244 + } 4245 4245 + }, 3622 4246 "node_modules/uri-js": { 3623 4247 "version": "4.4.1", 3624 4248 "resolved": "https://registry.npmjs.org/uri-js/-/uri-js-4.4.1.tgz", ··· 3630 4254 } 3631 4255 }, 3632 4256 "node_modules/vite": { 3633 3633 - "version": "6.4.1", 3634 3634 - "resolved": "https://registry.npmjs.org/vite/-/vite-6.4.1.tgz", 3635 3635 - "integrity": "sha512-+Oxm7q9hDoLMyJOYfUYBuHQo+dkAloi33apOPP56pzj+vsdJDzr+j1NISE5pyaAuKL4A3UD34qd0lx5+kfKp2g==", 4257 4257 + "version": "7.2.6", 4258 4258 + "resolved": "https://registry.npmjs.org/vite/-/vite-7.2.6.tgz", 4259 4259 + "integrity": "sha512-tI2l/nFHC5rLh7+5+o7QjKjSR04ivXDF4jcgV0f/bTQ+OJiITy5S6gaynVsEM+7RqzufMnVbIon6Sr5x1SDYaQ==", 3636 4260 "dev": true, 3637 4261 "license": "MIT", 3638 4262 "peer": true, 3639 4263 "dependencies": { 3640 4264 "esbuild": "^0.25.0", 3641 3641 - "fdir": "^6.4.4", 3642 3642 - "picomatch": "^4.0.2", 3643 3643 - "postcss": "^8.5.3", 3644 3644 - "rollup": "^4.34.9", 3645 3645 - "tinyglobby": "^0.2.13" 4265 4265 + "fdir": "^6.5.0", 4266 4266 + "picomatch": "^4.0.3", 4267 4267 + "postcss": "^8.5.6", 4268 4268 + "rollup": "^4.43.0", 4269 4269 + "tinyglobby": "^0.2.15" 3646 4270 }, 3647 4271 "bin": { 3648 4272 "vite": "bin/vite.js" 3649 4273 }, 3650 4274 "engines": { 3651 3651 - "node": "^18.0.0 || ^20.0.0 || >=22.0.0" 4275 4275 + "node": "^20.19.0 || >=22.12.0" 3652 4276 }, 3653 4277 "funding": { 3654 4278 "url": "https://github.com/vitejs/vite?sponsor=1" ··· 3657 4281 "fsevents": "~2.3.3" 3658 4282 }, 3659 4283 "peerDependencies": { 3660 3660 - "@types/node": "^18.0.0 || ^20.0.0 || >=22.0.0", 4284 4284 + "@types/node": "^20.19.0 || >=22.12.0", 3661 4285 "jiti": ">=1.21.0", 3662 3662 - "less": "*", 4286 4286 + "less": "^4.0.0", 3663 4287 "lightningcss": "^1.21.0", 3664 3664 - "sass": "*", 3665 3665 - "sass-embedded": "*", 3666 3666 - "stylus": "*", 3667 3667 - "sugarss": "*", 4288 4288 + "sass": "^1.70.0", 4289 4289 + "sass-embedded": "^1.70.0", 4290 4290 + "stylus": ">=0.54.8", 4291 4291 + "sugarss": "^5.0.0", 3668 4292 "terser": "^5.16.0", 3669 4293 "tsx": "^4.8.1", 3670 4294 "yaml": "^2.4.2" ··· 3812 4436 "url": "https://github.com/sponsors/sindresorhus" 3813 4437 } 3814 4438 }, 4439 4439 + "node_modules/yallist": { 4440 4440 + "version": "3.1.1", 4441 4441 + "resolved": "https://registry.npmjs.org/yallist/-/yallist-3.1.1.tgz", 4442 4442 + "integrity": "sha512-a4UGQaWPH59mOXUYnAG2ewncQS4i4F43Tv3JoAM+s2VDAmS9NsK8GpDMLrCHPksFT7h3K6TOoUNn2pb7RoXx4g==", 4443 4443 + "dev": true, 4444 4444 + "license": "ISC" 4445 4445 + }, 3815 4446 "node_modules/yaml": { 3816 3816 - "version": "2.8.1", 3817 3817 - "resolved": "https://registry.npmjs.org/yaml/-/yaml-2.8.1.tgz", 3818 3818 - "integrity": "sha512-lcYcMxX2PO9XMGvAJkJ3OsNMw+/7FKes7/hgerGUYWIoWu5j/+YQqcZr5JnPZWzOsEBgMbSbiSTn/dv/69Mkpw==", 4447 4447 + "version": "2.8.2", 4448 4448 + "resolved": "https://registry.npmjs.org/yaml/-/yaml-2.8.2.tgz", 4449 4449 + "integrity": "sha512-mplynKqc1C2hTVYxd0PU2xQAc22TI1vShAYGksCCfxbn/dFwnHTNi1bvYsBTkhdUNtGIf5xNOg938rrSSYvS9A==", 3819 4450 "dev": true, 3820 4451 "license": "ISC", 3821 4452 "bin": { ··· 3823 4454 }, 3824 4455 "engines": { 3825 4456 "node": ">= 14.6" 4457 4457 + }, 4458 4458 + "funding": { 4459 4459 + "url": "https://github.com/sponsors/eemeli" 3826 4460 } 3827 4461 }, 3828 4462 "node_modules/yocto-queue": { ··· 3836 4470 }, 3837 4471 "funding": { 3838 4472 "url": "https://github.com/sponsors/sindresorhus" 4473 4473 + } 4474 4474 + }, 4475 4475 + "node_modules/zod": { 4476 4476 + "version": "4.1.13", 4477 4477 + "resolved": "https://registry.npmjs.org/zod/-/zod-4.1.13.tgz", 4478 4478 + "integrity": "sha512-AvvthqfqrAhNH9dnfmrfKzX5upOdjUVJYFqNSlkmGf64gRaTzlPwz99IHYnVs28qYAybvAlBV+H7pn0saFY4Ig==", 4479 4479 + "dev": true, 4480 4480 + "license": "MIT", 4481 4481 + "peer": true, 4482 4482 + "funding": { 4483 4483 + "url": "https://github.com/sponsors/colinhacks" 4484 4484 + } 4485 4485 + }, 4486 4486 + "node_modules/zod-validation-error": { 4487 4487 + "version": "4.0.2", 4488 4488 + "resolved": "https://registry.npmjs.org/zod-validation-error/-/zod-validation-error-4.0.2.tgz", 4489 4489 + "integrity": "sha512-Q6/nZLe6jxuU80qb/4uJ4t5v2VEZ44lzQjPDhYJNztRQ4wyWc6VF3D3Kb/fAuPetZQnhS3hnajCf9CsWesghLQ==", 4490 4490 + "dev": true, 4491 4491 + "license": "MIT", 4492 4492 + "engines": { 4493 4493 + "node": ">=18.0.0" 4494 4494 + }, 4495 4495 + "peerDependencies": { 4496 4496 + "zod": "^3.25.0 || ^4.0.0" 3839 4497 } 3840 4498 }, 3841 4499 "node_modules/zora": {

+7 -7

package.json

reviewed

··· 11 11 "res:build": "rescript", 12 12 "res:clean": "rescript clean", 13 13 "res:dev": "rescript -w", 14 14 - "res:format": "rescript format -all", 14 14 + "res:format": "rescript format", 15 15 "test": "npm run res:build && pta 'tests/*.mjs'", 16 16 "test-watch": "onchange --initial '{tests,src}/*.mjs' -- pta 'tests/*.mjs'", 17 17 "prepare": "husky" 18 18 }, 19 19 "dependencies": { 20 20 "@jmagaram/rescript-seq": "^4.4.1", 21 21 - "@rescript/react": "^0.13.1", 21 21 + "@rescript/react": "^0.14.0", 22 22 "react": "^19.1.0", 23 23 "react-dom": "^19.1.0", 24 24 - "rescript": "^11.1.4" 24 24 + "rescript": "^12.0.0" 25 25 }, 26 26 "devDependencies": { 27 27 "@dusty-phillips/rescript-zora": "^5.0.1", ··· 30 30 "@rescript/std": "^11.1.4", 31 31 "@types/react": "^19.1.2", 32 32 "@types/react-dom": "^19.1.2", 33 33 - "@vitejs/plugin-react-swc": "^3.9.0", 33 33 + "@vitejs/plugin-react-swc": "^4.2.2", 34 34 "eslint": "^9.25.0", 35 35 - "eslint-plugin-react-hooks": "^5.2.0", 35 35 + "eslint-plugin-react-hooks": "^7.0.1", 36 36 "eslint-plugin-react-refresh": "^0.4.19", 37 37 "globals": "^16.0.0", 38 38 "husky": "^9.1.7", 39 39 "lint-staged": "^16.2.3", 40 40 "onchange": "^7.1.0", 41 41 "pta": "^1.3.0", 42 42 - "typescript": "~5.8.3", 42 42 + "typescript": "^5.9.3", 43 43 "typescript-eslint": "^8.30.1", 44 44 - "vite": "^6.3.5" 44 44 + "vite": "^7.2.6" 45 45 }, 46 46 "lint-staged": { 47 47 "*.res": "rescript format"

+3 -3

rescript.json

reviewed

··· 9 9 "in-source": true 10 10 }, 11 11 "suffix": ".mjs", 12 12 - "bs-dependencies": [ 12 12 + "dependencies": [ 13 13 "@rescript/core", 14 14 "@rescript/react", 15 15 "@jmagaram/rescript-seq" 16 16 ], 17 17 - "bs-dev-dependencies": ["@dusty-phillips/rescript-zora"], 18 18 - "bsc-flags": ["-open RescriptCore"], 17 17 + "dev-dependencies": ["@dusty-phillips/rescript-zora"], 18 18 + "compiler-flags": ["-open RescriptCore"], 19 19 "jsx": { "version": 4 } 20 20 }

+4 -2

src/AxiomSet.res

reviewed

··· 54 54 <div 55 55 className={"axiom-set axiom-set-"->String.concat( 56 56 String.make(props.imports.ruleStyle->Option.getOr(Hybrid)), 57 57 - )}> 57 57 + )} 58 58 + > 58 59 {Dict.toArray(props.content) 59 60 ->Array.mapWithIndex(((n, r), i) => 60 61 <RuleView 61 62 rule={r} 62 63 scope={[]} 63 64 key={String.make(i)} 64 64 - style={props.imports.ruleStyle->Option.getOr(Hybrid)}> 65 65 + style={props.imports.ruleStyle->Option.getOr(Hybrid)} 66 66 + > 65 67 {React.string(n)} 66 68 </RuleView> 67 69 )

+28 -28

src/HOTerm.res

reviewed

··· 102 102 | Ok(newIdx) => 103 103 let new = newIdx + from 104 104 if new < 0 { 105 105 - raise(Err("mapbind: negative index")) 105 105 + throw(Err("mapbind: negative index")) 106 106 } 107 107 Var({ 108 108 idx: new, ··· 132 132 let upshift = (term: t, amount: int, ~from: int=0) => mapbind(term, idx => idx + amount, ~from) 133 133 let downshift = (term: t, amount: int, ~from: int=1) => { 134 134 if amount > from { 135 135 - raise(Err("downshift amount must be less than from")) 135 135 + throw(Err("downshift amount must be less than from")) 136 136 } 137 137 mapbind(term, idx => idx - amount, ~from) 138 138 } ··· 333 333 let rec proj = (subst: subst, term: t, ~gen: option<gen>): subst => { 334 334 switch strip(devar(subst, term)) { 335 335 | (Lam({name: _, body}), args) if args->Array.length == 0 => proj(subst, body, ~gen) 336 336 - | (Unallowed, _args) => raise(UnifyFail("unallowed")) 336 336 + | (Unallowed, _args) => throw(UnifyFail("unallowed")) 337 337 | (Symbol(_) | Var(_), args) => Array.reduce(args, subst, (acc, a) => proj(acc, a, ~gen)) 338 338 | (Schematic({schematic}), args) => { 339 339 assert(!substHas(subst, schematic)) 340 340 if gen->Option.isNone { 341 341 - raise(UnifyFail("no gen provided")) 341 341 + throw(UnifyFail("no gen provided")) 342 342 } 343 343 let h = Schematic({schematic: fresh(Option.getExn(gen))}) 344 344 subst->substAdd( ··· 358 358 ), 359 359 ) 360 360 } 361 361 - | _ => raise(UnifyFail("not a symbol, var or schematic")) 361 361 + | _ => throw(UnifyFail("not a symbol, var or schematic")) 362 362 } 363 363 } 364 364 let flexflex = ( ··· 370 370 ~gen: option<gen>, 371 371 ): subst => { 372 372 if gen->Option.isNone { 373 373 - raise(UnifyFail("no gen provided")) 373 373 + throw(UnifyFail("no gen provided")) 374 374 } 375 375 if sa == sb { 376 376 if xs->Array.length != ys->Array.length { 377 377 - raise(UnifyFail("flexible schematics have different number of arguments")) 377 377 + throw(UnifyFail("flexible schematics have different number of arguments")) 378 378 } 379 379 let len = xs->Array.length 380 380 let h = Schematic({schematic: fresh(Option.getExn(gen))}) ··· 396 396 } 397 397 let flexrigid = (sa: schematic, xs: array<t>, b: t, subst: subst, ~gen: option<gen>): subst => { 398 398 if occ(sa, subst, b) { 399 399 - raise(UnifyFail("flexible schematic occurs in rigid term")) 399 399 + throw(UnifyFail("flexible schematic occurs in rigid term")) 400 400 } 401 401 // pattern unification 402 402 // let u = b->mapbind0(bind => idx2(xs, bind)) ··· 412 412 if na == nb { 413 413 subst 414 414 } else { 415 415 - raise(UnifyFail("symbols do not match")) 415 415 + throw(UnifyFail("symbols do not match")) 416 416 } 417 417 | (Var({idx: ia}), Var({idx: ib})) => 418 418 if ia == ib { 419 419 subst 420 420 } else { 421 421 - raise(UnifyFail("variables do not match")) 421 421 + throw(UnifyFail("variables do not match")) 422 422 } 423 423 | (Schematic({schematic: sa}), Schematic({schematic: sb})) if sa == sb => subst 424 424 | (Lam({name: _, body: ba}), Lam({name: _, body: bb})) => unifyTerm(ba, bb, subst, ~gen) ··· 435 435 | ((a, xs), (b, ys)) => 436 436 switch (a, b) { 437 437 | (Symbol(_) | Var(_), Symbol(_) | Var(_)) => rigidrigid(a, xs, b, ys, subst, ~gen) 438 438 - | _ => raise(UnifyFail("no rules match")) 438 438 + | _ => throw(UnifyFail("no rules match")) 439 439 } 440 440 } 441 441 } 442 442 and unifyArray = (xs: array<t>, ys: array<t>, subst: subst, ~gen: option<gen>): subst => { 443 443 if xs->Array.length != ys->Array.length { 444 444 - raise(UnifyFail("arrays have different lengths")) 444 444 + throw(UnifyFail("arrays have different lengths")) 445 445 } 446 446 Belt.Array.zip(xs, ys)->Belt.Array.reduce(subst, (acc, (x, y)) => unifyTerm(x, y, acc, ~gen)) 447 447 } ··· 454 454 ~gen: option<gen>, 455 455 ): subst => { 456 456 if !equivalent(a, b) { 457 457 - raise(UnifyFail("rigid terms do not match")) 457 457 + throw(UnifyFail("rigid terms do not match")) 458 458 } 459 459 if xs->Array.length != ys->Array.length { 460 460 - raise(UnifyFail("rigid terms have different number of arguments")) 460 460 + throw(UnifyFail("rigid terms have different number of arguments")) 461 461 } 462 462 unifyArray(xs, ys, subst, ~gen) 463 463 } ··· 571 571 | "\\" => { 572 572 let re = RegExp.fromStringWithFlags(varRegexpString, ~flags="y") 573 573 switch re->RegExp.exec(str) { 574 574 - | None => raise(ParseError("invalid variable")) 574 574 + | None => throw(ParseError("invalid variable")) 575 575 | Some(res) => 576 576 switch RegExp.Result.matches(res) { 577 577 | [n] => ( 578 578 VarT(n->Int.fromString->Option.getExn), 579 579 String.sliceToEnd(str, ~start=RegExp.lastIndex(re)), 580 580 ) 581 581 - | _ => raise(ParseError("invalid variable")) 581 581 + | _ => throw(ParseError("invalid variable")) 582 582 } 583 583 } 584 584 } 585 585 | "?" => { 586 586 let re = RegExp.fromStringWithFlags(schematicRegexpString, ~flags="y") 587 587 switch re->RegExp.exec(str) { 588 588 - | None => raise(ParseError("invalid schematic")) 588 588 + | None => throw(ParseError("invalid schematic")) 589 589 | Some(res) => 590 590 switch RegExp.Result.matches(res) { 591 591 | [n] => ( 592 592 SchematicT(n->Int.fromString->Option.getExn), 593 593 String.sliceToEnd(str, ~start=RegExp.lastIndex(re)), 594 594 ) 595 595 - | _ => raise(ParseError("invalid schematic")) 595 595 + | _ => throw(ParseError("invalid schematic")) 596 596 } 597 597 } 598 598 } 599 599 | "@" => 600 600 let re = RegExp.fromStringWithFlags(symbolRegexpString, ~flags="y") 601 601 switch re->RegExp.exec(rest()) { 602 602 - | None => raise(ParseError("invalid symbol")) 602 602 + | None => throw(ParseError("invalid symbol")) 603 603 | Some(res) => 604 604 switch RegExp.Result.matches(res) { 605 605 | [n] => (ConsT(n), String.sliceToEnd(rest(), ~start=RegExp.lastIndex(re))) 606 606 - | _ => raise(ParseError("invalid symbol")) 606 606 + | _ => throw(ParseError("invalid symbol")) 607 607 } 608 608 } 609 609 | _ => { ··· 612 612 | Some(res) => 613 613 switch RegExp.Result.matches(res) { 614 614 | [n] => (NameT(n), String.sliceToEnd(str, ~start=RegExp.lastIndex(reName))) 615 615 - | _ => raise(ParseError("invalid symbol")) 615 615 + | _ => throw(ParseError("invalid symbol")) 616 616 } 617 617 | None => 618 618 let re = RegExp.fromStringWithFlags(symbolRegexpString, ~flags="y") 619 619 switch re->RegExp.exec(str) { 620 620 - | None => raise(ParseError("invalid symbol")) 620 620 + | None => throw(ParseError("invalid symbol")) 621 621 | Some(res) => 622 622 switch RegExp.Result.matches(res) { 623 623 | [n] => (AtomT(n), String.sliceToEnd(str, ~start=RegExp.lastIndex(re))) 624 624 - | _ => raise(ParseError("invalid symbol")) 624 624 + | _ => throw(ParseError("invalid symbol")) 625 625 } 626 626 } 627 627 } ··· 651 651 let (tail, rest3) = parseSimple("("->String.concat(rest2)) 652 652 switch tail { 653 653 | ListS({xs}) => (ListS({xs: Array.concat([head], xs)}), rest3) 654 654 - | _ => raise(Unreachable("bug")) 654 654 + | _ => throw(Unreachable("bug")) 655 655 } 656 656 } 657 657 } 658 658 } 659 659 - | RParen => raise(ParseError("unexpected right parenthesis")) 659 659 + | RParen => throw(ParseError("unexpected right parenthesis")) 660 660 | VarT(idx) => (VarS({idx: idx}), rest) 661 661 | SchematicT(schematic) => (SchematicS({schematic: schematic}), rest) 662 662 | AtomT(name) => (AtomS({name, constructor: false}), rest) ··· 665 665 let (result, rest1) = parseSimple(rest) 666 666 (LambdaS({name, body: result}), rest1) 667 667 } 668 668 - | EOF => raise(ParseError("unexpected end of file")) 668 668 + | EOF => throw(ParseError("unexpected end of file")) 669 669 } 670 670 } 671 671 type env = Map.t<string, int> ··· 696 696 | ListS({xs}) => { 697 697 let ts = xs->Array.map(x => parseAll(x, ~env, ~gen?)) 698 698 if ts->Array.length == 0 { 699 699 - raise(ParseError("empty list")) 699 699 + throw(ParseError("empty list")) 700 700 } else { 701 701 ts 702 702 ->Array.sliceToEnd(~start=1) ··· 719 719 seen(g, schematic) 720 720 Schematic({schematic: schematic}) 721 721 } 722 722 - | None => raise(ParseError("Schematics not allowed here")) 722 722 + | None => throw(ParseError("Schematics not allowed here")) 723 723 } 724 724 | LambdaS({name, body}) => 725 725 Lam({

+33 -34

src/InductiveSet.res

reviewed

··· 18 18 onChange: (state, ~exports: Ports.t=?) => unit, 19 19 } 20 20 21 21 - type constructorGroup = { 21 21 + type predicateGroup = { 22 22 name: string, 23 23 arity: int, 24 24 rules: array<(string, Rule.t)>, ··· 26 26 27 27 let makeKey = (name, arity) => name ++ "§" ++ Int.toString(arity) 28 28 29 29 - let extractConstructorSignature = (rule: Rule.t): option<(string, int)> => { 29 29 + let extractPredicateSignature = (rule: Rule.t): option<(string, int)> => { 30 30 let (head, args) = HOTerm.strip(rule.conclusion) 31 31 switch head { 32 32 | Symbol({name}) => Some((name, Array.length(args))) ··· 34 34 } 35 35 } 36 36 37 37 - let groupByConstructor = (rules: dict<Rule.t>): array<constructorGroup> => 37 37 + let groupByPredicate = (rules: dict<Rule.t>): array<predicateGroup> => 38 38 rules 39 39 ->Dict.toArray 40 40 ->Array.filterMap(((name, rule)) => 41 41 - extractConstructorSignature(rule)->Option.map(sig => (name, rule, sig)) 41 41 + extractPredicateSignature(rule)->Option.map(sig => (name, rule, sig)) 42 42 ) 43 43 - // Only allow type constructors with arity 1 43 43 + // Only allow predicates with arity 1 44 44 ->Array.filter(((_, _, (_cname, arity))) => arity == 1) 45 45 ->Array.reduce(Dict.make(), (acc, (name, rule, (cname, arity))) => { 46 46 let key = makeKey(cname, arity) ··· 48 48 acc 49 49 }) 50 50 ->Dict.valuesToArray 51 51 - ->Array.map(constructors => { 52 52 - let (_, firstRule) = constructors[0]->Option.getExn 53 53 - let (name, arity) = extractConstructorSignature(firstRule)->Option.getExn 54 54 - {name, arity, rules: constructors} 51 51 + ->Array.map(predicates => { 52 52 + let (_, firstRule) = predicates[0]->Option.getExn 53 53 + let (name, arity) = extractPredicateSignature(firstRule)->Option.getExn 54 54 + {name, arity, rules: predicates} 55 55 }) 56 56 - let generateInductionRule = ( 57 57 - group: constructorGroup, 58 58 - allGroups: array<constructorGroup>, 59 59 - ): Rule.t => { 56 56 + let generateInductionRule = (group: predicateGroup, allGroups: array<predicateGroup>): Rule.t => { 60 57 let {name: str, arity: i} = group 61 58 let numFormers = Array.length(allGroups) 62 59 let groupIndex = mustFindIndex(allGroups, g => g.name == str && g.arity == i) ··· 91 88 let (conclusionHead, conclusionArgs) = HOTerm.strip(constructorRule.conclusion) 92 89 let typeIndex = switch conclusionHead { 93 90 | Symbol({name}) => findFormerIndex(name, Array.length(conclusionArgs)) 94 94 - | _ => raise(Unreachable("Constructor conclusion must have a Symbol head")) 91 91 + | _ => throw(Unreachable("Constructor conclusion must have a Symbol head")) 95 92 } 96 93 97 94 { ··· 134 131 } 135 132 } 136 133 137 137 - let isSelfReference = (group: constructorGroup, (name, arity)): bool => 134 134 + let isSelfReference = (group: predicateGroup, (name, arity)): bool => 138 135 name == group.name && arity == group.arity 139 136 140 140 - let findDependencies = (group: constructorGroup): array<(string, int)> => 137 137 + let findDependencies = (group: predicateGroup): array<(string, int)> => 141 138 group.rules 142 139 ->Array.flatMap(((_name, rule)) => rule.premises->Array.filterMap(extractInductiveType)) 143 140 ->Array.filter(dep => !isSelfReference(group, dep)) ··· 145 142 let rec collectReachable = ( 146 143 toVisit: array<(string, int)>, 147 144 visited: Belt.Set.t<string, StringCmp.identity>, 148 148 - allGroups: array<constructorGroup>, 145 145 + allGroups: array<predicateGroup>, 149 146 ): Belt.Set.t<string, StringCmp.identity> => 150 147 switch toVisit { 151 148 | [] => visited ··· 168 165 } 169 166 170 167 let findMutuallyInductiveComponent = ( 171 171 - targetGroup: constructorGroup, 172 172 - allGroups: array<constructorGroup>, 173 173 - ): array<constructorGroup> => { 168 168 + targetGroup: predicateGroup, 169 169 + allGroups: array<predicateGroup>, 170 170 + ): array<predicateGroup> => { 174 171 let reachableKeys = collectReachable( 175 172 [(targetGroup.name, targetGroup.arity)], 176 173 Belt.Set.make(~id=module(StringCmp)), ··· 179 176 allGroups->Array.filter(g => Belt.Set.has(reachableKeys, makeKey(g.name, g.arity))) 180 177 } 181 178 182 182 - let generateCasesRule = (group: constructorGroup): Rule.t => { 179 179 + let generateCasesRule = (group: predicateGroup): Rule.t => { 183 180 let {name: str, arity: _i} = group 184 181 185 185 - let caseSubgoal = ((_constructorName: string, constructorRule: Rule.t)): Rule.t => { 186 186 - let offset = Array.length(constructorRule.vars) 182 182 + let caseSubgoal = ((_constructorName: string, predicateRule: Rule.t)): Rule.t => { 183 183 + let offset = Array.length(predicateRule.vars) 187 184 188 188 - // Extract the argument from the constructor conclusion 185 185 + // Extract the argument from the predicate conclusion 189 186 // e.g., from (Nat 0) extract 0, from (Nat (S n)) extract (S n) 190 190 - let (_head, args) = HOTerm.strip(constructorRule.conclusion) 191 191 - let constructorArg = switch args[0] { 187 187 + let (_head, args) = HOTerm.strip(predicateRule.conclusion) 188 188 + let predicateArg = switch args[0] { 192 189 | Some(arg) => arg 193 193 - | None => raise(Unreachable("Constructor conclusion must have one argument")) 190 190 + | None => throw(Unreachable("Predicate conclusion must have one argument")) 194 191 } 195 192 196 193 let equalityPremise = { ··· 198 195 premises: [], 199 196 conclusion: HOTerm.app( 200 197 HOTerm.Symbol({name: "=", constructor: false}), 201 201 - [HOTerm.Var({idx: offset}), constructorArg], 198 198 + [HOTerm.Var({idx: offset}), predicateArg], 202 199 ), 203 200 } 204 201 205 202 { 206 206 - Rule.vars: constructorRule.vars, 207 207 - premises: Array.concat([equalityPremise], constructorRule.premises), 203 203 + Rule.vars: predicateRule.vars, 204 204 + premises: Array.concat([equalityPremise], predicateRule.premises), 208 205 conclusion: HOTerm.Var({idx: offset + 1}), 209 206 } 210 207 } ··· 230 227 231 228 let derived = (state: state): state => 232 229 state 233 233 - ->groupByConstructor 230 230 + ->groupByPredicate 234 231 ->Array.flatMap(group => { 235 235 - let mutualComponent = findMutuallyInductiveComponent(group, groupByConstructor(state)) 232 232 + let mutualComponent = findMutuallyInductiveComponent(group, groupByPredicate(state)) 236 233 let inductionRule = generateInductionRule(group, mutualComponent) 237 234 let casesRule = generateCasesRule(group) 238 235 [("§induction-" ++ group.name, inductionRule), ("§cases-" ++ group.name, casesRule)] ··· 279 276 <div 280 277 className={"axiom-set axiom-set-"->String.concat( 281 278 String.make(props.imports.ruleStyle->Option.getOr(Hybrid)), 282 282 - )}> 279 279 + )} 280 280 + > 283 281 {Dict.toArray(props.content->Dict.copy->Dict.assign(derived(props.content))) 284 282 ->Array.mapWithIndex(((n, r), i) => 285 283 <RuleView 286 284 rule={r} 287 285 scope={[]} 288 286 key={String.make(i)} 289 289 - style={props.imports.ruleStyle->Option.getOr(Hybrid)}> 287 287 + style={props.imports.ruleStyle->Option.getOr(Hybrid)} 288 288 + > 290 289 {React.string(n)} 291 290 </RuleView> 292 291 )

+3 -3

src/Method.res

reviewed

··· 112 112 Array.push(subgoals, sg) 113 113 cur := String.trim(rest) 114 114 } 115 115 - | Error(e) => raise(InternalParseError(e)) 115 115 + | Error(e) => throw(InternalParseError(e)) 116 116 } 117 117 } 118 118 if cur.contents->String.get(0) == Some("}") { ··· 276 276 Array.push(subgoals, sg) 277 277 cur := String.trim(rest) 278 278 } 279 279 - | Error(e) => raise(InternalParseError(e)) 279 279 + | Error(e) => throw(InternalParseError(e)) 280 280 } 281 281 } 282 282 if cur.contents->String.get(0) == Some("}") { ··· 614 614 615 615 try { 616 616 switch subparser(cur.contents, ~scope, ~gen) { 617 617 - | Error(e) => raise(InternalParseError(e)) 617 617 + | Error(e) => throw(InternalParseError(e)) 618 618 | Ok((subgoal, rest2)) => { 619 619 cur := String.trim(rest2) 620 620

+145 -139

src/MethodView.res

reviewed

··· 37 37 "gen": Term.gen, 38 38 "onChange": ('a, Judgment.subst) => unit, 39 39 } 40 40 - let make = (subRender: srProps<'a> => React.element) => props => { 41 41 - <div> 42 42 - <b> {React.string("by ")} </b> 43 43 - {React.string(props.method.ruleName)} 44 44 - <ul> 45 45 - {props.method.subgoals 46 46 - ->Array.mapWithIndex((sg, i) => { 47 47 - <li key={String.make(i)}> 48 48 - {React.createElement( 49 49 - subRender, 50 50 - { 51 51 - "proof": sg, 52 52 - "scope": props.scope, 53 53 - "ruleStyle": props.ruleStyle, 54 54 - "gen": props.gen, 55 55 - "onChange": (newa, subst: Judgment.subst) => 56 56 - props.onChange(props.method->Method.updateAtKey(i, _ => newa), subst), 57 57 - }, 58 58 - )} 59 59 - </li> 60 60 - }) 61 61 - ->React.array} 62 62 - </ul> 63 63 - </div> 64 64 - } 40 40 + let make = (subRender: srProps<'a> => React.element) => 41 41 + props => { 42 42 + <div> 43 43 + <b> {React.string("by ")} </b> 44 44 + {React.string(props.method.ruleName)} 45 45 + <ul> 46 46 + {props.method.subgoals 47 47 + ->Array.mapWithIndex((sg, i) => { 48 48 + <li key={String.make(i)}> 49 49 + {React.createElement( 50 50 + subRender, 51 51 + { 52 52 + "proof": sg, 53 53 + "scope": props.scope, 54 54 + "ruleStyle": props.ruleStyle, 55 55 + "gen": props.gen, 56 56 + "onChange": (newa, subst: Judgment.subst) => 57 57 + props.onChange(props.method->Method.updateAtKey(i, _ => newa), subst), 58 58 + }, 59 59 + )} 60 60 + </li> 61 61 + }) 62 62 + ->React.array} 63 63 + </ul> 64 64 + </div> 65 65 + } 65 66 } 66 67 67 68 module EliminationView = (Term: TERM, Judgment: JUDGMENT with module Term := Term) => { ··· 80 81 "gen": Term.gen, 81 82 "onChange": ('a, Judgment.subst) => unit, 82 83 } 83 83 - let make = (subRender: srProps<'a> => React.element) => props => { 84 84 - <div> 85 85 - <b> {React.string("elim ")} </b> 86 86 - {React.string(`${props.method.ruleName} ${props.method.elimName}`)} 87 87 - <ul> 88 88 - {props.method.subgoals 89 89 - ->Array.mapWithIndex((sg, i) => { 90 90 - <li key={String.make(i)}> 91 91 - {React.createElement( 92 92 - subRender, 93 93 - { 94 94 - "proof": sg, 95 95 - "scope": props.scope, 96 96 - "ruleStyle": props.ruleStyle, 97 97 - "gen": props.gen, 98 98 - "onChange": (newa, subst: Judgment.subst) => 99 99 - props.onChange(props.method->Method.updateAtKey(i, _ => newa), subst), 100 100 - }, 101 101 - )} 102 102 - </li> 103 103 - }) 104 104 - ->React.array} 105 105 - </ul> 106 106 - </div> 107 107 - } 84 84 + let make = (subRender: srProps<'a> => React.element) => 85 85 + props => { 86 86 + <div> 87 87 + <b> {React.string("elim ")} </b> 88 88 + {React.string(`${props.method.ruleName} ${props.method.elimName}`)} 89 89 + <ul> 90 90 + {props.method.subgoals 91 91 + ->Array.mapWithIndex((sg, i) => { 92 92 + <li key={String.make(i)}> 93 93 + {React.createElement( 94 94 + subRender, 95 95 + { 96 96 + "proof": sg, 97 97 + "scope": props.scope, 98 98 + "ruleStyle": props.ruleStyle, 99 99 + "gen": props.gen, 100 100 + "onChange": (newa, subst: Judgment.subst) => 101 101 + props.onChange(props.method->Method.updateAtKey(i, _ => newa), subst), 102 102 + }, 103 103 + )} 104 104 + </li> 105 105 + }) 106 106 + ->React.array} 107 107 + </ul> 108 108 + </div> 109 109 + } 108 110 } 109 111 110 112 module LemmaView = ( ··· 128 130 "onChange": ('a, Judgment.subst) => unit, 129 131 } 130 132 module RuleView = RuleView.Make(Term, Judgment, JudgmentView) 131 131 - let make = (subRender: srProps<'a> => React.element) => props => { 132 132 - <div> 133 133 - <b> {React.string("have ")} </b> 134 134 - <RuleView rule={props.method.rule} scope={props.scope} style={props.ruleStyle}> 135 135 - {React.null} 136 136 - </RuleView> 137 137 - {React.createElement( 138 138 - subRender, 139 139 - { 140 140 - "proof": props.method.proof, 141 141 - "scope": props.scope, 142 142 - "ruleStyle": props.ruleStyle, 143 143 - "gen": props.gen, 144 144 - "onChange": (proof, subst) => {props.onChange({...props.method, proof}, subst)}, 145 145 - }, 146 146 - )} 147 147 - {React.createElement( 148 148 - subRender, 149 149 - { 150 150 - "proof": props.method.show, 151 151 - "scope": props.scope, 152 152 - "ruleStyle": props.ruleStyle, 153 153 - "gen": props.gen, 154 154 - "onChange": (show, subst) => {props.onChange({...props.method, show}, subst)}, 155 155 - }, 156 156 - )} 157 157 - </div> 158 158 - } 133 133 + let make = (subRender: srProps<'a> => React.element) => 134 134 + props => { 135 135 + <div> 136 136 + <b> {React.string("have ")} </b> 137 137 + <RuleView rule={props.method.rule} scope={props.scope} style={props.ruleStyle}> 138 138 + {React.null} 139 139 + </RuleView> 140 140 + {React.createElement( 141 141 + subRender, 142 142 + { 143 143 + "proof": props.method.proof, 144 144 + "scope": props.scope, 145 145 + "ruleStyle": props.ruleStyle, 146 146 + "gen": props.gen, 147 147 + "onChange": (proof, subst) => {props.onChange({...props.method, proof}, subst)}, 148 148 + }, 149 149 + )} 150 150 + {React.createElement( 151 151 + subRender, 152 152 + { 153 153 + "proof": props.method.show, 154 154 + "scope": props.scope, 155 155 + "ruleStyle": props.ruleStyle, 156 156 + "gen": props.gen, 157 157 + "onChange": (show, subst) => {props.onChange({...props.method, show}, subst)}, 158 158 + }, 159 159 + )} 160 160 + </div> 161 161 + } 159 162 } 160 163 161 164 module RewriteView = ( ··· 176 179 "gen": HOTerm.gen, 177 180 "onChange": ('a, Judgment.subst) => unit, 178 181 } 179 179 - let make = (subRender: srProps<'a> => React.element) => props => { 180 180 - <div> 181 181 - <b> {React.string("rewrite ")} </b> 182 182 - {React.string(props.method.equalityName)} 183 183 - <ul> 184 184 - <li> 185 185 - {React.createElement( 186 186 - subRender, 187 187 - { 188 188 - "proof": props.method.subgoal, 189 189 - "scope": props.scope, 190 190 - "ruleStyle": props.ruleStyle, 191 191 - "gen": props.gen, 192 192 - "onChange": (subgoal, subst: Judgment.subst) => 193 193 - props.onChange({...props.method, subgoal}, subst), 194 194 - }, 195 195 - )} 196 196 - </li> 197 197 - </ul> 198 198 - </div> 199 199 - } 182 182 + let make = (subRender: srProps<'a> => React.element) => 183 183 + props => { 184 184 + <div> 185 185 + <b> {React.string("rewrite ")} </b> 186 186 + {React.string(props.method.equalityName)} 187 187 + <ul> 188 188 + <li> 189 189 + {React.createElement( 190 190 + subRender, 191 191 + { 192 192 + "proof": props.method.subgoal, 193 193 + "scope": props.scope, 194 194 + "ruleStyle": props.ruleStyle, 195 195 + "gen": props.gen, 196 196 + "onChange": (subgoal, subst: Judgment.subst) => 197 197 + props.onChange({...props.method, subgoal}, subst), 198 198 + }, 199 199 + )} 200 200 + </li> 201 201 + </ul> 202 202 + </div> 203 203 + } 200 204 } 201 205 202 206 module RewriteReverseView = ( ··· 217 221 "gen": HOTerm.gen, 218 222 "onChange": ('a, Judgment.subst) => unit, 219 223 } 220 220 - let make = (subRender: srProps<'a> => React.element) => props => { 221 221 - <div> 222 222 - <b> {React.string("rewrite_reverse ")} </b> 223 223 - {React.string(props.method.equalityName)} 224 224 - <ul> 225 225 - <li> 226 226 - {React.createElement( 227 227 - subRender, 228 228 - { 229 229 - "proof": props.method.subgoal, 230 230 - "scope": props.scope, 231 231 - "ruleStyle": props.ruleStyle, 232 232 - "gen": props.gen, 233 233 - "onChange": (subgoal, subst: Judgment.subst) => 234 234 - props.onChange({...props.method, subgoal}, subst), 235 235 - }, 236 236 - )} 237 237 - </li> 238 238 - </ul> 239 239 - </div> 240 240 - } 224 224 + let make = (subRender: srProps<'a> => React.element) => 225 225 + props => { 226 226 + <div> 227 227 + <b> {React.string("rewrite_reverse ")} </b> 228 228 + {React.string(props.method.equalityName)} 229 229 + <ul> 230 230 + <li> 231 231 + {React.createElement( 232 232 + subRender, 233 233 + { 234 234 + "proof": props.method.subgoal, 235 235 + "scope": props.scope, 236 236 + "ruleStyle": props.ruleStyle, 237 237 + "gen": props.gen, 238 238 + "onChange": (subgoal, subst: Judgment.subst) => 239 239 + props.onChange({...props.method, subgoal}, subst), 240 240 + }, 241 241 + )} 242 242 + </li> 243 243 + </ul> 244 244 + </div> 245 245 + } 241 246 } 242 247 243 248 module CombineMethodView = ( ··· 258 263 onChange: (Method.t<'a>, Judgment.subst) => unit, 259 264 } 260 265 type srProps<'a> = Method1View.srProps<'a> 261 261 - let make = (subrender: srProps<'a> => React.element) => props => { 262 262 - switch props.method { 263 263 - | First(m) => 264 264 - Method1View.make(subrender)({ 265 265 - method: m, 266 266 - scope: props.scope, 267 267 - ruleStyle: props.ruleStyle, 268 268 - gen: props.gen, 269 269 - onChange: (n, s) => props.onChange(First(n), s), 270 270 - }) 271 271 - | Second(m) => 272 272 - Method2View.make(subrender)({ 273 273 - method: m, 274 274 - scope: props.scope, 275 275 - ruleStyle: props.ruleStyle, 276 276 - gen: props.gen, 277 277 - onChange: (n, s) => props.onChange(Second(n), s), 278 278 - }) 266 266 + let make = (subrender: srProps<'a> => React.element) => 267 267 + props => { 268 268 + switch props.method { 269 269 + | First(m) => 270 270 + Method1View.make(subrender)({ 271 271 + method: m, 272 272 + scope: props.scope, 273 273 + ruleStyle: props.ruleStyle, 274 274 + gen: props.gen, 275 275 + onChange: (n, s) => props.onChange(First(n), s), 276 276 + }) 277 277 + | Second(m) => 278 278 + Method2View.make(subrender)({ 279 279 + method: m, 280 280 + scope: props.scope, 281 281 + ruleStyle: props.ruleStyle, 282 282 + gen: props.gen, 283 283 + onChange: (n, s) => props.onChange(Second(n), s), 284 284 + }) 285 285 + } 279 286 } 280 280 - } 281 287 }

+2 -1

src/ProofView.res

reviewed

··· 46 46 props.onChange( 47 47 Proof.Checked({fixes, assumptions, method: Do(opt), rule}), 48 48 subst, 49 49 - )}> 49 49 + )} 50 50 + > 50 51 {React.string(str)} 51 52 </button> 52 53 })

+2 -2

src/Rule.res

reviewed

··· 103 103 cur := rest 104 104 premises->Array.push(p) 105 105 } 106 106 - | Error(_) => raise(InternalParseError("expected turnstile or premise")) 106 106 + | Error(_) => throw(InternalParseError("expected turnstile or premise")) 107 107 } 108 108 } 109 109 if cur.contents->String.trim->String.get(0) == Some("]") { ··· 162 162 cur := rest 163 163 premises->Array.push(p) 164 164 } 165 165 - | Error(e) => raise(InternalParseError(e)) 165 165 + | Error(e) => throw(InternalParseError(e)) 166 166 } 167 167 } 168 168 let (ruleName, rest) = it.contents->Result.getExn

+2 -1

src/RuleView.res

reviewed

··· 91 91 <tr> 92 92 <td 93 93 colSpan={premises->Array.length + 1} 94 94 - className="rule-cell rule-hypothetical-conclusion"> 94 94 + className="rule-cell rule-hypothetical-conclusion" 95 95 + > 95 96 <JudgmentView judgment={conclusion} scope={scope} /> 96 97 </td> 97 98 </tr>

+4 -4

src/SExp.res

reviewed

··· 324 324 seen(g, num) 325 325 Some(Schematic({schematic: num, allowed: bits})) 326 326 } 327 327 - | None => raise(ParseError("Schematics not allowed here")) 327 327 + | None => throw(ParseError("Schematics not allowed here")) 328 328 } 329 329 - | _ => raise(ParseError("Expected closing parenthesis")) 329 329 + | _ => throw(ParseError("Expected closing parenthesis")) 330 330 } 331 331 } 332 332 - | _ => raise(ParseError("Expected opening parenthesis")) 332 332 + | _ => throw(ParseError("Expected opening parenthesis")) 333 333 } 334 334 } 335 335 | Some(LParen) => { ··· 344 344 } 345 345 switch lex() { 346 346 | Some(RParen) => Some(Compound({subexps: bits})) 347 347 - | _ => raise(ParseError("Expected closing parenthesis")) 347 347 + | _ => throw(ParseError("Expected closing parenthesis")) 348 348 } 349 349 } 350 350 | _ => None

+7 -5

src/StringAxiomSet.res

reviewed

··· 49 49 let (aIdx, bIdx, pIdx) = (aIdx + n, bIdx + n, pIdx + n) 50 50 let inductionHyps = 51 51 rule.premises 52 52 - ->Array.filter(r => r.conclusion->snd == Symbol({name: name})) 52 52 + ->Array.filter(r => r.conclusion->Pair.second == Symbol({name: name})) 53 53 ->Array.map(r => replaceJudgeRHS(r, aIdx, bIdx, pIdx)) 54 54 { 55 55 vars: rule.vars, 56 56 premises: rule.premises->Array.concat(inductionHyps), 57 57 - conclusion: (surround(rule.conclusion->fst, aIdx, bIdx), Var({idx: pIdx})), 57 57 + conclusion: (surround(rule.conclusion->Pair.first, aIdx, bIdx), Var({idx: pIdx})), 58 58 } 59 59 } 60 60 { ··· 105 105 getBase(str)->Result.map(raw => { 106 106 let grouped: dict<array<Rule.t>> = Dict.make() 107 107 raw->Dict.forEach(rule => 108 108 - switch rule.conclusion->snd { 108 108 + switch rule.conclusion->Pair.second { 109 109 | Symbol({name: a}) => 110 110 switch grouped->Dict.get(a) { 111 111 | None => grouped->Dict.set(a, [rule]) ··· 135 135 <div 136 136 className={"axiom-set axiom-set-"->String.concat( 137 137 String.make(props.imports.ruleStyle->Option.getOr(Hybrid)), 138 138 - )}> 138 138 + )} 139 139 + > 139 140 {content 140 141 ->Dict.toArray 141 142 ->Array.mapWithIndex(((n, r), i) => ··· 143 144 rule={r} 144 145 scope={[]} 145 146 key={String.make(i)} 146 146 - style={props.imports.ruleStyle->Option.getOr(Hybrid)}> 147 147 + style={props.imports.ruleStyle->Option.getOr(Hybrid)} 148 148 + > 147 149 {React.string(n)} 148 150 </RuleView> 149 151 )

+10 -10

src/StringTerm.res

reviewed

··· 40 40 } 41 41 ) 42 42 let maxSchematicCount = (term: t) => { 43 43 - schematicsCountsIn(term)->Belt.Map.Int.maximum->Option.map(snd)->Option.getOr(0) 43 43 + schematicsCountsIn(term)->Belt.Map.Int.maximum->Option.map(Pair.second)->Option.getOr(0) 44 44 } 45 45 let reduce = t => t 46 46 let freeVarsIn = (term: t): Belt.Set.t<int, IntCmp.identity> => ··· 350 350 } 351 351 352 352 let parseMeta = (str: string) => { 353 353 - let re = %re("/^([^\s.\[\]()]+)\./y") 353 353 + let re = /^([^\s.\[\]()]+)\./y 354 354 switch re->RegExp.exec(str->String.trim) { 355 355 | None => Error("not a meta name") 356 356 | Some(res) => ··· 416 416 let execRe = re => execRe(re, String.sliceToEnd(str, ~start=pos.contents)) 417 417 let stringLit = () => { 418 418 let identRegex = RegExp.fromString(`^${Util.identRegexStr}`) 419 419 - let symbolRegex = %re(`/^([!@#\$%\^~&*_+\-={};':|,.<>\/?]+)/`) 420 420 - let numberRegex = %re(`/^(\d+)/`) 419 419 + let symbolRegex = /^([!@#\$%\^~&*_+\-={};':|,.<>\/?]+)/ 420 420 + let numberRegex = /^(\d+)/ 421 421 switch execRe(identRegex) 422 422 ->Option.orElse(execRe(symbolRegex)) 423 423 ->Option.orElse(execRe(numberRegex)) { ··· 427 427 } 428 428 } 429 429 let escaped = () => { 430 430 - let escapedRegex = %re(`/\\([\$\?\\\"])/`) 430 430 + let escapedRegex = /\\([\$\?\\\"])/ 431 431 switch execRe(escapedRegex) { 432 432 | Some([char], l) => add(String(char), ~nAdvance=l) 433 433 | Some(_) => error("regex escaped error") ··· 436 436 } 437 437 let readInt = s => Int.fromString(s)->Option.getExn 438 438 let schema = () => { 439 439 - let schemaRegex = %re("/\?(\d+)\(((?:\d+\s*)*)\)/") 439 439 + let schemaRegex = /\?(\d+)\(((?:\d+\s*)*)\)/ 440 440 switch execRe(schemaRegex) { 441 441 | Some([idStr, allowedStr], l) => { 442 442 let schematic = readInt(idStr) 443 443 let allowed = 444 444 allowedStr 445 445 ->String.trim 446 446 - ->String.splitByRegExp(%re("/\s+/")) 446 446 + ->String.splitByRegExp(/\s+/) 447 447 ->Array.keepSome 448 448 ->Array.filter(s => s != "") 449 449 ->Array.map(readInt) ··· 454 454 } 455 455 } 456 456 let var = () => { 457 457 - let varLitRegex = %re("/^\$\\(\d+)/") 458 458 - let varScopeRegex = %re("/^\$([a-zA-Z]\w*)/") 457 457 + let varLitRegex = /^\$\\(\d+)/ 458 458 + let varScopeRegex = /^\$([a-zA-Z]\w*)/ 459 459 switch execRe(varLitRegex) { 460 460 | Some([match], l) => add(Var({idx: readInt(match)}), ~nAdvance=l) 461 461 | Some(_) => error("var lit regex error") ··· 473 473 } 474 474 475 475 // consume leading whitespace + open quote 476 476 - switch execRe(%re(`/^\s*"/`)) { 476 476 + switch execRe(/^\s*"/) { 477 477 | Some(_, l) => pos := l 478 478 | None => error("expected open quote") 479 479 }

+1 -1

src/Util.res

reviewed

··· 113 113 exception Err(string) 114 114 let mustFindIndex = (arr, f) => { 115 115 switch Array.findIndex(arr, f) { 116 116 - | -1 => raise(Unreachable("Element not found")) 116 116 + | -1 => throw(Unreachable("Element not found")) 117 117 | i => i 118 118 } 119 119 }

+9 -9

tests/HOTermTest.res

reviewed

··· 224 224 y, 225 225 ~subst=emptySubst->substAdd( 226 226 0, 227 227 - HOTerm.parse("(x. (r (fst x)))", ~scope=[])->Result.getExn->fst, 227 227 + HOTerm.parse("(x. (r (fst x)))", ~scope=[])->Result.getExn->Pair.first, 228 228 ), 229 229 ) 230 230 }) ··· 236 236 y, 237 237 ~subst=emptySubst->substAdd( 238 238 1, 239 239 - HOTerm.parse("(x. x. (r (q \\0 \\1)))", ~scope=[])->Result.getExn->fst, 239 239 + HOTerm.parse("(x. x. (r (q \\0 \\1)))", ~scope=[])->Result.getExn->Pair.first, 240 240 ), 241 241 ) 242 242 }) ··· 248 248 y, 249 249 ~subst=emptySubst->substAdd( 250 250 1, 251 251 - HOTerm.parse("(x. x. (r (q (snd \\0) \\1)))", ~scope=[])->Result.getExn->fst, 251 251 + HOTerm.parse("(x. x. (r (q (snd \\0) \\1)))", ~scope=[])->Result.getExn->Pair.first, 252 252 ), 253 253 ) 254 254 }) ··· 294 294 ~subst=emptySubst->substAdd(0, Symbol({name: "a", constructor: false})), 295 295 ) 296 296 }) 297 297 - t->block("divergent", t => { 298 298 - let divergent = "((x. x x) (x. x x))" 299 299 - let a = "((x. ?0 x) (x. x x))" 297 297 + t->block("divergent", _t => { 298 298 + let _divergent = "((x. x x) (x. x x))" 299 299 + let _a = "((x. ?0 x) (x. x x))" 300 300 // we don't care 301 301 // t->Util.testNotUnify(a, divergent) 302 302 }) ··· 343 343 t->Util.testUnifyFail(a, b) 344 344 t->testUnify(c, b, ~subst=emptySubst->substAdd(6, t->Util.parse("(x. S \\0)"))) 345 345 }) 346 346 - t->block("tests from induction examples", t => { 347 347 - let r = "((?0 \\0) (?1 \\0))" 348 348 - let g = "(f \\0)" 346 346 + t->block("tests from induction examples", _t => { 347 347 + let _r = "((?0 \\0) (?1 \\0))" 348 348 + let _g = "(f \\0)" 349 349 // what it's currently doing: 350 350 // 0 := (x. y. f x) 351 351 // 1 := doesn't matter

+4 -4

tests/RuleTest.res

reviewed

··· 7 7 let res = RuleInst.parseInner(input, ~scope, ~gen=Term.makeGen()) 8 8 switch res { 9 9 | Ok(res) => { 10 10 - t->equal(res->snd, "", ~msg=input ++ " input consumed") 11 11 - t->equal(res->fst, expect, ~msg?) 10 10 + t->equal(res->Pair.second, "", ~msg=input ++ " input consumed") 11 11 + t->equal(res->Pair.first, expect, ~msg?) 12 12 } 13 13 | Error(msg) => t->fail(~msg="parse failed: " ++ msg) 14 14 } ··· 23 23 let res = RuleInst.parseTopLevel(input, ~scope, ~gen=Term.makeGen()) 24 24 switch res { 25 25 | Ok(res) => { 26 26 - t->equal(res->snd, "", ~msg=input ++ " input consumed") 27 27 - t->equal(res->fst, expect, ~msg?) 26 26 + t->equal(res->Pair.second, "", ~msg=input ++ " input consumed") 27 27 + t->equal(res->Pair.first, expect, ~msg?) 28 28 } 29 29 | Error(msg) => t->fail(~msg="parse failed: " ++ msg) 30 30 }

+2 -1

tests/SExpTest.res

reviewed

··· 40 40 }) 41 41 }) 42 42 43 43 - let parse = (input: string) => SExp.parse(input, ~scope=[], ~gen=SExp.makeGen())->Result.getExn->fst 43 43 + let parse = (input: string) => 44 44 + SExp.parse(input, ~scope=[], ~gen=SExp.makeGen())->Result.getExn->Pair.first 44 45 45 46 zoraBlock("unify var", t => { 46 47 let x = parse("x")

+1 -1

tests/StringTermTest.res

reviewed

··· 38 38 }) 39 39 40 40 let parse = (input: string) => 41 41 - StringTerm.parse(input, ~scope=[], ~gen=StringTerm.makeGen())->Result.getExn->fst 41 41 + StringTerm.parse(input, ~scope=[], ~gen=StringTerm.makeGen())->Result.getExn->Pair.first 42 42 43 43 zoraBlock("unify", t => { 44 44 let a = parse(`"a"`)

+3 -3

tests/TestUtil.res

reviewed

··· 52 52 53 53 switch res { 54 54 | Ok(res) => { 55 55 - let result = Term.prettyPrint(res->fst, ~scope) 55 55 + let result = Term.prettyPrint(res->Pair.first, ~scope) 56 56 t->equal(result, expected, ~msg="prettyPrint output matches expected") 57 57 } 58 58 | Error(msg) => t->fail(~msg="parse failed: " ++ msg) ··· 64 64 | Ok((term, "")) => term 65 65 | Ok((_, rest)) => { 66 66 t->fail(~msg="parse incomplete: " ++ rest) 67 67 - raise(Unreachable("")) 67 67 + throw(Unreachable("")) 68 68 } 69 69 | Error(msg) => { 70 70 t->fail(~msg="parse failed: " ++ msg) 71 71 - raise(Unreachable("")) 71 71 + throw(Unreachable("")) 72 72 } 73 73 } 74 74 }