@scriptc/compiler 0.2.6 → 0.2.8

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (588) hide show
  1. package/ambient/scriptc-node-fallback.d.ts +7 -18
  2. package/dist/backend/cycle-analysis.d.ts +21 -9
  3. package/dist/backend/cycle-analysis.js +139 -67
  4. package/dist/backend/cycle-analysis.js.map +1 -1
  5. package/dist/backend/cycle-analysis.test.js +283 -3
  6. package/dist/backend/cycle-analysis.test.js.map +1 -1
  7. package/dist/backend/cycle-mutability.d.ts +39 -0
  8. package/dist/backend/cycle-mutability.js +205 -0
  9. package/dist/backend/cycle-mutability.js.map +1 -0
  10. package/dist/backend/link-plan-core.d.ts +2 -1
  11. package/dist/backend/link-plan-core.js +15 -3
  12. package/dist/backend/link-plan-core.js.map +1 -1
  13. package/dist/backend/link-plan.d.ts +2 -1
  14. package/dist/backend/link-plan.js.map +1 -1
  15. package/dist/backend/llvm/alloc.d.ts +43 -0
  16. package/dist/backend/llvm/alloc.js +246 -0
  17. package/dist/backend/llvm/alloc.js.map +1 -0
  18. package/dist/backend/llvm/alloc.test.d.ts +1 -0
  19. package/dist/backend/llvm/alloc.test.js +102 -0
  20. package/dist/backend/llvm/alloc.test.js.map +1 -0
  21. package/dist/backend/llvm/blocks.d.ts +9 -0
  22. package/dist/backend/llvm/blocks.js +9 -0
  23. package/dist/backend/llvm/blocks.js.map +1 -1
  24. package/dist/backend/llvm/borrowed-receivers.d.ts +7 -0
  25. package/dist/backend/llvm/borrowed-receivers.js +39 -0
  26. package/dist/backend/llvm/borrowed-receivers.js.map +1 -1
  27. package/dist/backend/llvm/call-lifetimes.d.ts +18 -3
  28. package/dist/backend/llvm/call-lifetimes.js +54 -19
  29. package/dist/backend/llvm/call-lifetimes.js.map +1 -1
  30. package/dist/backend/llvm/call-lifetimes.test.js +178 -3
  31. package/dist/backend/llvm/call-lifetimes.test.js.map +1 -1
  32. package/dist/backend/llvm/checked-narrows.d.ts +24 -0
  33. package/dist/backend/llvm/checked-narrows.js +108 -0
  34. package/dist/backend/llvm/checked-narrows.js.map +1 -0
  35. package/dist/backend/llvm/checked-narrows.test.d.ts +1 -0
  36. package/dist/backend/llvm/checked-narrows.test.js +208 -0
  37. package/dist/backend/llvm/checked-narrows.test.js.map +1 -0
  38. package/dist/backend/llvm/classes.d.ts +16 -1
  39. package/dist/backend/llvm/classes.js +60 -49
  40. package/dist/backend/llvm/classes.js.map +1 -1
  41. package/dist/backend/llvm/classes.test.js +68 -6
  42. package/dist/backend/llvm/classes.test.js.map +1 -1
  43. package/dist/backend/llvm/common.d.ts +13 -0
  44. package/dist/backend/llvm/common.js +30 -0
  45. package/dist/backend/llvm/common.js.map +1 -1
  46. package/dist/backend/llvm/constant-callbacks.d.ts +19 -3
  47. package/dist/backend/llvm/constant-callbacks.js +289 -52
  48. package/dist/backend/llvm/constant-callbacks.js.map +1 -1
  49. package/dist/backend/llvm/constant-callbacks.test.js +140 -3
  50. package/dist/backend/llvm/constant-callbacks.test.js.map +1 -1
  51. package/dist/backend/llvm/debug-info.d.ts +6 -2
  52. package/dist/backend/llvm/debug-info.js +11 -1
  53. package/dist/backend/llvm/debug-info.js.map +1 -1
  54. package/dist/backend/llvm/dense-array-access.d.ts +29 -0
  55. package/dist/backend/llvm/dense-array-access.js +335 -0
  56. package/dist/backend/llvm/dense-array-access.js.map +1 -0
  57. package/dist/backend/llvm/dense-array-access.test.d.ts +1 -0
  58. package/dist/backend/llvm/dense-array-access.test.js +238 -0
  59. package/dist/backend/llvm/dense-array-access.test.js.map +1 -0
  60. package/dist/backend/llvm/dyn.d.ts +38 -0
  61. package/dist/backend/llvm/dyn.js +213 -14
  62. package/dist/backend/llvm/dyn.js.map +1 -1
  63. package/dist/backend/llvm/emitter.d.ts +308 -15
  64. package/dist/backend/llvm/emitter.js +1788 -206
  65. package/dist/backend/llvm/emitter.js.map +1 -1
  66. package/dist/backend/llvm/emitter.test.js +89 -7
  67. package/dist/backend/llvm/emitter.test.js.map +1 -1
  68. package/dist/backend/llvm/expr-async.js +62 -8
  69. package/dist/backend/llvm/expr-async.js.map +1 -1
  70. package/dist/backend/llvm/expr-async.test.d.ts +1 -0
  71. package/dist/backend/llvm/expr-async.test.js +62 -0
  72. package/dist/backend/llvm/expr-async.test.js.map +1 -0
  73. package/dist/backend/llvm/expr-bytes.d.ts +1 -1
  74. package/dist/backend/llvm/expr-bytes.js +85 -8
  75. package/dist/backend/llvm/expr-bytes.js.map +1 -1
  76. package/dist/backend/llvm/expr-callbacks.js +29 -21
  77. package/dist/backend/llvm/expr-callbacks.js.map +1 -1
  78. package/dist/backend/llvm/expr-calls.d.ts +5 -0
  79. package/dist/backend/llvm/expr-calls.js +118 -15
  80. package/dist/backend/llvm/expr-calls.js.map +1 -1
  81. package/dist/backend/llvm/expr-containers.d.ts +7 -1
  82. package/dist/backend/llvm/expr-containers.js +246 -32
  83. package/dist/backend/llvm/expr-containers.js.map +1 -1
  84. package/dist/backend/llvm/expr-control.js +113 -8
  85. package/dist/backend/llvm/expr-control.js.map +1 -1
  86. package/dist/backend/llvm/expr-dispatch.js +2 -0
  87. package/dist/backend/llvm/expr-dispatch.js.map +1 -1
  88. package/dist/backend/llvm/expr-dynamic.js +244 -44
  89. package/dist/backend/llvm/expr-dynamic.js.map +1 -1
  90. package/dist/backend/llvm/expr-island.js +3 -8
  91. package/dist/backend/llvm/expr-island.js.map +1 -1
  92. package/dist/backend/llvm/expr-primitives.d.ts +1 -1
  93. package/dist/backend/llvm/expr-primitives.js +93 -36
  94. package/dist/backend/llvm/expr-primitives.js.map +1 -1
  95. package/dist/backend/llvm/expr-primitives.test.js +51 -3
  96. package/dist/backend/llvm/expr-primitives.test.js.map +1 -1
  97. package/dist/backend/llvm/expr-records.js +31 -17
  98. package/dist/backend/llvm/expr-records.js.map +1 -1
  99. package/dist/backend/llvm/expr-stream-bridges.js +96 -29
  100. package/dist/backend/llvm/expr-stream-bridges.js.map +1 -1
  101. package/dist/backend/llvm/expr-stream-bridges.test.js +1 -1
  102. package/dist/backend/llvm/expr-stream-callbacks.js +6 -3
  103. package/dist/backend/llvm/expr-stream-callbacks.js.map +1 -1
  104. package/dist/backend/llvm/integer-remainder.d.ts +11 -0
  105. package/dist/backend/llvm/integer-remainder.js +91 -0
  106. package/dist/backend/llvm/integer-remainder.js.map +1 -1
  107. package/dist/backend/llvm/layouts.d.ts +3 -1
  108. package/dist/backend/llvm/layouts.js +3 -2
  109. package/dist/backend/llvm/layouts.js.map +1 -1
  110. package/dist/backend/llvm/lazy-captures.d.ts +16 -0
  111. package/dist/backend/llvm/lazy-captures.js +96 -0
  112. package/dist/backend/llvm/lazy-captures.js.map +1 -0
  113. package/dist/backend/llvm/lazy-captures.test.d.ts +1 -0
  114. package/dist/backend/llvm/lazy-captures.test.js +78 -0
  115. package/dist/backend/llvm/lazy-captures.test.js.map +1 -0
  116. package/dist/backend/llvm/lib-abi.js +10 -0
  117. package/dist/backend/llvm/lib-abi.js.map +1 -1
  118. package/dist/backend/llvm/lib-filesystem.js +10 -15
  119. package/dist/backend/llvm/lib-filesystem.js.map +1 -1
  120. package/dist/backend/llvm/lib-process.js +8 -8
  121. package/dist/backend/llvm/lib-process.js.map +1 -1
  122. package/dist/backend/llvm/lib-shared.js +1 -0
  123. package/dist/backend/llvm/lib-shared.js.map +1 -1
  124. package/dist/backend/llvm/local-array-reads.d.ts +5 -1
  125. package/dist/backend/llvm/local-array-reads.js +147 -26
  126. package/dist/backend/llvm/local-array-reads.js.map +1 -1
  127. package/dist/backend/llvm/local-array-reads.test.js +85 -4
  128. package/dist/backend/llvm/local-array-reads.test.js.map +1 -1
  129. package/dist/backend/llvm/local-union-storage.d.ts +5 -1
  130. package/dist/backend/llvm/local-union-storage.js +54 -8
  131. package/dist/backend/llvm/local-union-storage.js.map +1 -1
  132. package/dist/backend/llvm/local-union-storage.test.js +94 -6
  133. package/dist/backend/llvm/local-union-storage.test.js.map +1 -1
  134. package/dist/backend/llvm/map-number-lookup.d.ts +18 -0
  135. package/dist/backend/llvm/map-number-lookup.js +62 -0
  136. package/dist/backend/llvm/map-number-lookup.js.map +1 -0
  137. package/dist/backend/llvm/map-read-lifetimes.d.ts +6 -0
  138. package/dist/backend/llvm/map-read-lifetimes.js +24 -3
  139. package/dist/backend/llvm/map-read-lifetimes.js.map +1 -1
  140. package/dist/backend/llvm/map-read-lifetimes.test.js +39 -20
  141. package/dist/backend/llvm/map-read-lifetimes.test.js.map +1 -1
  142. package/dist/backend/llvm/nullable-fields.d.ts +28 -0
  143. package/dist/backend/llvm/nullable-fields.js +45 -0
  144. package/dist/backend/llvm/nullable-fields.js.map +1 -0
  145. package/dist/backend/llvm/nullable-fields.test.d.ts +1 -0
  146. package/dist/backend/llvm/nullable-fields.test.js +48 -0
  147. package/dist/backend/llvm/nullable-fields.test.js.map +1 -0
  148. package/dist/backend/llvm/nullable-unions.d.ts +68 -0
  149. package/dist/backend/llvm/nullable-unions.js +132 -0
  150. package/dist/backend/llvm/nullable-unions.js.map +1 -0
  151. package/dist/backend/llvm/publish.d.ts +58 -0
  152. package/dist/backend/llvm/publish.js +286 -0
  153. package/dist/backend/llvm/publish.js.map +1 -0
  154. package/dist/backend/llvm/rebound-parameters.d.ts +12 -0
  155. package/dist/backend/llvm/rebound-parameters.js +72 -0
  156. package/dist/backend/llvm/rebound-parameters.js.map +1 -0
  157. package/dist/backend/llvm/rebound-parameters.test.d.ts +1 -0
  158. package/dist/backend/llvm/rebound-parameters.test.js +67 -0
  159. package/dist/backend/llvm/rebound-parameters.test.js.map +1 -0
  160. package/dist/backend/llvm/reference-effects.d.ts +18 -2
  161. package/dist/backend/llvm/reference-effects.js +106 -16
  162. package/dist/backend/llvm/reference-effects.js.map +1 -1
  163. package/dist/backend/llvm/reference-effects.test.js +52 -1
  164. package/dist/backend/llvm/reference-effects.test.js.map +1 -1
  165. package/dist/backend/llvm/serialized-ir-emission.test.d.ts +1 -0
  166. package/dist/backend/llvm/serialized-ir-emission.test.js +52 -0
  167. package/dist/backend/llvm/serialized-ir-emission.test.js.map +1 -0
  168. package/dist/backend/llvm/shapes.d.ts +104 -9
  169. package/dist/backend/llvm/shapes.js +356 -46
  170. package/dist/backend/llvm/shapes.js.map +1 -1
  171. package/dist/backend/llvm/shapes.test.js +139 -5
  172. package/dist/backend/llvm/shapes.test.js.map +1 -1
  173. package/dist/backend/llvm/stack-callbacks.js +2 -3
  174. package/dist/backend/llvm/stack-callbacks.js.map +1 -1
  175. package/dist/backend/llvm/stack-captures.d.ts +3 -1
  176. package/dist/backend/llvm/stack-captures.js +5 -3
  177. package/dist/backend/llvm/stack-captures.js.map +1 -1
  178. package/dist/backend/llvm/stack-unions.test.js +43 -3
  179. package/dist/backend/llvm/stack-unions.test.js.map +1 -1
  180. package/dist/backend/llvm/string-construction.d.ts +10 -0
  181. package/dist/backend/llvm/string-construction.js +42 -0
  182. package/dist/backend/llvm/string-construction.js.map +1 -1
  183. package/dist/backend/llvm/string-construction.test.js +1 -1
  184. package/dist/backend/llvm/string-key-hash.d.ts +15 -0
  185. package/dist/backend/llvm/string-key-hash.js +76 -0
  186. package/dist/backend/llvm/string-key-hash.js.map +1 -0
  187. package/dist/backend/llvm/string-key-hash.test.d.ts +1 -0
  188. package/dist/backend/llvm/string-key-hash.test.js +45 -0
  189. package/dist/backend/llvm/string-key-hash.test.js.map +1 -0
  190. package/dist/backend/llvm/string-lifetimes.test.js +65 -15
  191. package/dist/backend/llvm/string-lifetimes.test.js.map +1 -1
  192. package/dist/backend/llvm/string-reads.d.ts +7 -0
  193. package/dist/backend/llvm/string-reads.js +76 -0
  194. package/dist/backend/llvm/string-reads.js.map +1 -0
  195. package/dist/backend/llvm/switch-dispatch.js +1 -1
  196. package/dist/backend/llvm/switch-dispatch.js.map +1 -1
  197. package/dist/backend/llvm/switch-dispatch.test.js +3 -3
  198. package/dist/backend/llvm/switch-dispatch.test.js.map +1 -1
  199. package/dist/backend/llvm/test-boxed-unions.d.ts +5 -0
  200. package/dist/backend/llvm/test-boxed-unions.js +13 -0
  201. package/dist/backend/llvm/test-boxed-unions.js.map +1 -0
  202. package/dist/backend/llvm/union-repr.d.ts +15 -0
  203. package/dist/backend/llvm/union-repr.js +89 -0
  204. package/dist/backend/llvm/union-repr.js.map +1 -0
  205. package/dist/backend/llvm/virtual-borrows.d.ts +31 -0
  206. package/dist/backend/llvm/virtual-borrows.js +82 -0
  207. package/dist/backend/llvm/virtual-borrows.js.map +1 -0
  208. package/dist/backend/llvm/walk-borrows.d.ts +43 -0
  209. package/dist/backend/llvm/walk-borrows.js +150 -0
  210. package/dist/backend/llvm/walk-borrows.js.map +1 -0
  211. package/dist/backend/llvm/walk-borrows.test.d.ts +1 -0
  212. package/dist/backend/llvm/walk-borrows.test.js +119 -0
  213. package/dist/backend/llvm/walk-borrows.test.js.map +1 -0
  214. package/dist/backend/llvm/walkers.d.ts +5 -1
  215. package/dist/backend/llvm/walkers.js +24 -21
  216. package/dist/backend/llvm/walkers.js.map +1 -1
  217. package/dist/backend/may-throw.d.ts +29 -1
  218. package/dist/backend/may-throw.js +349 -3
  219. package/dist/backend/may-throw.js.map +1 -1
  220. package/dist/backend/may-throw.test.js +114 -2
  221. package/dist/backend/may-throw.test.js.map +1 -1
  222. package/dist/backend/native/cache-warm.d.ts +2 -1
  223. package/dist/backend/native/cache-warm.js.map +1 -1
  224. package/dist/backend/native/contracts.d.ts +3 -2
  225. package/dist/backend/native/contracts.js.map +1 -1
  226. package/dist/backend/native/runtime-inputs.d.ts +1 -1
  227. package/dist/backend/native/runtime-inputs.js +2 -0
  228. package/dist/backend/native/runtime-inputs.js.map +1 -1
  229. package/dist/backend/native-codegen-core.d.ts +7 -4
  230. package/dist/backend/native-codegen-core.js +14 -9
  231. package/dist/backend/native-codegen-core.js.map +1 -1
  232. package/dist/backend/native-codegen.d.ts +9 -0
  233. package/dist/backend/native-codegen.js +53 -2
  234. package/dist/backend/native-codegen.js.map +1 -1
  235. package/dist/backend/native-codegen.test.js +64 -10
  236. package/dist/backend/native-codegen.test.js.map +1 -1
  237. package/dist/backend/native-link-info-core.d.ts +3 -2
  238. package/dist/backend/native-link-info-core.js.map +1 -1
  239. package/dist/backend/native-link-info.d.ts +2 -1
  240. package/dist/backend/native-link-info.js.map +1 -1
  241. package/dist/backend/native-link-info.test.js +2 -2
  242. package/dist/backend/native-link-info.test.js.map +1 -1
  243. package/dist/backend/native-tools.d.ts +5 -1
  244. package/dist/backend/native-tools.js +3 -1
  245. package/dist/backend/native-tools.js.map +1 -1
  246. package/dist/backend/optimization.d.ts +25 -0
  247. package/dist/backend/optimization.js +21 -0
  248. package/dist/backend/optimization.js.map +1 -0
  249. package/dist/backend/optimization.test.d.ts +1 -0
  250. package/dist/backend/optimization.test.js +24 -0
  251. package/dist/backend/optimization.test.js.map +1 -0
  252. package/dist/backend/publication.d.ts +28 -0
  253. package/dist/backend/publication.js +155 -0
  254. package/dist/backend/publication.js.map +1 -0
  255. package/dist/backend/publication.test.d.ts +1 -0
  256. package/dist/backend/publication.test.js +72 -0
  257. package/dist/backend/publication.test.js.map +1 -0
  258. package/dist/backend/runtime-abi.d.ts +2 -2
  259. package/dist/backend/runtime-abi.js +2 -2
  260. package/dist/backend/runtime-pack-core.d.ts +15 -4
  261. package/dist/backend/runtime-pack-core.js +23 -12
  262. package/dist/backend/runtime-pack-core.js.map +1 -1
  263. package/dist/backend/runtime-pack-native.d.ts +7 -3
  264. package/dist/backend/runtime-pack-native.js +0 -3
  265. package/dist/backend/runtime-pack-native.js.map +1 -1
  266. package/dist/backend/runtime-pack-targets.test.js +1 -1
  267. package/dist/backend/runtime-pack.d.ts +20 -2
  268. package/dist/backend/runtime-pack.js +23 -0
  269. package/dist/backend/runtime-pack.js.map +1 -1
  270. package/dist/backend/runtime-pack.test.js +115 -2
  271. package/dist/backend/runtime-pack.test.js.map +1 -1
  272. package/dist/backend/target-diagnostics.test.js +1 -1
  273. package/dist/backend/targets.d.ts +2 -1
  274. package/dist/backend/targets.js +1 -1
  275. package/dist/backend/targets.js.map +1 -1
  276. package/dist/cli/command.js +75 -11
  277. package/dist/cli/command.js.map +1 -1
  278. package/dist/cli/host.d.ts +2 -1
  279. package/dist/cli/usage.d.ts +4 -1
  280. package/dist/cli/usage.js +13 -3
  281. package/dist/cli/usage.js.map +1 -1
  282. package/dist/compile-types.d.ts +17 -5
  283. package/dist/coverage/report.d.ts +25 -2
  284. package/dist/coverage/report.js +161 -33
  285. package/dist/coverage/report.js.map +1 -1
  286. package/dist/coverage/verdict-cache.d.ts +63 -0
  287. package/dist/coverage/verdict-cache.js +193 -0
  288. package/dist/coverage/verdict-cache.js.map +1 -0
  289. package/dist/coverage/verdict-cache.test.d.ts +1 -0
  290. package/dist/coverage/verdict-cache.test.js +52 -0
  291. package/dist/coverage/verdict-cache.test.js.map +1 -0
  292. package/dist/coverage/verdict-semantic.d.ts +2 -0
  293. package/dist/coverage/verdict-semantic.js +24 -0
  294. package/dist/coverage/verdict-semantic.js.map +1 -0
  295. package/dist/coverage/verdict-startup.d.ts +15 -0
  296. package/dist/coverage/verdict-startup.js +66 -0
  297. package/dist/coverage/verdict-startup.js.map +1 -0
  298. package/dist/diagnostics/diagnostic.d.ts +29 -1
  299. package/dist/diagnostics/diagnostic.js +84 -12
  300. package/dist/diagnostics/diagnostic.js.map +1 -1
  301. package/dist/diagnostics/envelope.d.ts +130 -0
  302. package/dist/diagnostics/envelope.js +257 -0
  303. package/dist/diagnostics/envelope.js.map +1 -0
  304. package/dist/diagnostics/envelope.test.d.ts +1 -0
  305. package/dist/diagnostics/envelope.test.js +91 -0
  306. package/dist/diagnostics/envelope.test.js.map +1 -0
  307. package/dist/diagnostics/render.d.ts +3 -0
  308. package/dist/diagnostics/render.js +13 -2
  309. package/dist/diagnostics/render.js.map +1 -1
  310. package/dist/executable/executable-cache.d.ts +2 -2
  311. package/dist/executable/executable-cache.js +7 -4
  312. package/dist/executable/executable-cache.js.map +1 -1
  313. package/dist/executable/executable-cache.test.js +20 -0
  314. package/dist/executable/executable-cache.test.js.map +1 -1
  315. package/dist/executable/prepare.d.ts +4 -0
  316. package/dist/executable/prepare.js +7 -1
  317. package/dist/executable/prepare.js.map +1 -1
  318. package/dist/frontend/analysis.js +1 -0
  319. package/dist/frontend/analysis.js.map +1 -1
  320. package/dist/frontend/lowering/abstract-equality.js +5 -49
  321. package/dist/frontend/lowering/abstract-equality.js.map +1 -1
  322. package/dist/frontend/lowering/array-values.d.ts +30 -0
  323. package/dist/frontend/lowering/array-values.js +246 -1
  324. package/dist/frontend/lowering/array-values.js.map +1 -1
  325. package/dist/frontend/lowering/builtins/errors.js +17 -2
  326. package/dist/frontend/lowering/builtins/errors.js.map +1 -1
  327. package/dist/frontend/lowering/builtins/numbers.js +29 -1
  328. package/dist/frontend/lowering/builtins/numbers.js.map +1 -1
  329. package/dist/frontend/lowering/builtins/process.d.ts +10 -17
  330. package/dist/frontend/lowering/builtins/process.js +66 -29
  331. package/dist/frontend/lowering/builtins/process.js.map +1 -1
  332. package/dist/frontend/lowering/builtins/workers.js +4 -2
  333. package/dist/frontend/lowering/builtins/workers.js.map +1 -1
  334. package/dist/frontend/lowering/caught-value-dispatch.d.ts +11 -0
  335. package/dist/frontend/lowering/caught-value-dispatch.js +87 -0
  336. package/dist/frontend/lowering/caught-value-dispatch.js.map +1 -0
  337. package/dist/frontend/lowering/class-assertions.d.ts +12 -0
  338. package/dist/frontend/lowering/class-assertions.js +229 -5
  339. package/dist/frontend/lowering/class-assertions.js.map +1 -1
  340. package/dist/frontend/lowering/class-callbacks.d.ts +3 -3
  341. package/dist/frontend/lowering/class-callbacks.js +18 -5
  342. package/dist/frontend/lowering/class-callbacks.js.map +1 -1
  343. package/dist/frontend/lowering/class-dynamic-dispatch.d.ts +1 -0
  344. package/dist/frontend/lowering/class-dynamic-dispatch.js +12 -6
  345. package/dist/frontend/lowering/class-dynamic-dispatch.js.map +1 -1
  346. package/dist/frontend/lowering/class-method-mutations.d.ts +5 -0
  347. package/dist/frontend/lowering/class-method-mutations.js +472 -0
  348. package/dist/frontend/lowering/class-method-mutations.js.map +1 -0
  349. package/dist/frontend/lowering/class-method-values.js +25 -5
  350. package/dist/frontend/lowering/class-method-values.js.map +1 -1
  351. package/dist/frontend/lowering/class-prototypes.js +8 -2
  352. package/dist/frontend/lowering/class-prototypes.js.map +1 -1
  353. package/dist/frontend/lowering/class-unions.d.ts +16 -0
  354. package/dist/frontend/lowering/class-unions.js +127 -0
  355. package/dist/frontend/lowering/class-unions.js.map +1 -0
  356. package/dist/frontend/lowering/coercions/builders.js +8 -1
  357. package/dist/frontend/lowering/coercions/builders.js.map +1 -1
  358. package/dist/frontend/lowering/coercions/function-adapters.js +2 -0
  359. package/dist/frontend/lowering/coercions/function-adapters.js.map +1 -1
  360. package/dist/frontend/lowering/coercions/identity.d.ts +7 -0
  361. package/dist/frontend/lowering/coercions/identity.js +26 -0
  362. package/dist/frontend/lowering/coercions/identity.js.map +1 -0
  363. package/dist/frontend/lowering/coercions/state.d.ts +6 -0
  364. package/dist/frontend/lowering/coercions/state.js +2 -0
  365. package/dist/frontend/lowering/coercions/state.js.map +1 -1
  366. package/dist/frontend/lowering/coercions/structural.js +9 -6
  367. package/dist/frontend/lowering/coercions/structural.js.map +1 -1
  368. package/dist/frontend/lowering/coercions/unions.d.ts +8 -0
  369. package/dist/frontend/lowering/coercions/unions.js +67 -2
  370. package/dist/frontend/lowering/coercions/unions.js.map +1 -1
  371. package/dist/frontend/lowering/collation-repertoire.d.ts +1 -0
  372. package/dist/frontend/lowering/collation-repertoire.js +19 -0
  373. package/dist/frontend/lowering/collation-repertoire.js.map +1 -0
  374. package/dist/frontend/lowering/collection-narrowing.d.ts +6 -0
  375. package/dist/frontend/lowering/collection-narrowing.js +31 -0
  376. package/dist/frontend/lowering/collection-narrowing.js.map +1 -0
  377. package/dist/frontend/lowering/construction-escapes.d.ts +38 -0
  378. package/dist/frontend/lowering/construction-escapes.js +146 -0
  379. package/dist/frontend/lowering/construction-escapes.js.map +1 -0
  380. package/dist/frontend/lowering/construction-escapes.test.d.ts +1 -0
  381. package/dist/frontend/lowering/construction-escapes.test.js +150 -0
  382. package/dist/frontend/lowering/construction-escapes.test.js.map +1 -0
  383. package/dist/frontend/lowering/containers/array-callback-call.d.ts +7 -0
  384. package/dist/frontend/lowering/containers/array-callback-call.js +52 -0
  385. package/dist/frontend/lowering/containers/array-callback-call.js.map +1 -0
  386. package/dist/frontend/lowering/containers/array-callbacks.d.ts +1 -1
  387. package/dist/frontend/lowering/containers/array-callbacks.js +416 -65
  388. package/dist/frontend/lowering/containers/array-callbacks.js.map +1 -1
  389. package/dist/frontend/lowering/containers/array-concat.d.ts +7 -0
  390. package/dist/frontend/lowering/containers/array-concat.js +130 -0
  391. package/dist/frontend/lowering/containers/array-concat.js.map +1 -0
  392. package/dist/frontend/lowering/containers/array-construction.d.ts +2 -0
  393. package/dist/frontend/lowering/containers/array-construction.js +110 -5
  394. package/dist/frontend/lowering/containers/array-construction.js.map +1 -1
  395. package/dist/frontend/lowering/containers/array-methods.d.ts +1 -11
  396. package/dist/frontend/lowering/containers/array-methods.js +274 -144
  397. package/dist/frontend/lowering/containers/array-methods.js.map +1 -1
  398. package/dist/frontend/lowering/containers/callback-arguments.js +43 -1
  399. package/dist/frontend/lowering/containers/callback-arguments.js.map +1 -1
  400. package/dist/frontend/lowering/containers/collection-methods.js +10 -1
  401. package/dist/frontend/lowering/containers/collection-methods.js.map +1 -1
  402. package/dist/frontend/lowering/containers/indexed-objects.js +56 -70
  403. package/dist/frontend/lowering/containers/indexed-objects.js.map +1 -1
  404. package/dist/frontend/lowering/containers/string-and-regexp.js +7 -63
  405. package/dist/frontend/lowering/containers/string-and-regexp.js.map +1 -1
  406. package/dist/frontend/lowering/cycle-initialization.d.ts +46 -0
  407. package/dist/frontend/lowering/cycle-initialization.js +303 -0
  408. package/dist/frontend/lowering/cycle-initialization.js.map +1 -0
  409. package/dist/frontend/lowering/divergences.d.ts +9 -0
  410. package/dist/frontend/lowering/divergences.js +630 -0
  411. package/dist/frontend/lowering/divergences.js.map +1 -0
  412. package/dist/frontend/lowering/expressions/evaluation-safety.js +4 -0
  413. package/dist/frontend/lowering/expressions/evaluation-safety.js.map +1 -1
  414. package/dist/frontend/lowering/expressions/object-literals.js +178 -34
  415. package/dist/frontend/lowering/expressions/object-literals.js.map +1 -1
  416. package/dist/frontend/lowering/expressions/union-field-write.d.ts +4 -4
  417. package/dist/frontend/lowering/expressions/union-field-write.js +54 -44
  418. package/dist/frontend/lowering/expressions/union-field-write.js.map +1 -1
  419. package/dist/frontend/lowering/iterator-adapters.d.ts +20 -0
  420. package/dist/frontend/lowering/iterator-adapters.js +605 -0
  421. package/dist/frontend/lowering/iterator-adapters.js.map +1 -0
  422. package/dist/frontend/lowering/lower-array-sort.d.ts +1 -1
  423. package/dist/frontend/lowering/lower-array-sort.js +44 -5
  424. package/dist/frontend/lowering/lower-array-sort.js.map +1 -1
  425. package/dist/frontend/lowering/lower-array-sort.test.d.ts +1 -0
  426. package/dist/frontend/lowering/lower-array-sort.test.js +31 -0
  427. package/dist/frontend/lowering/lower-array-sort.test.js.map +1 -0
  428. package/dist/frontend/lowering/lower-assert.js +7 -0
  429. package/dist/frontend/lowering/lower-assert.js.map +1 -1
  430. package/dist/frontend/lowering/lower-builtin-values.js +1 -0
  431. package/dist/frontend/lowering/lower-builtin-values.js.map +1 -1
  432. package/dist/frontend/lowering/lower-calls.d.ts +8 -3
  433. package/dist/frontend/lowering/lower-calls.js +388 -278
  434. package/dist/frontend/lowering/lower-calls.js.map +1 -1
  435. package/dist/frontend/lowering/lower-classes.d.ts +6 -0
  436. package/dist/frontend/lowering/lower-classes.js +117 -65
  437. package/dist/frontend/lowering/lower-classes.js.map +1 -1
  438. package/dist/frontend/lowering/lower-exprs.d.ts +22 -2
  439. package/dist/frontend/lowering/lower-exprs.js +811 -254
  440. package/dist/frontend/lowering/lower-exprs.js.map +1 -1
  441. package/dist/frontend/lowering/lower-functions.js +32 -19
  442. package/dist/frontend/lowering/lower-functions.js.map +1 -1
  443. package/dist/frontend/lowering/lower-generators.d.ts +19 -13
  444. package/dist/frontend/lowering/lower-generators.js +67 -44
  445. package/dist/frontend/lowering/lower-generators.js.map +1 -1
  446. package/dist/frontend/lowering/lower-inspect.js +29 -4
  447. package/dist/frontend/lowering/lower-inspect.js.map +1 -1
  448. package/dist/frontend/lowering/lower-island.d.ts +1 -1
  449. package/dist/frontend/lowering/lower-island.js +24 -7
  450. package/dist/frontend/lowering/lower-island.js.map +1 -1
  451. package/dist/frontend/lowering/lower-modules.js +100 -3
  452. package/dist/frontend/lowering/lower-modules.js.map +1 -1
  453. package/dist/frontend/lowering/lower-stmts.js +82 -64
  454. package/dist/frontend/lowering/lower-stmts.js.map +1 -1
  455. package/dist/frontend/lowering/lowerer.d.ts +115 -2
  456. package/dist/frontend/lowering/lowerer.js +1266 -88
  457. package/dist/frontend/lowering/lowerer.js.map +1 -1
  458. package/dist/frontend/lowering/native-ffi.js +3 -1
  459. package/dist/frontend/lowering/native-ffi.js.map +1 -1
  460. package/dist/frontend/lowering/runtime-optional-bounds.d.ts +19 -0
  461. package/dist/frontend/lowering/runtime-optional-bounds.js +354 -0
  462. package/dist/frontend/lowering/runtime-optional-bounds.js.map +1 -0
  463. package/dist/frontend/lowering/runtime-optional-bounds.test.d.ts +1 -0
  464. package/dist/frontend/lowering/runtime-optional-bounds.test.js +66 -0
  465. package/dist/frontend/lowering/runtime-optional-bounds.test.js.map +1 -0
  466. package/dist/frontend/lowering/runtime-optional-elements.d.ts +117 -0
  467. package/dist/frontend/lowering/runtime-optional-elements.js +738 -0
  468. package/dist/frontend/lowering/runtime-optional-elements.js.map +1 -0
  469. package/dist/frontend/lowering/runtime-optional-guards.d.ts +36 -0
  470. package/dist/frontend/lowering/runtime-optional-guards.js +375 -0
  471. package/dist/frontend/lowering/runtime-optional-guards.js.map +1 -0
  472. package/dist/frontend/lowering/runtime-optional-guards.test.d.ts +1 -0
  473. package/dist/frontend/lowering/runtime-optional-guards.test.js +92 -0
  474. package/dist/frontend/lowering/runtime-optional-guards.test.js.map +1 -0
  475. package/dist/frontend/lowering/runtime-optional-ownership.d.ts +63 -0
  476. package/dist/frontend/lowering/runtime-optional-ownership.js +382 -0
  477. package/dist/frontend/lowering/runtime-optional-ownership.js.map +1 -0
  478. package/dist/frontend/lowering/runtime-optional-provenance.d.ts +16 -0
  479. package/dist/frontend/lowering/runtime-optional-provenance.js +41 -0
  480. package/dist/frontend/lowering/runtime-optional-provenance.js.map +1 -0
  481. package/dist/frontend/lowering/sanitize-class-types.test.js +2 -2
  482. package/dist/frontend/lowering/strict-equality.d.ts +9 -0
  483. package/dist/frontend/lowering/strict-equality.js +116 -0
  484. package/dist/frontend/lowering/strict-equality.js.map +1 -0
  485. package/dist/frontend/lowering/string-index-bounds.d.ts +36 -0
  486. package/dist/frontend/lowering/string-index-bounds.js +537 -0
  487. package/dist/frontend/lowering/string-index-bounds.js.map +1 -0
  488. package/dist/frontend/lowering/string-index-bounds.test.d.ts +1 -0
  489. package/dist/frontend/lowering/string-index-bounds.test.js +223 -0
  490. package/dist/frontend/lowering/string-index-bounds.test.js.map +1 -0
  491. package/dist/frontend/lowering/surfaces.js +3 -0
  492. package/dist/frontend/lowering/surfaces.js.map +1 -1
  493. package/dist/frontend/lowering/union-comparison.d.ts +5 -0
  494. package/dist/frontend/lowering/union-comparison.js +47 -0
  495. package/dist/frontend/lowering/union-comparison.js.map +1 -0
  496. package/dist/frontend/lowering/union-narrow.d.ts +2 -0
  497. package/dist/frontend/lowering/union-narrow.js +10 -6
  498. package/dist/frontend/lowering/union-narrow.js.map +1 -1
  499. package/dist/frontend/program-analysis.d.ts +10 -0
  500. package/dist/frontend/program-analysis.js +7 -0
  501. package/dist/frontend/program-analysis.js.map +1 -1
  502. package/dist/frontend/program.d.ts +63 -2
  503. package/dist/frontend/program.js +1038 -61
  504. package/dist/frontend/program.js.map +1 -1
  505. package/dist/frontend/program.test.js +122 -6
  506. package/dist/frontend/program.test.js.map +1 -1
  507. package/dist/frontend/resolve.d.ts +6 -0
  508. package/dist/frontend/resolve.js +14 -0
  509. package/dist/frontend/resolve.js.map +1 -1
  510. package/dist/frontend/threads-import.d.ts +5 -0
  511. package/dist/frontend/threads-import.js +21 -0
  512. package/dist/frontend/threads-import.js.map +1 -0
  513. package/dist/frontend/type-mapper.d.ts +4 -1
  514. package/dist/frontend/type-mapper.js +161 -20
  515. package/dist/frontend/type-mapper.js.map +1 -1
  516. package/dist/frontend/type-mapper.test.js +15 -3
  517. package/dist/frontend/type-mapper.test.js.map +1 -1
  518. package/dist/frontend/worker-target.d.ts +4 -0
  519. package/dist/frontend/worker-target.js +8 -1
  520. package/dist/frontend/worker-target.js.map +1 -1
  521. package/dist/index.d.ts +6 -1
  522. package/dist/index.js +70 -16
  523. package/dist/index.js.map +1 -1
  524. package/dist/ir/analysis.d.ts +3 -1
  525. package/dist/ir/analysis.js +4 -0
  526. package/dist/ir/analysis.js.map +1 -1
  527. package/dist/ir/build.d.ts +5 -0
  528. package/dist/ir/build.js +7 -0
  529. package/dist/ir/build.js.map +1 -1
  530. package/dist/ir/builtin-signatures.d.ts +1 -1
  531. package/dist/ir/builtin-signatures.js +5 -3
  532. package/dist/ir/builtin-signatures.js.map +1 -1
  533. package/dist/ir/constant-tables.test.js +1 -1
  534. package/dist/ir/initializer-bindings.test.js +1 -1
  535. package/dist/ir/int32-slots.d.ts +72 -0
  536. package/dist/ir/int32-slots.js +837 -0
  537. package/dist/ir/int32-slots.js.map +1 -0
  538. package/dist/ir/int32-slots.test.d.ts +1 -0
  539. package/dist/ir/int32-slots.test.js +222 -0
  540. package/dist/ir/int32-slots.test.js.map +1 -0
  541. package/dist/ir/integer-ranges.d.ts +19 -3
  542. package/dist/ir/integer-ranges.js +168 -23
  543. package/dist/ir/integer-ranges.js.map +1 -1
  544. package/dist/ir/integer-ranges.test.js +74 -2
  545. package/dist/ir/integer-ranges.test.js.map +1 -1
  546. package/dist/ir/ir.d.ts +101 -20
  547. package/dist/ir/ir.js +20 -6
  548. package/dist/ir/ir.js.map +1 -1
  549. package/dist/ir/scalar-records.test.js +1 -1
  550. package/dist/ir/serialize.d.ts +1 -1
  551. package/dist/ir/serialize.js +3 -3
  552. package/dist/ir/serialize.js.map +1 -1
  553. package/dist/ir/traverse.js +8 -0
  554. package/dist/ir/traverse.js.map +1 -1
  555. package/dist/ir/validate.js +139 -22
  556. package/dist/ir/validate.js.map +1 -1
  557. package/dist/ir/validate.test.js +308 -8
  558. package/dist/ir/validate.test.js.map +1 -1
  559. package/dist/library/fence-eval.test.js +1 -1
  560. package/dist/library/int-infer.test.js +4 -4
  561. package/dist/library/library-cache.test.js +5 -5
  562. package/dist/library/library-profile.d.ts +2 -1
  563. package/dist/library/library-profile.js +4 -3
  564. package/dist/library/library-profile.js.map +1 -1
  565. package/dist/native/cache.d.ts +3 -0
  566. package/dist/native/cache.js +49 -1
  567. package/dist/native/cache.js.map +1 -1
  568. package/dist/native/cache.test.js +21 -1
  569. package/dist/native/cache.test.js.map +1 -1
  570. package/dist/native/cli.js +1 -1
  571. package/dist/native/cli.js.map +1 -1
  572. package/dist/native/compiler.d.ts +5 -0
  573. package/dist/native/compiler.js +51 -4
  574. package/dist/native/compiler.js.map +1 -1
  575. package/dist/native/compiler.test.js +2 -2
  576. package/dist/native/library.d.ts +2 -1
  577. package/dist/native/library.js.map +1 -1
  578. package/dist/native/prepare.d.ts +4 -0
  579. package/dist/native/prepare.js +28 -3
  580. package/dist/native/prepare.js.map +1 -1
  581. package/dist/native/sanitizer.d.ts +3 -2
  582. package/dist/native/sanitizer.js +3 -13
  583. package/dist/native/sanitizer.js.map +1 -1
  584. package/dist/startup-cache.d.ts +2 -0
  585. package/dist/startup-cache.js +2 -0
  586. package/dist/startup-cache.js.map +1 -1
  587. package/package.json +20 -20
  588. package/surface-manifest.json +8 -2
@@ -0,0 +1,605 @@
1
+ import { dynUndefinedExpr, varRef } from "../../ir/build.js";
2
+ import { BOOL, DYN, F64, STRING, typeEquals, UNDEFINED_T, VOID, } from "../../ir/ir.js";
3
+ import { streamTypedRefEligible } from "../../ir/analysis.js";
4
+ import { typeKey, genResultRecord } from "../type-mapper.js";
5
+ import { extractIteratorValue } from "./lower-generators.js";
6
+ import { lowerSafeIndexRead } from "./array-values.js";
7
+ /** The conversion into an iterator-typed slot (a generator type): a
8
+ * checked-dynamic iterator or a generator with other channel types steps
9
+ * through an interned adapter generator. Null when neither applies. */
10
+ export function iteratorSlotAdapter(lowerer, expr, expected) {
11
+ if (expr.type.kind === "dyn")
12
+ return dynIteratorAdapter(lowerer, expr, expected);
13
+ if (expr.type.kind === "generator")
14
+ return generatorRetypeAdapter(lowerer, expr, expected);
15
+ return null;
16
+ }
17
+ /** `resumed.0 = value` — the adapters' early-exit marker around a yield. */
18
+ function setResumed(value, loc) {
19
+ return {
20
+ kind: "assign",
21
+ localId: "resumed.0",
22
+ value: { kind: "boolLit", value, type: BOOL, loc },
23
+ loc,
24
+ };
25
+ }
26
+ /** A yield expression's type: a valueless next channel resumes with void. */
27
+ function resumeType(nextT) {
28
+ return nextT.kind === "undefinedT" ? VOID : nextT;
29
+ }
30
+ /** Convert a stepped value into a channel type. Records and arrays box into
31
+ * checked values by reference, so consumers observe the same objects. */
32
+ function intoChannel(lowerer, value, target) {
33
+ const coerced = lowerer.coerceToExpected(value, target);
34
+ if (!typeEquals(coerced.type, target))
35
+ return null;
36
+ if (coerced.kind === "dynFrom" &&
37
+ streamTypedRefEligible(coerced.value.type) &&
38
+ coerced.value.type.kind !== "bytes")
39
+ coerced.liveRef = true;
40
+ return coerced;
41
+ }
42
+ /** A checked-dynamic iterator (a Map, Set or array iterator, or any other
43
+ * object following the iterator protocol) flowing into a generator-typed
44
+ * slot (`IterableIterator<T>`, `Iterator<T>`, `Generator<T>`). The interned
45
+ * adapter is a generator over the source: each `next()` steps the source
46
+ * once and forwards its value, so iteration stays lazy and observes the
47
+ * collection live, exactly like the source iterator. Values convert into
48
+ * the slot's channel types with the usual checked extraction. Null when
49
+ * the slot is not a synchronous generator with a yielding channel. */
50
+ function dynIteratorAdapter(lowerer, expr, expected) {
51
+ if (expected.async || expected.yieldT.kind === "void")
52
+ return null;
53
+ const resultType = genResultRecord(expected.yieldT, expected.retT, lowerer.shapes, lowerer.unions);
54
+ if (!resultType)
55
+ return null;
56
+ const loc = expr.loc;
57
+ const key = `iterAdapt:${typeKey(expected)}`;
58
+ let name = lowerer.valueHelpers.get(key);
59
+ if (!name) {
60
+ name = `%iter.adapt.${lowerer.valueHelpers.size}`;
61
+ lowerer.valueHelpers.set(key, name);
62
+ const locals = [];
63
+ const local = (id, type, mutable = false) => {
64
+ locals.push({ id, name: id.slice(0, id.indexOf(".")), type, mutable });
65
+ return varRef(id, type, loc);
66
+ };
67
+ const source = local("source.0", DYN);
68
+ const iterator = local("iterator.0", DYN);
69
+ const next = local("next.0", DYN);
70
+ const step = local("step.0", DYN, true);
71
+ const forwards = expected.nextT.kind === "dyn";
72
+ const sent = forwards ? local("sent.0", DYN, true) : null;
73
+ const get = (value, field) => ({
74
+ kind: "dynKeyGet",
75
+ value,
76
+ key: { kind: "strLit", value: field, type: STRING, loc },
77
+ type: DYN,
78
+ loc,
79
+ });
80
+ const advance = (args) => ({
81
+ kind: "libCall",
82
+ fn: "dyn.iteratorResult",
83
+ args: [
84
+ {
85
+ kind: "dynCall",
86
+ callee: next,
87
+ receiver: iterator,
88
+ calleeName: "iterator.next",
89
+ args,
90
+ type: DYN,
91
+ loc,
92
+ },
93
+ ],
94
+ type: DYN,
95
+ loc,
96
+ });
97
+ const returned = expected.retT.kind === "void"
98
+ ? null
99
+ : intoChannel(lowerer, get(step, "value"), expected.retT);
100
+ const yielded = () => intoChannel(lowerer, get(step, "value"), expected.yieldT);
101
+ if ((expected.retT.kind !== "void" && !returned) || !yielded()) {
102
+ lowerer.valueHelpers.delete(key);
103
+ return null;
104
+ }
105
+ const finish = { kind: "return", value: returned, loc };
106
+ // One suspension: yield the current value and take the resume value.
107
+ const suspend = () => {
108
+ const resumed = {
109
+ kind: "yieldExpr",
110
+ value: yielded(),
111
+ type: resumeType(expected.nextT),
112
+ loc,
113
+ };
114
+ return sent
115
+ ? { kind: "assign", localId: "sent.0", value: resumed, loc }
116
+ : { kind: "exprStmt", expr: resumed, loc };
117
+ };
118
+ const resumedFlag = local("resumed.0", BOOL, true);
119
+ const closer = local("closer.0", DYN);
120
+ const stepOnce = () => ({
121
+ kind: "assign",
122
+ localId: "step.0",
123
+ value: advance(sent ? [sent] : []),
124
+ loc,
125
+ });
126
+ // An early exit from a consumer's loop closes the adapter. JS calls the
127
+ // source's own return() then; a source without one (the native Map, Set
128
+ // and array iterators) stays open, so the adapter suspends again on the
129
+ // same value instead of completing, and later steps resume the source.
130
+ const closeOrPark = {
131
+ kind: "if",
132
+ cond: { kind: "unary", op: "!", operand: resumedFlag, type: BOOL, loc },
133
+ then: [
134
+ { kind: "varDecl", localId: "closer.0", init: get(iterator, "return"), loc },
135
+ {
136
+ kind: "if",
137
+ cond: { kind: "dynTest", test: "nullish", value: closer, type: BOOL, loc },
138
+ then: [suspend(), stepOnce(), { kind: "continue", loc }],
139
+ else_: [
140
+ {
141
+ kind: "exprStmt",
142
+ expr: {
143
+ kind: "libCall",
144
+ fn: "dyn.iteratorResult",
145
+ args: [
146
+ {
147
+ kind: "dynCall",
148
+ callee: closer,
149
+ receiver: iterator,
150
+ calleeName: "iterator.return",
151
+ args: [],
152
+ type: DYN,
153
+ loc,
154
+ },
155
+ ],
156
+ type: DYN,
157
+ loc,
158
+ },
159
+ loc,
160
+ },
161
+ ],
162
+ loc,
163
+ },
164
+ ],
165
+ else_: null,
166
+ loc,
167
+ };
168
+ const body = [
169
+ {
170
+ kind: "varDecl",
171
+ localId: "iterator.0",
172
+ init: {
173
+ kind: "libCall",
174
+ fn: "dyn.iteratorResult",
175
+ args: [
176
+ {
177
+ kind: "libCall",
178
+ fn: "dyn.iterator",
179
+ args: [source, { kind: "strLit", value: "value is not iterable", type: STRING, loc }],
180
+ type: DYN,
181
+ loc,
182
+ },
183
+ ],
184
+ type: DYN,
185
+ loc,
186
+ },
187
+ loc,
188
+ },
189
+ { kind: "varDecl", localId: "next.0", init: get(iterator, "next"), loc },
190
+ { kind: "varDecl", localId: "step.0", init: advance([]), loc },
191
+ ...(sent
192
+ ? [{ kind: "varDecl", localId: "sent.0", init: dynUndefinedExpr(loc), loc }]
193
+ : []),
194
+ {
195
+ kind: "varDecl",
196
+ localId: "resumed.0",
197
+ init: { kind: "boolLit", value: false, type: BOOL, loc },
198
+ loc,
199
+ },
200
+ {
201
+ kind: "while",
202
+ cond: { kind: "boolLit", value: true, type: BOOL, loc },
203
+ body: [
204
+ {
205
+ kind: "if",
206
+ cond: { kind: "dynTest", test: "truthy", value: get(step, "done"), type: BOOL, loc },
207
+ then: [finish],
208
+ else_: null,
209
+ loc,
210
+ },
211
+ setResumed(false, loc),
212
+ {
213
+ kind: "tryCatch",
214
+ tryBody: [suspend(), setResumed(true, loc)],
215
+ catchBody: null,
216
+ catchLocalId: null,
217
+ finallyBody: [closeOrPark],
218
+ loc,
219
+ },
220
+ stepOnce(),
221
+ ],
222
+ loc,
223
+ },
224
+ ];
225
+ lowerer.liftedFns.push({
226
+ name,
227
+ params: [{ localId: "source.0", name: "source", type: DYN }],
228
+ returnType: expected.retT,
229
+ locals,
230
+ body,
231
+ generator: { yieldT: expected.yieldT, nextT: expected.nextT, resultType },
232
+ loc,
233
+ });
234
+ }
235
+ return { kind: "call", callee: name, args: [expr], type: expected, loc };
236
+ }
237
+ /** A generator flowing into a slot with other channel types (a
238
+ * `Generator<number, void, undefined>` returned through an
239
+ * `IterableIterator<number>` annotation). The interned adapter generator
240
+ * resumes the source once per step and converts each value between the
241
+ * channel types, so iteration stays lazy. Null when a channel has no
242
+ * conversion. */
243
+ function generatorRetypeAdapter(lowerer, expr, expected) {
244
+ const from = expr.type;
245
+ if (from.kind !== "generator" || from.async || expected.async)
246
+ return null;
247
+ if (from.yieldT.kind === "void" || expected.yieldT.kind === "void")
248
+ return null;
249
+ const fromResult = genResultRecord(from.yieldT, from.retT, lowerer.shapes, lowerer.unions);
250
+ const toResult = genResultRecord(expected.yieldT, expected.retT, lowerer.shapes, lowerer.unions);
251
+ const fromShape = fromResult ? lowerer.shapes.get(fromResult.shapeId) : undefined;
252
+ const valueT = fromShape?.fields.find((field) => field.name === "value")?.type;
253
+ if (!fromResult || !toResult || !valueT)
254
+ return null;
255
+ const loc = expr.loc;
256
+ const key = `genRetype:${typeKey(from)}:${typeKey(expected)}`;
257
+ let name = lowerer.valueHelpers.get(key);
258
+ if (!name) {
259
+ const source = varRef("source.0", from, loc);
260
+ const step = varRef("step.0", fromResult, loc);
261
+ const field = (f, type) => ({
262
+ kind: "recordGet",
263
+ obj: step,
264
+ shapeId: fromResult.shapeId,
265
+ field: f,
266
+ type,
267
+ loc,
268
+ });
269
+ const extracted = extractIteratorValue(lowerer, from.yieldT, valueT, field("value", valueT), loc);
270
+ const yielded = extracted ? intoChannel(lowerer, extracted, expected.yieldT) : null;
271
+ if (!yielded)
272
+ return null;
273
+ // The completion value: the source's return value, or undefined.
274
+ let returned = null;
275
+ if (expected.retT.kind !== "void") {
276
+ returned =
277
+ from.retT.kind === "void"
278
+ ? intoChannel(lowerer, { kind: "unitLit", unit: "undefined", type: UNDEFINED_T, loc }, expected.retT)
279
+ : intoChannel(lowerer, field("value", valueT), expected.retT);
280
+ if (!returned)
281
+ return null;
282
+ }
283
+ // The resume value: forwarded when both sides carry one.
284
+ const forwards = expected.nextT.kind !== "undefinedT" && from.nextT.kind !== "undefinedT";
285
+ const sentRef = varRef("sent.0", expected.nextT, loc);
286
+ const sent = forwards ? intoChannel(lowerer, sentRef, from.nextT) : null;
287
+ if (forwards && !sent)
288
+ return null;
289
+ if (!forwards && from.nextT.kind !== "undefinedT" && from.nextT.kind !== "dyn")
290
+ return null;
291
+ const resume = (arg) => ({
292
+ kind: "genResume",
293
+ mode: "next",
294
+ gen: source,
295
+ arg,
296
+ type: fromResult,
297
+ loc,
298
+ });
299
+ const resumed = {
300
+ kind: "yieldExpr",
301
+ value: yielded,
302
+ type: resumeType(expected.nextT),
303
+ loc,
304
+ };
305
+ name = `%gen.retype.${lowerer.valueHelpers.size}`;
306
+ lowerer.valueHelpers.set(key, name);
307
+ lowerer.liftedFns.push({
308
+ name,
309
+ params: [{ localId: "source.0", name: "source", type: from }],
310
+ returnType: expected.retT,
311
+ locals: [
312
+ { id: "source.0", name: "source", type: from, mutable: false },
313
+ { id: "step.0", name: "step", type: fromResult, mutable: true },
314
+ ...(forwards ? [{ id: "sent.0", name: "sent", type: expected.nextT, mutable: true }] : []),
315
+ { id: "resumed.0", name: "resumed", type: BOOL, mutable: true },
316
+ ],
317
+ body: [
318
+ { kind: "varDecl", localId: "step.0", init: resume(null), loc },
319
+ ...(forwards ? [{ kind: "varDecl", localId: "sent.0", init: null, loc }] : []),
320
+ {
321
+ kind: "varDecl",
322
+ localId: "resumed.0",
323
+ init: { kind: "boolLit", value: false, type: BOOL, loc },
324
+ loc,
325
+ },
326
+ {
327
+ kind: "while",
328
+ cond: { kind: "boolLit", value: true, type: BOOL, loc },
329
+ body: [
330
+ {
331
+ kind: "if",
332
+ cond: field("done", BOOL),
333
+ then: [{ kind: "return", value: returned, loc }],
334
+ else_: null,
335
+ loc,
336
+ },
337
+ setResumed(false, loc),
338
+ {
339
+ kind: "tryCatch",
340
+ tryBody: [
341
+ forwards
342
+ ? { kind: "assign", localId: "sent.0", value: resumed, loc }
343
+ : { kind: "exprStmt", expr: resumed, loc },
344
+ setResumed(true, loc),
345
+ ],
346
+ catchBody: null,
347
+ catchLocalId: null,
348
+ // Closing the adapter early closes the source generator too.
349
+ finallyBody: [
350
+ {
351
+ kind: "if",
352
+ cond: {
353
+ kind: "unary",
354
+ op: "!",
355
+ operand: varRef("resumed.0", BOOL, loc),
356
+ type: BOOL,
357
+ loc,
358
+ },
359
+ then: [
360
+ {
361
+ kind: "exprStmt",
362
+ expr: {
363
+ kind: "genResume",
364
+ mode: "return",
365
+ gen: source,
366
+ arg: null,
367
+ type: fromResult,
368
+ loc,
369
+ },
370
+ loc,
371
+ },
372
+ ],
373
+ else_: null,
374
+ loc,
375
+ },
376
+ ],
377
+ loc,
378
+ },
379
+ { kind: "assign", localId: "step.0", value: resume(sent), loc },
380
+ ],
381
+ loc,
382
+ },
383
+ ],
384
+ generator: { yieldT: expected.yieldT, nextT: expected.nextT, resultType: toResult },
385
+ loc,
386
+ });
387
+ }
388
+ return { kind: "call", callee: name, args: [expr], type: expected, loc };
389
+ }
390
+ /** Drain a synchronous generator into a fresh `elem[]` — the eager
391
+ * consumers of an iterator (`[...it]`, `Array.from(it)`). Each step resumes
392
+ * the generator once and appends its value; completion stops the drain
393
+ * without appending the return value, as in JS. Null when the yielded
394
+ * values cannot be extracted into the element type. */
395
+ export function generatorDrain(lowerer, source, elem, loc) {
396
+ const gen = source.type;
397
+ if (gen.kind !== "generator" || gen.async || gen.yieldT.kind === "void")
398
+ return null;
399
+ const resultType = genResultRecord(gen.yieldT, gen.retT, lowerer.shapes, lowerer.unions);
400
+ const shape = resultType ? lowerer.shapes.get(resultType.shapeId) : undefined;
401
+ const valueT = shape?.fields.find((field) => field.name === "value")?.type;
402
+ if (!resultType || !valueT)
403
+ return null;
404
+ const arrT = { kind: "array", elem };
405
+ const key = `genDrain:${typeKey(gen)}:${typeKey(elem)}`;
406
+ let name = lowerer.valueHelpers.get(key);
407
+ if (!name) {
408
+ const genRef = varRef("gen.0", gen, loc);
409
+ const outRef = varRef("out.0", arrT, loc);
410
+ const stepRef = varRef("step.0", resultType, loc);
411
+ const raw = extractIteratorValue(lowerer, gen.yieldT, valueT, {
412
+ kind: "recordGet",
413
+ obj: stepRef,
414
+ shapeId: resultType.shapeId,
415
+ field: "value",
416
+ type: valueT,
417
+ loc,
418
+ }, loc);
419
+ if (!raw)
420
+ return null;
421
+ const value = lowerer.coerceToExpected(raw, elem);
422
+ if (!typeEquals(value.type, elem))
423
+ return null;
424
+ name = `%gen.drain.${lowerer.valueHelpers.size}`;
425
+ lowerer.valueHelpers.set(key, name);
426
+ lowerer.liftedFns.push({
427
+ name,
428
+ params: [{ localId: "gen.0", name: "gen", type: gen }],
429
+ returnType: arrT,
430
+ locals: [
431
+ { id: "gen.0", name: "gen", type: gen, mutable: false },
432
+ { id: "out.0", name: "out", type: arrT, mutable: false },
433
+ { id: "step.0", name: "step", type: resultType, mutable: false },
434
+ ],
435
+ body: [
436
+ {
437
+ kind: "varDecl",
438
+ localId: "out.0",
439
+ init: { kind: "arrayLit", elems: [], type: arrT, loc },
440
+ loc,
441
+ },
442
+ {
443
+ kind: "while",
444
+ cond: { kind: "boolLit", value: true, type: BOOL, loc },
445
+ body: [
446
+ {
447
+ kind: "varDecl",
448
+ localId: "step.0",
449
+ init: {
450
+ kind: "genResume",
451
+ mode: "next",
452
+ gen: genRef,
453
+ arg: null,
454
+ type: resultType,
455
+ loc,
456
+ },
457
+ loc,
458
+ },
459
+ {
460
+ kind: "if",
461
+ cond: {
462
+ kind: "recordGet",
463
+ obj: stepRef,
464
+ shapeId: resultType.shapeId,
465
+ field: "done",
466
+ type: BOOL,
467
+ loc,
468
+ },
469
+ then: [{ kind: "break", loc }],
470
+ else_: null,
471
+ loc,
472
+ },
473
+ {
474
+ kind: "exprStmt",
475
+ expr: {
476
+ kind: "arrIntrinsic",
477
+ method: "push",
478
+ receiver: outRef,
479
+ args: [value],
480
+ type: F64,
481
+ loc,
482
+ },
483
+ loc,
484
+ },
485
+ ],
486
+ loc,
487
+ },
488
+ { kind: "return", value: outRef, loc },
489
+ ],
490
+ loc,
491
+ });
492
+ }
493
+ return { kind: "call", callee: name, args: [source], type: arrT, loc };
494
+ }
495
+ /** `list.values()`, `list.keys()` and `list.entries()` as values: a
496
+ * generator over the live array. Each step compares the index with the
497
+ * current length and reads the current element, so elements appended
498
+ * during iteration are visited and completion is final, as with the
499
+ * native array iterator. `type` is the call's generator type. */
500
+ export function lowerArrayIteratorValue(lowerer, receiver, method, type, loc) {
501
+ const arrT = receiver.type;
502
+ if (arrT.kind !== "array" || type.kind !== "generator")
503
+ return null;
504
+ const resultType = genResultRecord(type.yieldT, type.retT, lowerer.shapes, lowerer.unions);
505
+ if (!resultType || type.retT.kind !== "void" || type.nextT.kind !== "undefinedT")
506
+ return null;
507
+ const tuple = type.yieldT.kind === "record" ? lowerer.shapes.get(type.yieldT.shapeId) : undefined;
508
+ if (method === "entries" && (!tuple?.tuple || tuple.fields.length !== 2))
509
+ return null;
510
+ const key = `arrIter:${method}:${typeKey(arrT)}:${typeKey(type)}`;
511
+ let name = lowerer.valueHelpers.get(key);
512
+ if (!name) {
513
+ const list = varRef("list.0", arrT, loc);
514
+ const index = varRef("index.0", F64, loc);
515
+ const element = () => {
516
+ const read = lowerSafeIndexRead(lowerer, list, index, loc);
517
+ if (!read)
518
+ return null;
519
+ const target = method === "values" ? type.yieldT : tuple.fields.find((f) => f.name === "1").type;
520
+ const value = lowerer.coerceToExpected(read, target);
521
+ return typeEquals(value.type, target) ? value : null;
522
+ };
523
+ let yielded;
524
+ if (method === "keys")
525
+ yielded = index;
526
+ else if (method === "values")
527
+ yielded = element();
528
+ else {
529
+ const value = element();
530
+ yielded =
531
+ value === null
532
+ ? null
533
+ : {
534
+ kind: "recordLit",
535
+ fields: [
536
+ { name: "0", value: index },
537
+ { name: "1", value },
538
+ ],
539
+ type: type.yieldT,
540
+ loc,
541
+ };
542
+ }
543
+ if (!yielded || !typeEquals(yielded.type, type.yieldT))
544
+ return null;
545
+ name = `%arr.iter.${lowerer.valueHelpers.size}`;
546
+ lowerer.valueHelpers.set(key, name);
547
+ lowerer.liftedFns.push({
548
+ name,
549
+ params: [{ localId: "list.0", name: "list", type: arrT }],
550
+ returnType: VOID,
551
+ locals: [
552
+ { id: "list.0", name: "list", type: arrT, mutable: false },
553
+ { id: "index.0", name: "index", type: F64, mutable: true },
554
+ ],
555
+ body: [
556
+ {
557
+ kind: "varDecl",
558
+ localId: "index.0",
559
+ init: { kind: "numLit", value: 0, type: F64, loc },
560
+ loc,
561
+ },
562
+ {
563
+ kind: "while",
564
+ cond: {
565
+ kind: "bin",
566
+ op: "<",
567
+ left: index,
568
+ right: {
569
+ kind: "arrIntrinsic",
570
+ method: "length",
571
+ receiver: list,
572
+ args: [],
573
+ type: F64,
574
+ loc,
575
+ },
576
+ type: BOOL,
577
+ loc,
578
+ },
579
+ body: [
580
+ { kind: "exprStmt", expr: { kind: "yieldExpr", value: yielded, type: VOID, loc }, loc },
581
+ {
582
+ kind: "assign",
583
+ localId: "index.0",
584
+ value: {
585
+ kind: "bin",
586
+ op: "+",
587
+ left: index,
588
+ right: { kind: "numLit", value: 1, type: F64, loc },
589
+ type: F64,
590
+ loc,
591
+ },
592
+ loc,
593
+ },
594
+ ],
595
+ loc,
596
+ },
597
+ { kind: "return", value: null, loc },
598
+ ],
599
+ generator: { yieldT: type.yieldT, nextT: UNDEFINED_T, resultType },
600
+ loc,
601
+ });
602
+ }
603
+ return { kind: "call", callee: name, args: [receiver], type, loc };
604
+ }
605
+ //# sourceMappingURL=iterator-adapters.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"iterator-adapters.js","sourceRoot":"","sources":["../../../src/frontend/lowering/iterator-adapters.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,MAAM,EAMN,UAAU,EACV,WAAW,EACX,IAAI,GACL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEvD;;uEAEuE;AACvE,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,IAAY,EACZ,QAAwC;IAExC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,kBAAkB,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACjF,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,sBAAsB,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC3F,OAAO,IAAI,CAAC;AACd,CAAC;AAED,4EAA4E;AAC5E,SAAS,UAAU,CAAC,KAAc,EAAE,GAAW;IAC7C,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,WAAW;QACpB,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAClD,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,6EAA6E;AAC7E,SAAS,UAAU,CAAC,KAAa;IAC/B,OAAO,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;AACpD,CAAC;AAED;yEACyE;AACzE,SAAS,WAAW,CAAC,OAAgB,EAAE,KAAa,EAAE,MAAc;IAClE,MAAM,OAAO,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACxD,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,IACE,OAAO,CAAC,IAAI,KAAK,SAAS;QAC1B,sBAAsB,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;QAC1C,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAEnC,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC;IACzB,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;sEAOsE;AACtE,SAAS,kBAAkB,CACzB,OAAgB,EAChB,IAAY,EACZ,QAAwC;IAExC,IAAI,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACnE,MAAM,UAAU,GAAG,eAAe,CAChC,QAAQ,CAAC,MAAM,EACf,QAAQ,CAAC,IAAI,EACb,OAAO,CAAC,MAAM,EACd,OAAO,CAAC,MAAM,CACf,CAAC;IACF,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;IACrB,MAAM,GAAG,GAAG,aAAa,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC7C,IAAI,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,GAAG,eAAe,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QAClD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACpC,MAAM,MAAM,GAAc,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,IAAY,EAAE,OAAO,GAAG,KAAK,EAAU,EAAE;YAClE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YACvE,OAAO,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/B,CAAC,CAAC;QACF,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC;QAC/C,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1D,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;YACrD,IAAI,EAAE,WAAW;YACjB,KAAK;YACL,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YACxD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,CAAC,IAAc,EAAU,EAAE,CAAC,CAAC;YAC3C,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,oBAAoB;YACxB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,SAAS;oBACf,MAAM,EAAE,IAAI;oBACZ,QAAQ,EAAE,QAAQ;oBAClB,UAAU,EAAE,eAAe;oBAC3B,IAAI;oBACJ,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;aACF;YACD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,CAAC;QACH,MAAM,QAAQ,GACZ,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YAC3B,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,OAAO,GAAG,GAAkB,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC/F,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YAC/D,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACjC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;QAChE,qEAAqE;QACrE,MAAM,OAAO,GAAG,GAAW,EAAE;YAC3B,MAAM,OAAO,GAAW;gBACtB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,OAAO,EAAG;gBACjB,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAChC,GAAG;aACJ,CAAC;YACF,OAAO,IAAI;gBACT,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE;gBAC5D,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAC/C,CAAC,CAAC;QACF,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,GAAW,EAAE,CAAC,CAAC;YAC9B,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,QAAQ;YACjB,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClC,GAAG;SACJ,CAAC,CAAC;QACH,wEAAwE;QACxE,wEAAwE;QACxE,wEAAwE;QACxE,uEAAuE;QACvE,MAAM,WAAW,GAAW;YAC1B,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACvE,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,GAAG,EAAE;gBAC5E;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBAC1E,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;oBACxD,KAAK,EAAE;wBACL;4BACE,IAAI,EAAE,UAAU;4BAChB,IAAI,EAAE;gCACJ,IAAI,EAAE,SAAS;gCACf,EAAE,EAAE,oBAAoB;gCACxB,IAAI,EAAE;oCACJ;wCACE,IAAI,EAAE,SAAS;wCACf,MAAM,EAAE,MAAM;wCACd,QAAQ,EAAE,QAAQ;wCAClB,UAAU,EAAE,iBAAiB;wCAC7B,IAAI,EAAE,EAAE;wCACR,IAAI,EAAE,GAAG;wCACT,GAAG;qCACJ;iCACF;gCACD,IAAI,EAAE,GAAG;gCACT,GAAG;6BACJ;4BACD,GAAG;yBACJ;qBACF;oBACD,GAAG;iBACJ;aACF;YACD,KAAK,EAAE,IAAI;YACX,GAAG;SACJ,CAAC;QACF,MAAM,IAAI,GAAa;YACrB;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,YAAY;gBACrB,IAAI,EAAE;oBACJ,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,oBAAoB;oBACxB,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,SAAS;4BACf,EAAE,EAAE,cAAc;4BAClB,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,uBAAuB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;4BACrF,IAAI,EAAE,GAAG;4BACT,GAAG;yBACJ;qBACF;oBACD,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE;YACxE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE;YAC9D,GAAG,CAAC,IAAI;gBACN,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,gBAAgB,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;gBACrF,CAAC,CAAC,EAAE,CAAC;YACP;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,WAAW;gBACpB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACxD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACvD,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,IAAI;wBACV,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;wBACpF,IAAI,EAAE,CAAC,MAAM,CAAC;wBACd,KAAK,EAAE,IAAI;wBACX,GAAG;qBACJ;oBACD,UAAU,CAAC,KAAK,EAAE,GAAG,CAAC;oBACtB;wBACE,IAAI,EAAE,UAAU;wBAChB,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;wBAC3C,SAAS,EAAE,IAAI;wBACf,YAAY,EAAE,IAAI;wBAClB,WAAW,EAAE,CAAC,WAAW,CAAC;wBAC1B,GAAG;qBACJ;oBACD,QAAQ,EAAE;iBACX;gBACD,GAAG;aACJ;SACF,CAAC;QACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAC5D,UAAU,EAAE,QAAQ,CAAC,IAAI;YACzB,MAAM;YACN,IAAI;YACJ,SAAS,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE;YACzE,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;AAC3E,CAAC;AAED;;;;;iBAKiB;AACjB,SAAS,sBAAsB,CAC7B,OAAgB,EAChB,IAAY,EACZ,QAAwC;IAExC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAC3E,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAChF,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3F,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACjG,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAClF,MAAM,MAAM,GAAG,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,IAAI,CAAC;IAC/E,IAAI,CAAC,UAAU,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;IACrB,MAAM,GAAG,GAAG,aAAa,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC9D,IAAI,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG,CAAC,CAAmB,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC;YAC5D,IAAI,EAAE,WAAW;YACjB,GAAG,EAAE,IAAI;YACT,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,KAAK,EAAE,CAAC;YACR,IAAI;YACJ,GAAG;SACJ,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,oBAAoB,CACpC,OAAO,EACP,IAAI,CAAC,MAAM,EACX,MAAM,EACN,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,EACtB,GAAG,CACJ,CAAC;QACF,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACpF,IAAI,CAAC,OAAO;YAAE,OAAO,IAAI,CAAC;QAC1B,iEAAiE;QACjE,IAAI,QAAQ,GAAkB,IAAI,CAAC;QACnC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAClC,QAAQ;gBACN,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;oBACvB,CAAC,CAAC,WAAW,CACT,OAAO,EACP,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,EAC9D,QAAQ,CAAC,IAAI,CACd;oBACH,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;YAClE,IAAI,CAAC,QAAQ;gBAAE,OAAO,IAAI,CAAC;QAC7B,CAAC;QACD,yDAAyD;QACzD,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC;QAC1F,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACzE,IAAI,QAAQ,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACnC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QAC5F,MAAM,MAAM,GAAG,CAAC,GAAkB,EAAU,EAAE,CAAC,CAAC;YAC9C,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,MAAM;YACZ,GAAG,EAAE,MAAM;YACX,GAAG;YACH,IAAI,EAAE,UAAU;YAChB,GAAG;SACJ,CAAC,CAAC;QACH,MAAM,OAAO,GAAW;YACtB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,OAAO;YACd,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC;YAChC,GAAG;SACJ,CAAC;QACF,IAAI,GAAG,eAAe,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QAClD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACpC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YAC7D,UAAU,EAAE,QAAQ,CAAC,IAAI;YACzB,MAAM,EAAE;gBACN,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;gBAC9D,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE;gBAC/D,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1F,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE;aAChE;YACD,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE;gBAC/D,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvF;oBACE,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,WAAW;oBACpB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACxD,GAAG;iBACJ;gBACD;oBACE,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACvD,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC;4BACzB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;4BAChD,KAAK,EAAE,IAAI;4BACX,GAAG;yBACJ;wBACD,UAAU,CAAC,KAAK,EAAE,GAAG,CAAC;wBACtB;4BACE,IAAI,EAAE,UAAU;4BAChB,OAAO,EAAE;gCACP,QAAQ;oCACN,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE;oCAC5D,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE;gCAC5C,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC;6BACtB;4BACD,SAAS,EAAE,IAAI;4BACf,YAAY,EAAE,IAAI;4BAClB,6DAA6D;4BAC7D,WAAW,EAAE;gCACX;oCACE,IAAI,EAAE,IAAI;oCACV,IAAI,EAAE;wCACJ,IAAI,EAAE,OAAO;wCACb,EAAE,EAAE,GAAG;wCACP,OAAO,EAAE,MAAM,CAAC,WAAW,EAAE,IAAI,EAAE,GAAG,CAAC;wCACvC,IAAI,EAAE,IAAI;wCACV,GAAG;qCACJ;oCACD,IAAI,EAAE;wCACJ;4CACE,IAAI,EAAE,UAAU;4CAChB,IAAI,EAAE;gDACJ,IAAI,EAAE,WAAW;gDACjB,IAAI,EAAE,QAAQ;gDACd,GAAG,EAAE,MAAM;gDACX,GAAG,EAAE,IAAI;gDACT,IAAI,EAAE,UAAU;gDAChB,GAAG;6CACJ;4CACD,GAAG;yCACJ;qCACF;oCACD,KAAK,EAAE,IAAI;oCACX,GAAG;iCACJ;6BACF;4BACD,GAAG;yBACJ;wBACD,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE;qBAChE;oBACD,GAAG;iBACJ;aACF;YACD,SAAS,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE;YACnF,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;AAC3E,CAAC;AAED;;;;uDAIuD;AACvD,MAAM,UAAU,cAAc,CAC5B,OAAgB,EAChB,MAAc,EACd,IAAY,EACZ,GAAW;IAEX,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC;IACxB,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACrF,MAAM,UAAU,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACzF,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9E,MAAM,MAAM,GAAG,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,IAAI,CAAC;IAC3E,IAAI,CAAC,UAAU,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC7C,MAAM,GAAG,GAAG,YAAY,OAAO,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IACxD,IAAI,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;QAClD,MAAM,GAAG,GAAG,oBAAoB,CAC9B,OAAO,EACP,GAAG,CAAC,MAAM,EACV,MAAM,EACN;YACE,IAAI,EAAE,WAAW;YACjB,GAAG,EAAE,OAAO;YACZ,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,KAAK,EAAE,OAAO;YACd,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,EACD,GAAG,CACJ,CAAC;QACF,IAAI,CAAC,GAAG;YAAE,OAAO,IAAI,CAAC;QACtB,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAClD,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/C,IAAI,GAAG,cAAc,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QACjD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACpC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YACtD,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE;gBACN,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;gBACvD,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;gBACxD,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE;aACjE;YACD,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,OAAO;oBAChB,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACtD,GAAG;iBACJ;gBACD;oBACE,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACvD,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,SAAS;4BACf,OAAO,EAAE,QAAQ;4BACjB,IAAI,EAAE;gCACJ,IAAI,EAAE,WAAW;gCACjB,IAAI,EAAE,MAAM;gCACZ,GAAG,EAAE,MAAM;gCACX,GAAG,EAAE,IAAI;gCACT,IAAI,EAAE,UAAU;gCAChB,GAAG;6BACJ;4BACD,GAAG;yBACJ;wBACD;4BACE,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE;gCACJ,IAAI,EAAE,WAAW;gCACjB,GAAG,EAAE,OAAO;gCACZ,OAAO,EAAE,UAAU,CAAC,OAAO;gCAC3B,KAAK,EAAE,MAAM;gCACb,IAAI,EAAE,IAAI;gCACV,GAAG;6BACJ;4BACD,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;4BAC9B,KAAK,EAAE,IAAI;4BACX,GAAG;yBACJ;wBACD;4BACE,IAAI,EAAE,UAAU;4BAChB,IAAI,EAAE;gCACJ,IAAI,EAAE,cAAc;gCACpB,MAAM,EAAE,MAAM;gCACd,QAAQ,EAAE,MAAM;gCAChB,IAAI,EAAE,CAAC,KAAK,CAAC;gCACb,IAAI,EAAE,GAAG;gCACT,GAAG;6BACJ;4BACD,GAAG;yBACJ;qBACF;oBACD,GAAG;iBACJ;gBACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE;aACvC;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACzE,CAAC;AAED;;;;iEAIiE;AACjE,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,QAAgB,EAChB,MAAqC,EACrC,IAAY,EACZ,GAAW;IAEX,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;IAC3B,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3F,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IAC9F,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAClG,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,EAAE,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACtF,MAAM,GAAG,GAAG,WAAW,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IAClE,IAAI,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,GAAkB,EAAE;YAClC,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YAC3D,IAAI,CAAC,IAAI;gBAAE,OAAO,IAAI,CAAC;YACvB,MAAM,MAAM,GACV,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAE,CAAC,IAAI,CAAC;YACtF,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACrD,OAAO,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QACvD,CAAC,CAAC;QACF,IAAI,OAAsB,CAAC;QAC3B,IAAI,MAAM,KAAK,MAAM;YAAE,OAAO,GAAG,KAAK,CAAC;aAClC,IAAI,MAAM,KAAK,QAAQ;YAAE,OAAO,GAAG,OAAO,EAAE,CAAC;aAC7C,CAAC;YACJ,MAAM,KAAK,GAAG,OAAO,EAAE,CAAC;YACxB,OAAO;gBACL,KAAK,KAAK,IAAI;oBACZ,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC;wBACE,IAAI,EAAE,WAAW;wBACjB,MAAM,EAAE;4BACN,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE;4BAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE;yBACrB;wBACD,IAAI,EAAE,IAAI,CAAC,MAAM;wBACjB,GAAG;qBACJ,CAAC;QACV,CAAC;QACD,IAAI,CAAC,OAAO,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QACpE,IAAI,GAAG,aAAa,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QAChD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACpC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YACzD,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE;gBACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;gBAC1D,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;aAC3D;YACD,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,SAAS;oBAClB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;oBAClD,GAAG;iBACJ;gBACD;oBACE,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE;wBACJ,IAAI,EAAE,KAAK;wBACX,EAAE,EAAE,GAAG;wBACP,IAAI,EAAE,KAAK;wBACX,KAAK,EAAE;4BACL,IAAI,EAAE,cAAc;4BACpB,MAAM,EAAE,QAAQ;4BAChB,QAAQ,EAAE,IAAI;4BACd,IAAI,EAAE,EAAE;4BACR,IAAI,EAAE,GAAG;4BACT,GAAG;yBACJ;wBACD,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,IAAI,EAAE;wBACJ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;wBACvF;4BACE,IAAI,EAAE,QAAQ;4BACd,OAAO,EAAE,SAAS;4BAClB,KAAK,EAAE;gCACL,IAAI,EAAE,KAAK;gCACX,EAAE,EAAE,GAAG;gCACP,IAAI,EAAE,KAAK;gCACX,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gCACnD,IAAI,EAAE,GAAG;gCACT,GAAG;6BACJ;4BACD,GAAG;yBACJ;qBACF;oBACD,GAAG;iBACJ;gBACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;aACrC;YACD,SAAS,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE;YAClE,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrE,CAAC"}
@@ -1,3 +1,3 @@
1
1
  import { type IrFunction, type IrType, type SrcLoc } from "../../ir/ir.js";
2
- export declare function buildArraySortFn(name: string, elem: IrType, arity: number, copyFirst: boolean, undefinedTag: number | null, loc: SrcLoc): IrFunction;
2
+ export declare function buildArraySortFn(name: string, elem: IrType, arity: number, copyFirst: boolean, undefinedTag: number | null, loc: SrcLoc, native?: boolean): IrFunction;
3
3
  export declare function buildBytesSortFn(name: string, arity: number, hasComparator: boolean, loc: SrcLoc): IrFunction;