@soundscript/soundscript 0.1.13 → 0.1.15

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 (441) hide show
  1. package/package.json +15 -6
  2. package/project-transform/index.js +2 -0
  3. package/project-transform/index.ts +8 -0
  4. package/project-transform/src/annotation_syntax.js +948 -0
  5. package/project-transform/src/annotation_syntax.ts +1217 -0
  6. package/project-transform/src/build_package.js +475 -0
  7. package/project-transform/src/build_package.ts +683 -0
  8. package/project-transform/src/bundled/portable-web-globals.d.ts +153 -0
  9. package/project-transform/src/bundled/runtime_externs.js +220 -0
  10. package/project-transform/src/bundled/runtime_externs.ts +237 -0
  11. package/project-transform/src/bundled/sound-libs/lib.decorators.d.ts +385 -0
  12. package/project-transform/src/bundled/sound-libs/lib.decorators.legacy.d.ts +22 -0
  13. package/project-transform/src/bundled/sound-libs/lib.dom.asynciterable.d.ts +42 -0
  14. package/project-transform/src/bundled/sound-libs/lib.dom.d.ts +39440 -0
  15. package/project-transform/src/bundled/sound-libs/lib.es2015.collection.d.ts +149 -0
  16. package/project-transform/src/bundled/sound-libs/lib.es2015.core.d.ts +657 -0
  17. package/project-transform/src/bundled/sound-libs/lib.es2015.d.ts +28 -0
  18. package/project-transform/src/bundled/sound-libs/lib.es2015.generator.d.ts +77 -0
  19. package/project-transform/src/bundled/sound-libs/lib.es2015.iterable.d.ts +616 -0
  20. package/project-transform/src/bundled/sound-libs/lib.es2015.promise.d.ts +80 -0
  21. package/project-transform/src/bundled/sound-libs/lib.es2015.proxy.d.ts +128 -0
  22. package/project-transform/src/bundled/sound-libs/lib.es2015.reflect.d.ts +144 -0
  23. package/project-transform/src/bundled/sound-libs/lib.es2015.symbol.d.ts +46 -0
  24. package/project-transform/src/bundled/sound-libs/lib.es2015.symbol.wellknown.d.ts +170 -0
  25. package/project-transform/src/bundled/sound-libs/lib.es2016.array.include.d.ts +116 -0
  26. package/project-transform/src/bundled/sound-libs/lib.es2016.d.ts +21 -0
  27. package/project-transform/src/bundled/sound-libs/lib.es2017.arraybuffer.d.ts +21 -0
  28. package/project-transform/src/bundled/sound-libs/lib.es2017.d.ts +26 -0
  29. package/project-transform/src/bundled/sound-libs/lib.es2017.date.d.ts +31 -0
  30. package/project-transform/src/bundled/sound-libs/lib.es2017.object.d.ts +49 -0
  31. package/project-transform/src/bundled/sound-libs/lib.es2017.string.d.ts +45 -0
  32. package/project-transform/src/bundled/sound-libs/lib.es2017.typedarrays.d.ts +53 -0
  33. package/project-transform/src/bundled/sound-libs/lib.es2018.asyncgenerator.d.ts +77 -0
  34. package/project-transform/src/bundled/sound-libs/lib.es2018.asynciterable.d.ts +57 -0
  35. package/project-transform/src/bundled/sound-libs/lib.es2018.d.ts +24 -0
  36. package/project-transform/src/bundled/sound-libs/lib.es2018.promise.d.ts +30 -0
  37. package/project-transform/src/bundled/sound-libs/lib.es2018.regexp.d.ts +37 -0
  38. package/project-transform/src/bundled/sound-libs/lib.es2019.array.d.ts +79 -0
  39. package/project-transform/src/bundled/sound-libs/lib.es2019.d.ts +24 -0
  40. package/project-transform/src/bundled/sound-libs/lib.es2019.object.d.ts +47 -0
  41. package/project-transform/src/bundled/sound-libs/lib.es2019.string.d.ts +37 -0
  42. package/project-transform/src/bundled/sound-libs/lib.es2019.symbol.d.ts +24 -0
  43. package/project-transform/src/bundled/sound-libs/lib.es2020.bigint.d.ts +765 -0
  44. package/project-transform/src/bundled/sound-libs/lib.es2020.d.ts +27 -0
  45. package/project-transform/src/bundled/sound-libs/lib.es2020.date.d.ts +42 -0
  46. package/project-transform/src/bundled/sound-libs/lib.es2020.number.d.ts +28 -0
  47. package/project-transform/src/bundled/sound-libs/lib.es2020.promise.d.ts +49 -0
  48. package/project-transform/src/bundled/sound-libs/lib.es2020.string.d.ts +44 -0
  49. package/project-transform/src/bundled/sound-libs/lib.es2020.symbol.wellknown.d.ts +41 -0
  50. package/project-transform/src/bundled/sound-libs/lib.es2021.d.ts +23 -0
  51. package/project-transform/src/bundled/sound-libs/lib.es2021.promise.d.ts +48 -0
  52. package/project-transform/src/bundled/sound-libs/lib.es2021.string.d.ts +33 -0
  53. package/project-transform/src/bundled/sound-libs/lib.es2021.weakref.d.ts +78 -0
  54. package/project-transform/src/bundled/sound-libs/lib.es2022.array.d.ts +121 -0
  55. package/project-transform/src/bundled/sound-libs/lib.es2022.d.ts +25 -0
  56. package/project-transform/src/bundled/sound-libs/lib.es2022.error.d.ts +75 -0
  57. package/project-transform/src/bundled/sound-libs/lib.es2022.object.d.ts +26 -0
  58. package/project-transform/src/bundled/sound-libs/lib.es2022.regexp.d.ts +39 -0
  59. package/project-transform/src/bundled/sound-libs/lib.es2022.string.d.ts +25 -0
  60. package/project-transform/src/bundled/sound-libs/lib.es2023.array.d.ts +924 -0
  61. package/project-transform/src/bundled/sound-libs/lib.es2023.collection.d.ts +21 -0
  62. package/project-transform/src/bundled/sound-libs/lib.es2023.d.ts +22 -0
  63. package/project-transform/src/bundled/sound-libs/lib.es2024.arraybuffer.d.ts +65 -0
  64. package/project-transform/src/bundled/sound-libs/lib.es2024.collection.d.ts +29 -0
  65. package/project-transform/src/bundled/sound-libs/lib.es2024.d.ts +26 -0
  66. package/project-transform/src/bundled/sound-libs/lib.es2024.object.d.ts +33 -0
  67. package/project-transform/src/bundled/sound-libs/lib.es2024.promise.d.ts +35 -0
  68. package/project-transform/src/bundled/sound-libs/lib.es2024.regexp.d.ts +25 -0
  69. package/project-transform/src/bundled/sound-libs/lib.es2024.string.d.ts +29 -0
  70. package/project-transform/src/bundled/sound-libs/lib.es5.d.ts +4924 -0
  71. package/project-transform/src/bundled/sound_stdlib.js +142 -0
  72. package/project-transform/src/bundled/sound_stdlib.ts +180 -0
  73. package/project-transform/src/checker/analyze_project.js +1361 -0
  74. package/project-transform/src/checker/analyze_project.ts +2246 -0
  75. package/project-transform/src/checker/diagnostics.js +112 -0
  76. package/project-transform/src/checker/diagnostics.ts +222 -0
  77. package/project-transform/src/checker/engine/context.js +235 -0
  78. package/project-transform/src/checker/engine/context.ts +340 -0
  79. package/project-transform/src/checker/engine/diagnostic_codes.js +72 -0
  80. package/project-transform/src/checker/engine/diagnostic_codes.ts +95 -0
  81. package/project-transform/src/checker/engine/facts.js +35 -0
  82. package/project-transform/src/checker/engine/facts.ts +48 -0
  83. package/project-transform/src/checker/engine/types.js +1 -0
  84. package/project-transform/src/checker/engine/types.ts +485 -0
  85. package/project-transform/src/checker/proof_escape_hatch_diagnostics.js +104 -0
  86. package/project-transform/src/checker/proof_escape_hatch_diagnostics.ts +173 -0
  87. package/project-transform/src/checker/rules/async_surface.js +231 -0
  88. package/project-transform/src/checker/rules/async_surface.ts +335 -0
  89. package/project-transform/src/checker/rules/class_lifecycle.js +798 -0
  90. package/project-transform/src/checker/rules/class_lifecycle.ts +1276 -0
  91. package/project-transform/src/checker/rules/directive_validation.js +571 -0
  92. package/project-transform/src/checker/rules/directive_validation.ts +938 -0
  93. package/project-transform/src/checker/rules/directives.js +23 -0
  94. package/project-transform/src/checker/rules/directives.ts +25 -0
  95. package/project-transform/src/checker/rules/flow.js +202 -0
  96. package/project-transform/src/checker/rules/flow.ts +333 -0
  97. package/project-transform/src/checker/rules/flow_facts.js +601 -0
  98. package/project-transform/src/checker/rules/flow_facts.ts +978 -0
  99. package/project-transform/src/checker/rules/flow_invalidation.js +1119 -0
  100. package/project-transform/src/checker/rules/flow_invalidation.ts +2150 -0
  101. package/project-transform/src/checker/rules/flow_shared.js +2822 -0
  102. package/project-transform/src/checker/rules/flow_shared.ts +4383 -0
  103. package/project-transform/src/checker/rules/foreign_boundary.js +120 -0
  104. package/project-transform/src/checker/rules/foreign_boundary.ts +196 -0
  105. package/project-transform/src/checker/rules/foreign_projection.js +279 -0
  106. package/project-transform/src/checker/rules/foreign_projection.ts +425 -0
  107. package/project-transform/src/checker/rules/generated_helpers.js +13 -0
  108. package/project-transform/src/checker/rules/generated_helpers.ts +18 -0
  109. package/project-transform/src/checker/rules/index.js +35 -0
  110. package/project-transform/src/checker/rules/index.ts +49 -0
  111. package/project-transform/src/checker/rules/namespace_object.js +845 -0
  112. package/project-transform/src/checker/rules/namespace_object.ts +1224 -0
  113. package/project-transform/src/checker/rules/non_ordinary_recovery.js +1328 -0
  114. package/project-transform/src/checker/rules/non_ordinary_recovery.ts +2391 -0
  115. package/project-transform/src/checker/rules/null_prototype.js +3 -0
  116. package/project-transform/src/checker/rules/null_prototype.ts +6 -0
  117. package/project-transform/src/checker/rules/overloads.js +181 -0
  118. package/project-transform/src/checker/rules/overloads.ts +317 -0
  119. package/project-transform/src/checker/rules/predicate_verification.js +691 -0
  120. package/project-transform/src/checker/rules/predicate_verification.ts +1088 -0
  121. package/project-transform/src/checker/rules/prototype_hardening.js +237 -0
  122. package/project-transform/src/checker/rules/prototype_hardening.ts +343 -0
  123. package/project-transform/src/checker/rules/receiver_discipline.js +263 -0
  124. package/project-transform/src/checker/rules/receiver_discipline.ts +356 -0
  125. package/project-transform/src/checker/rules/relations.js +6861 -0
  126. package/project-transform/src/checker/rules/relations.ts +12158 -0
  127. package/project-transform/src/checker/rules/resolved_builtins.js +274 -0
  128. package/project-transform/src/checker/rules/resolved_builtins.ts +438 -0
  129. package/project-transform/src/checker/rules/trust.js +217 -0
  130. package/project-transform/src/checker/rules/trust.ts +301 -0
  131. package/project-transform/src/checker/rules/type_guards.js +173 -0
  132. package/project-transform/src/checker/rules/type_guards.ts +257 -0
  133. package/project-transform/src/checker/rules/universal.js +17 -0
  134. package/project-transform/src/checker/rules/universal.ts +22 -0
  135. package/project-transform/src/checker/rules/unsafe_value_origin.js +80 -0
  136. package/project-transform/src/checker/rules/unsafe_value_origin.ts +125 -0
  137. package/project-transform/src/checker/rules/unsound_imports.js +218 -0
  138. package/project-transform/src/checker/rules/unsound_imports.ts +301 -0
  139. package/project-transform/src/checker/rules/unsound_syntax.js +1695 -0
  140. package/project-transform/src/checker/rules/unsound_syntax.ts +2540 -0
  141. package/project-transform/src/checker/rules/value_types.js +206 -0
  142. package/project-transform/src/checker/rules/value_types.ts +407 -0
  143. package/project-transform/src/checker/timing.js +43 -0
  144. package/project-transform/src/checker/timing.ts +78 -0
  145. package/project-transform/src/checker/unsupported_feature_messages.js +337 -0
  146. package/project-transform/src/checker/unsupported_feature_messages.ts +531 -0
  147. package/project-transform/src/cli.js +892 -0
  148. package/project-transform/src/cli.ts +1476 -0
  149. package/project-transform/src/compiler/compile_project.js +319 -0
  150. package/project-transform/src/compiler/compile_project.ts +508 -0
  151. package/project-transform/src/compiler/errors.js +10 -0
  152. package/project-transform/src/compiler/errors.ts +29 -0
  153. package/project-transform/src/compiler/ir.js +1 -0
  154. package/project-transform/src/compiler/ir.ts +1526 -0
  155. package/project-transform/src/compiler/lower.js +30550 -0
  156. package/project-transform/src/compiler/lower.ts +43645 -0
  157. package/project-transform/src/compiler/lower_arrays.js +140 -0
  158. package/project-transform/src/compiler/lower_arrays.ts +190 -0
  159. package/project-transform/src/compiler/lower_strings.js +121 -0
  160. package/project-transform/src/compiler/lower_strings.ts +198 -0
  161. package/project-transform/src/compiler/lower_tagged.js +329 -0
  162. package/project-transform/src/compiler/lower_tagged.ts +427 -0
  163. package/project-transform/src/compiler/lower_views.js +171 -0
  164. package/project-transform/src/compiler/lower_views.ts +251 -0
  165. package/project-transform/src/compiler/object_keys.js +25 -0
  166. package/project-transform/src/compiler/object_keys.ts +35 -0
  167. package/project-transform/src/compiler/runtime_ir.js +30 -0
  168. package/project-transform/src/compiler/runtime_ir.ts +727 -0
  169. package/project-transform/src/compiler/tagged_boundary.js +18 -0
  170. package/project-transform/src/compiler/tagged_boundary.ts +37 -0
  171. package/project-transform/src/compiler/toolchain.js +170 -0
  172. package/project-transform/src/compiler/toolchain.ts +229 -0
  173. package/project-transform/src/compiler/unicode_case_data.js +2102 -0
  174. package/project-transform/src/compiler/unicode_case_data.ts +2112 -0
  175. package/project-transform/src/compiler/wasm_js_host_runtime.js +656 -0
  176. package/project-transform/src/compiler/wasm_js_host_runtime.ts +762 -0
  177. package/project-transform/src/compiler/wat_arrays.js +3132 -0
  178. package/project-transform/src/compiler/wat_arrays.ts +3768 -0
  179. package/project-transform/src/compiler/wat_emitter.js +17952 -0
  180. package/project-transform/src/compiler/wat_emitter.ts +22812 -0
  181. package/project-transform/src/compiler/wat_strings.js +129 -0
  182. package/project-transform/src/compiler/wat_strings.ts +187 -0
  183. package/project-transform/src/compiler/wat_tagged.js +548 -0
  184. package/project-transform/src/compiler/wat_tagged.ts +674 -0
  185. package/project-transform/src/compiler_generator_runner.js +153 -0
  186. package/project-transform/src/compiler_generator_runner.ts +171 -0
  187. package/project-transform/src/compiler_object_test_helpers.js +69 -0
  188. package/project-transform/src/compiler_object_test_helpers.ts +96 -0
  189. package/project-transform/src/compiler_promise_runner.js +2116 -0
  190. package/project-transform/src/compiler_promise_runner.ts +2184 -0
  191. package/project-transform/src/compiler_test_helpers.js +854 -0
  192. package/project-transform/src/compiler_test_helpers.ts +1087 -0
  193. package/project-transform/src/config.js +568 -0
  194. package/project-transform/src/config.ts +892 -0
  195. package/project-transform/src/diagnostic_metadata.js +67 -0
  196. package/project-transform/src/diagnostic_metadata.ts +99 -0
  197. package/project-transform/src/diagnostic_reference.js +1368 -0
  198. package/project-transform/src/diagnostic_reference.ts +1523 -0
  199. package/project-transform/src/editor_diagnostics_worker.js +176 -0
  200. package/project-transform/src/editor_diagnostics_worker.ts +250 -0
  201. package/project-transform/src/editor_projection.js +224 -0
  202. package/project-transform/src/editor_projection.ts +421 -0
  203. package/project-transform/src/frontend/builtin_expanded_program_test_cleanup.js +47 -0
  204. package/project-transform/src/frontend/builtin_expanded_program_test_cleanup.ts +72 -0
  205. package/project-transform/src/frontend/builtin_macro_support.js +842 -0
  206. package/project-transform/src/frontend/builtin_macro_support.ts +1386 -0
  207. package/project-transform/src/frontend/builtin_macros.js +409 -0
  208. package/project-transform/src/frontend/builtin_macros.ts +542 -0
  209. package/project-transform/src/frontend/component_poc_runtime.js +279 -0
  210. package/project-transform/src/frontend/component_poc_runtime.ts +372 -0
  211. package/project-transform/src/frontend/css_macro.js +148 -0
  212. package/project-transform/src/frontend/css_macro.ts +222 -0
  213. package/project-transform/src/frontend/derive_macros.js +2072 -0
  214. package/project-transform/src/frontend/derive_macros.ts +3188 -0
  215. package/project-transform/src/frontend/embedded_fragment_support.js +106 -0
  216. package/project-transform/src/frontend/embedded_fragment_support.ts +172 -0
  217. package/project-transform/src/frontend/error_normalization.js +403 -0
  218. package/project-transform/src/frontend/error_normalization.ts +832 -0
  219. package/project-transform/src/frontend/error_stdlib_support.js +1 -0
  220. package/project-transform/src/frontend/error_stdlib_support.ts +6 -0
  221. package/project-transform/src/frontend/expand_project.js +169 -0
  222. package/project-transform/src/frontend/expand_project.ts +248 -0
  223. package/project-transform/src/frontend/format_soundscript.js +297 -0
  224. package/project-transform/src/frontend/format_soundscript.ts +582 -0
  225. package/project-transform/src/frontend/graphql_macro.js +174 -0
  226. package/project-transform/src/frontend/graphql_macro.ts +253 -0
  227. package/project-transform/src/frontend/hash_context.js +83 -0
  228. package/project-transform/src/frontend/hash_context.ts +113 -0
  229. package/project-transform/src/frontend/hkt_macro.js +448 -0
  230. package/project-transform/src/frontend/hkt_macro.ts +897 -0
  231. package/project-transform/src/frontend/import_binding_usage.js +190 -0
  232. package/project-transform/src/frontend/import_binding_usage.ts +277 -0
  233. package/project-transform/src/frontend/macro_advanced_backend_adapter.js +58 -0
  234. package/project-transform/src/frontend/macro_advanced_backend_adapter.ts +123 -0
  235. package/project-transform/src/frontend/macro_advanced_context.js +826 -0
  236. package/project-transform/src/frontend/macro_advanced_context.ts +1102 -0
  237. package/project-transform/src/frontend/macro_advanced_output.js +21 -0
  238. package/project-transform/src/frontend/macro_advanced_output.ts +41 -0
  239. package/project-transform/src/frontend/macro_api.js +353 -0
  240. package/project-transform/src/frontend/macro_api.ts +1722 -0
  241. package/project-transform/src/frontend/macro_api_internal.js +35 -0
  242. package/project-transform/src/frontend/macro_api_internal.ts +80 -0
  243. package/project-transform/src/frontend/macro_api_module_support.js +39 -0
  244. package/project-transform/src/frontend/macro_api_module_support.ts +65 -0
  245. package/project-transform/src/frontend/macro_backend_adapter.js +272 -0
  246. package/project-transform/src/frontend/macro_backend_adapter.ts +420 -0
  247. package/project-transform/src/frontend/macro_context.js +816 -0
  248. package/project-transform/src/frontend/macro_context.ts +1105 -0
  249. package/project-transform/src/frontend/macro_debug.js +99 -0
  250. package/project-transform/src/frontend/macro_debug.ts +157 -0
  251. package/project-transform/src/frontend/macro_definition_support.js +28 -0
  252. package/project-transform/src/frontend/macro_definition_support.ts +73 -0
  253. package/project-transform/src/frontend/macro_errors.js +40 -0
  254. package/project-transform/src/frontend/macro_errors.ts +70 -0
  255. package/project-transform/src/frontend/macro_expander.js +919 -0
  256. package/project-transform/src/frontend/macro_expander.ts +1611 -0
  257. package/project-transform/src/frontend/macro_factory_support.js +176 -0
  258. package/project-transform/src/frontend/macro_factory_support.ts +263 -0
  259. package/project-transform/src/frontend/macro_host_ast_internal.js +64 -0
  260. package/project-transform/src/frontend/macro_host_ast_internal.ts +109 -0
  261. package/project-transform/src/frontend/macro_index.js +27 -0
  262. package/project-transform/src/frontend/macro_index.ts +50 -0
  263. package/project-transform/src/frontend/macro_loader.js +281 -0
  264. package/project-transform/src/frontend/macro_loader.ts +506 -0
  265. package/project-transform/src/frontend/macro_operand_semantics.js +838 -0
  266. package/project-transform/src/frontend/macro_operand_semantics.ts +1489 -0
  267. package/project-transform/src/frontend/macro_output.js +54 -0
  268. package/project-transform/src/frontend/macro_output.ts +123 -0
  269. package/project-transform/src/frontend/macro_parser.js +611 -0
  270. package/project-transform/src/frontend/macro_parser.ts +832 -0
  271. package/project-transform/src/frontend/macro_resolver.js +69 -0
  272. package/project-transform/src/frontend/macro_resolver.ts +125 -0
  273. package/project-transform/src/frontend/macro_rewrite.js +285 -0
  274. package/project-transform/src/frontend/macro_rewrite.ts +442 -0
  275. package/project-transform/src/frontend/macro_runtime_support.js +232 -0
  276. package/project-transform/src/frontend/macro_runtime_support.ts +324 -0
  277. package/project-transform/src/frontend/macro_scanner.js +393 -0
  278. package/project-transform/src/frontend/macro_scanner.ts +455 -0
  279. package/project-transform/src/frontend/macro_semantic_backend_adapter.js +87 -0
  280. package/project-transform/src/frontend/macro_semantic_backend_adapter.ts +166 -0
  281. package/project-transform/src/frontend/macro_semantic_context.js +5 -0
  282. package/project-transform/src/frontend/macro_semantic_context.ts +12 -0
  283. package/project-transform/src/frontend/macro_semantic_output.js +24 -0
  284. package/project-transform/src/frontend/macro_semantic_output.ts +47 -0
  285. package/project-transform/src/frontend/macro_semantic_types.js +1 -0
  286. package/project-transform/src/frontend/macro_semantic_types.ts +98 -0
  287. package/project-transform/src/frontend/macro_semantics.js +1172 -0
  288. package/project-transform/src/frontend/macro_semantics.ts +1502 -0
  289. package/project-transform/src/frontend/macro_site_kind_support.js +164 -0
  290. package/project-transform/src/frontend/macro_site_kind_support.ts +255 -0
  291. package/project-transform/src/frontend/macro_syntax_internal.js +1950 -0
  292. package/project-transform/src/frontend/macro_syntax_internal.ts +3338 -0
  293. package/project-transform/src/frontend/macro_templates.js +57 -0
  294. package/project-transform/src/frontend/macro_templates.ts +143 -0
  295. package/project-transform/src/frontend/macro_test_helpers.js +82 -0
  296. package/project-transform/src/frontend/macro_test_helpers.ts +136 -0
  297. package/project-transform/src/frontend/macro_types.js +1 -0
  298. package/project-transform/src/frontend/macro_types.ts +103 -0
  299. package/project-transform/src/frontend/macro_vm.js +39 -0
  300. package/project-transform/src/frontend/macro_vm.ts +113 -0
  301. package/project-transform/src/frontend/match_macro.js +885 -0
  302. package/project-transform/src/frontend/match_macro.ts +1220 -0
  303. package/project-transform/src/frontend/numeric_normalization.js +824 -0
  304. package/project-transform/src/frontend/numeric_normalization.ts +1380 -0
  305. package/project-transform/src/frontend/numeric_prelude.js +278 -0
  306. package/project-transform/src/frontend/numeric_prelude.ts +370 -0
  307. package/project-transform/src/frontend/project_frontend.js +2396 -0
  308. package/project-transform/src/frontend/project_frontend.ts +3776 -0
  309. package/project-transform/src/frontend/project_macro_support.js +1401 -0
  310. package/project-transform/src/frontend/project_macro_support.ts +2137 -0
  311. package/project-transform/src/frontend/sql_macro.js +175 -0
  312. package/project-transform/src/frontend/sql_macro.ts +254 -0
  313. package/project-transform/src/frontend/sql_stdlib_support.js +1 -0
  314. package/project-transform/src/frontend/sql_stdlib_support.ts +6 -0
  315. package/project-transform/src/frontend/std_package_support.js +228 -0
  316. package/project-transform/src/frontend/std_package_support.ts +400 -0
  317. package/project-transform/src/frontend/value_normalization.js +306 -0
  318. package/project-transform/src/frontend/value_normalization.ts +599 -0
  319. package/project-transform/src/lsp/project_service.js +4771 -0
  320. package/project-transform/src/lsp/project_service.ts +7580 -0
  321. package/project-transform/src/lsp/protocol.js +9 -0
  322. package/project-transform/src/lsp/protocol.ts +38 -0
  323. package/project-transform/src/lsp/server.js +355 -0
  324. package/project-transform/src/lsp/server.ts +671 -0
  325. package/project-transform/src/lsp/session.js +49 -0
  326. package/project-transform/src/lsp/session.ts +48 -0
  327. package/project-transform/src/lsp/timing.js +43 -0
  328. package/project-transform/src/lsp/timing.ts +76 -0
  329. package/project-transform/src/lsp/transport.js +205 -0
  330. package/project-transform/src/lsp/transport.ts +253 -0
  331. package/project-transform/src/lsp_main.js +5 -0
  332. package/project-transform/src/lsp_main.ts +7 -0
  333. package/project-transform/src/macros.d.ts +1 -0
  334. package/project-transform/src/macros.js +1 -0
  335. package/project-transform/src/macros.ts +1 -0
  336. package/project-transform/src/main.js +24 -0
  337. package/project-transform/src/main.ts +28 -0
  338. package/project-transform/src/platform/host.js +264 -0
  339. package/project-transform/src/platform/host.ts +343 -0
  340. package/project-transform/src/platform/path.js +8 -0
  341. package/project-transform/src/platform/path.ts +20 -0
  342. package/project-transform/src/public_macro_api/macro_api.d.ts +1054 -0
  343. package/project-transform/src/public_macro_api/macro_semantic_types.d.ts +66 -0
  344. package/project-transform/src/public_macro_api/macro_types.d.ts +70 -0
  345. package/project-transform/src/run_program.js +14 -0
  346. package/project-transform/src/run_program.ts +33 -0
  347. package/project-transform/src/runtime/materialize.js +371 -0
  348. package/project-transform/src/runtime/materialize.ts +502 -0
  349. package/project-transform/src/runtime/on_demand.js +203 -0
  350. package/project-transform/src/runtime/on_demand.ts +305 -0
  351. package/project-transform/src/runtime/source_maps.js +205 -0
  352. package/project-transform/src/runtime/source_maps.ts +297 -0
  353. package/project-transform/src/runtime/transform.js +148 -0
  354. package/project-transform/src/runtime/transform.ts +295 -0
  355. package/project-transform/src/service/types.js +1 -0
  356. package/project-transform/src/service/types.ts +22 -0
  357. package/project-transform/src/soundscript_packages.js +477 -0
  358. package/project-transform/src/soundscript_packages.ts +754 -0
  359. package/project-transform/src/soundscript_runtime_specifiers.js +88 -0
  360. package/project-transform/src/soundscript_runtime_specifiers.ts +96 -0
  361. package/project-transform/src/stdlib/async.d.ts +81 -0
  362. package/project-transform/src/stdlib/async.js +213 -0
  363. package/project-transform/src/stdlib/async.ts +315 -0
  364. package/project-transform/src/stdlib/codec.d.ts +32 -0
  365. package/project-transform/src/stdlib/codec.js +30 -0
  366. package/project-transform/src/stdlib/codec.ts +76 -0
  367. package/project-transform/src/stdlib/compare.d.ts +28 -0
  368. package/project-transform/src/stdlib/compare.js +115 -0
  369. package/project-transform/src/stdlib/compare.ts +151 -0
  370. package/project-transform/src/stdlib/css.d.ts +16 -0
  371. package/project-transform/src/stdlib/css.js +9 -0
  372. package/project-transform/src/stdlib/css.ts +28 -0
  373. package/project-transform/src/stdlib/debug.d.ts +2 -0
  374. package/project-transform/src/stdlib/debug.js +9 -0
  375. package/project-transform/src/stdlib/debug.ts +10 -0
  376. package/project-transform/src/stdlib/decode.d.ts +86 -0
  377. package/project-transform/src/stdlib/decode.js +254 -0
  378. package/project-transform/src/stdlib/decode.ts +390 -0
  379. package/project-transform/src/stdlib/derive.d.ts +6 -0
  380. package/project-transform/src/stdlib/derive.js +7 -0
  381. package/project-transform/src/stdlib/derive.ts +7 -0
  382. package/project-transform/src/stdlib/encode.d.ts +100 -0
  383. package/project-transform/src/stdlib/encode.js +130 -0
  384. package/project-transform/src/stdlib/encode.ts +259 -0
  385. package/project-transform/src/stdlib/failures.d.ts +23 -0
  386. package/project-transform/src/stdlib/failures.js +41 -0
  387. package/project-transform/src/stdlib/failures.ts +64 -0
  388. package/project-transform/src/stdlib/fetch.d.ts +67 -0
  389. package/project-transform/src/stdlib/fetch.js +5 -0
  390. package/project-transform/src/stdlib/fetch.ts +11 -0
  391. package/project-transform/src/stdlib/graphql.d.ts +16 -0
  392. package/project-transform/src/stdlib/graphql.js +9 -0
  393. package/project-transform/src/stdlib/graphql.ts +28 -0
  394. package/project-transform/src/stdlib/hash.d.ts +34 -0
  395. package/project-transform/src/stdlib/hash.js +110 -0
  396. package/project-transform/src/stdlib/hash.ts +188 -0
  397. package/project-transform/src/stdlib/hkt.d.ts +40 -0
  398. package/project-transform/src/stdlib/hkt.js +3 -0
  399. package/project-transform/src/stdlib/hkt.ts +41 -0
  400. package/project-transform/src/stdlib/index.d.ts +9 -0
  401. package/project-transform/src/stdlib/index.js +15 -0
  402. package/project-transform/src/stdlib/index.ts +23 -0
  403. package/project-transform/src/stdlib/json.d.ts +125 -0
  404. package/project-transform/src/stdlib/json.js +764 -0
  405. package/project-transform/src/stdlib/json.ts +1034 -0
  406. package/project-transform/src/stdlib/match.d.ts +11 -0
  407. package/project-transform/src/stdlib/match.js +13 -0
  408. package/project-transform/src/stdlib/match.ts +26 -0
  409. package/project-transform/src/stdlib/numerics.d.ts +523 -0
  410. package/project-transform/src/stdlib/numerics.js +1356 -0
  411. package/project-transform/src/stdlib/numerics.ts +1937 -0
  412. package/project-transform/src/stdlib/random.d.ts +19 -0
  413. package/project-transform/src/stdlib/random.js +3 -0
  414. package/project-transform/src/stdlib/random.ts +5 -0
  415. package/project-transform/src/stdlib/result.d.ts +68 -0
  416. package/project-transform/src/stdlib/result.js +139 -0
  417. package/project-transform/src/stdlib/result.ts +248 -0
  418. package/project-transform/src/stdlib/sql.d.ts +22 -0
  419. package/project-transform/src/stdlib/sql.js +23 -0
  420. package/project-transform/src/stdlib/sql.ts +53 -0
  421. package/project-transform/src/stdlib/text.d.ts +24 -0
  422. package/project-transform/src/stdlib/text.js +3 -0
  423. package/project-transform/src/stdlib/text.ts +4 -0
  424. package/project-transform/src/stdlib/thunk.d.ts +2 -0
  425. package/project-transform/src/stdlib/thunk.js +9 -0
  426. package/project-transform/src/stdlib/thunk.ts +15 -0
  427. package/project-transform/src/stdlib/typeclasses.d.ts +57 -0
  428. package/project-transform/src/stdlib/typeclasses.js +78 -0
  429. package/project-transform/src/stdlib/typeclasses.ts +173 -0
  430. package/project-transform/src/stdlib/url.d.ts +37 -0
  431. package/project-transform/src/stdlib/url.js +3 -0
  432. package/project-transform/src/stdlib/url.ts +4 -0
  433. package/project-transform/src/stdlib/value.d.ts +9 -0
  434. package/project-transform/src/stdlib/value.js +104 -0
  435. package/project-transform/src/stdlib/value.ts +133 -0
  436. package/project-transform/src/test_installed_stdlib.js +147 -0
  437. package/project-transform/src/test_installed_stdlib.ts +245 -0
  438. package/project-transform/src/test_macro_package_fixture.js +50 -0
  439. package/project-transform/src/test_macro_package_fixture.ts +68 -0
  440. package/project-transform/src/value_deep_safe.js +191 -0
  441. package/project-transform/src/value_deep_safe.ts +273 -0
@@ -0,0 +1,442 @@
1
+ import ts from 'typescript';
2
+
3
+ import { BUILTIN_DIRECTIVE_NAMES, createAnnotationLookup } from '../annotation_syntax.ts';
4
+ import { scanMacroCandidates } from './macro_scanner.ts';
5
+ import type {
6
+ MacroGeneratedSpan,
7
+ MacroParseDiagnostic,
8
+ MacroReplacement,
9
+ ParsedMacroArgument,
10
+ ParsedMacroInvocation,
11
+ RewriteResult,
12
+ SourceSpan,
13
+ } from './macro_types.ts';
14
+
15
+ type MacroSite =
16
+ | {
17
+ argumentSpans: readonly ParsedMacroArgument[];
18
+ declarationKind?: never;
19
+ declarationName?: never;
20
+ declarationSpan?: never;
21
+ invocationKind: 'arglist';
22
+ kind: 'call' | 'tag';
23
+ nameSpan: SourceSpan;
24
+ nameText: string;
25
+ replacementSpan: SourceSpan;
26
+ span: SourceSpan;
27
+ rewriteKind: 'expr' | 'stmt';
28
+ trailingBlockSpan?: never;
29
+ }
30
+ | {
31
+ argumentSpans: readonly ParsedMacroArgument[];
32
+ declarationKind: 'class' | 'function' | 'interface' | 'typeAlias';
33
+ declarationName: string | null;
34
+ declarationSpan: SourceSpan;
35
+ invocationKind: 'decl';
36
+ kind: 'annotation';
37
+ nameSpan: SourceSpan;
38
+ nameText: string;
39
+ preserveDeclaration: boolean;
40
+ replacementSpan: SourceSpan;
41
+ span: SourceSpan;
42
+ rewriteKind: 'stmt';
43
+ trailingBlockSpan?: never;
44
+ };
45
+
46
+ interface ImportedMacroBindings {
47
+ readonly annotationNames: ReadonlySet<string>;
48
+ readonly callNames: ReadonlySet<string>;
49
+ readonly tagNames: ReadonlySet<string>;
50
+ }
51
+
52
+ export type ImportedMacroSiteKind = 'annotation' | 'call' | 'tag';
53
+
54
+ function createSpan(fileName: string, start: number, end: number): SourceSpan {
55
+ return { fileName, start, end };
56
+ }
57
+
58
+ function createPlaceholder(
59
+ id: number,
60
+ rewriteKind: ParsedMacroInvocation['rewriteKind'],
61
+ ): string {
62
+ return rewriteKind === 'expr' ? `__sts_macro_expr(${id})` : `__sts_macro_stmt(${id});`;
63
+ }
64
+
65
+ function scriptKindForFile(fileName: string): ts.ScriptKind {
66
+ const lowered = fileName.toLowerCase();
67
+ if (lowered.endsWith('.sts') || lowered.endsWith('.tsx') || lowered.endsWith('.jsx')) {
68
+ return ts.ScriptKind.TSX;
69
+ }
70
+ if (lowered.endsWith('.js') || lowered.endsWith('.mjs') || lowered.endsWith('.cjs')) {
71
+ return ts.ScriptKind.JS;
72
+ }
73
+ return ts.ScriptKind.TS;
74
+ }
75
+
76
+ function collectImportedMacroBindings(
77
+ sourceFile: ts.SourceFile,
78
+ importedMacroSiteKindsBySpecifier: ReadonlyMap<string, ReadonlyMap<string, ImportedMacroSiteKind>>,
79
+ ): ImportedMacroBindings {
80
+ const callNames = new Set<string>();
81
+ const tagNames = new Set<string>();
82
+ const annotationNames = new Set<string>();
83
+
84
+ for (const statement of sourceFile.statements) {
85
+ if (!ts.isImportDeclaration(statement)) {
86
+ continue;
87
+ }
88
+
89
+ const explicitKinds = ts.isStringLiteral(statement.moduleSpecifier)
90
+ ? importedMacroSiteKindsBySpecifier.get(statement.moduleSpecifier.text)
91
+ : undefined;
92
+ if (!explicitKinds) {
93
+ continue;
94
+ }
95
+
96
+ if (statement.importClause?.name) {
97
+ const localName = statement.importClause.name.text;
98
+ const explicitKind = explicitKinds.get('default');
99
+ if (explicitKind === 'annotation' && !BUILTIN_DIRECTIVE_NAMES.has(localName)) {
100
+ annotationNames.add(localName);
101
+ } else if (explicitKind === 'call') {
102
+ callNames.add(localName);
103
+ } else if (explicitKind === 'tag') {
104
+ tagNames.add(localName);
105
+ }
106
+ }
107
+
108
+ const namedBindings = statement.importClause?.namedBindings;
109
+ if (!namedBindings || !ts.isNamedImports(namedBindings)) {
110
+ continue;
111
+ }
112
+
113
+ for (const element of namedBindings.elements) {
114
+ const localName = element.name.text;
115
+ const exportName = element.propertyName?.text ?? localName;
116
+ const explicitKind = explicitKinds?.get(exportName);
117
+ if (explicitKind === 'annotation' && !BUILTIN_DIRECTIVE_NAMES.has(localName)) {
118
+ annotationNames.add(localName);
119
+ continue;
120
+ }
121
+ if (explicitKind === 'call') {
122
+ callNames.add(localName);
123
+ continue;
124
+ }
125
+ if (explicitKind === 'tag') {
126
+ tagNames.add(localName);
127
+ continue;
128
+ }
129
+ }
130
+ }
131
+
132
+ return { annotationNames, callNames, tagNames };
133
+ }
134
+
135
+ function parentExpressionStatement(node: ts.Node): ts.ExpressionStatement | null {
136
+ return ts.isExpressionStatement(node.parent) && node.parent.expression === node
137
+ ? node.parent
138
+ : null;
139
+ }
140
+
141
+ function getRewriteKindForCall(node: ts.CallExpression): 'expr' | 'stmt' {
142
+ return parentExpressionStatement(node) ? 'stmt' : 'expr';
143
+ }
144
+
145
+ function createCallSite(sourceFile: ts.SourceFile, node: ts.CallExpression): MacroSite {
146
+ const statement = parentExpressionStatement(node);
147
+ return {
148
+ kind: 'call',
149
+ argumentSpans: node.arguments.map((argument) => ({
150
+ kind: 'ExprArg' as const,
151
+ span: createSpan(sourceFile.fileName, argument.getStart(sourceFile), argument.getEnd()),
152
+ })),
153
+ invocationKind: 'arglist',
154
+ nameSpan: createSpan(
155
+ sourceFile.fileName,
156
+ node.expression.getStart(sourceFile),
157
+ node.expression.getEnd(),
158
+ ),
159
+ nameText: (node.expression as ts.Identifier).text,
160
+ replacementSpan: createSpan(
161
+ sourceFile.fileName,
162
+ statement?.getStart(sourceFile) ?? node.getStart(sourceFile),
163
+ statement?.getEnd() ?? node.getEnd(),
164
+ ),
165
+ span: createSpan(sourceFile.fileName, node.getStart(sourceFile), node.getEnd()),
166
+ rewriteKind: getRewriteKindForCall(node),
167
+ };
168
+ }
169
+
170
+ function createTagSite(sourceFile: ts.SourceFile, node: ts.TaggedTemplateExpression): MacroSite {
171
+ return {
172
+ kind: 'tag',
173
+ argumentSpans: [{
174
+ kind: 'ExprArg',
175
+ span: createSpan(
176
+ sourceFile.fileName,
177
+ node.template.getStart(sourceFile),
178
+ node.template.getEnd(),
179
+ ),
180
+ }],
181
+ invocationKind: 'arglist',
182
+ nameSpan: createSpan(sourceFile.fileName, node.tag.getStart(sourceFile), node.tag.getEnd()),
183
+ nameText: (node.tag as ts.Identifier).text,
184
+ replacementSpan: createSpan(sourceFile.fileName, node.getStart(sourceFile), node.getEnd()),
185
+ span: createSpan(sourceFile.fileName, node.getStart(sourceFile), node.getEnd()),
186
+ rewriteKind: 'expr',
187
+ };
188
+ }
189
+
190
+ function isMacroDeclarationTarget(
191
+ node: ts.Statement,
192
+ ): node is
193
+ | ts.ClassDeclaration
194
+ | ts.FunctionDeclaration
195
+ | ts.InterfaceDeclaration
196
+ | ts.TypeAliasDeclaration {
197
+ return ts.isClassDeclaration(node) || ts.isFunctionDeclaration(node) ||
198
+ ts.isInterfaceDeclaration(node) || ts.isTypeAliasDeclaration(node);
199
+ }
200
+
201
+ function findAnnotationSites(
202
+ annotationLookup: ReturnType<typeof createAnnotationLookup>,
203
+ sourceFile: ts.SourceFile,
204
+ node: ts.ClassDeclaration | ts.FunctionDeclaration | ts.InterfaceDeclaration | ts.TypeAliasDeclaration,
205
+ annotationNames: ReadonlySet<string>,
206
+ ): readonly MacroSite[] {
207
+ if (annotationNames.size === 0) {
208
+ return [];
209
+ }
210
+
211
+ const block = annotationLookup.getAttachedAnnotationBlock(node);
212
+ const matchedAnnotations = block?.annotations.filter((annotation) =>
213
+ annotation.nameRange && annotationNames.has(annotation.name)
214
+ ) ?? [];
215
+ if (!block || matchedAnnotations.length === 0) {
216
+ return [];
217
+ }
218
+
219
+ const nodeStart = node.getStart(sourceFile);
220
+ const declarationKind = ts.isClassDeclaration(node)
221
+ ? 'class'
222
+ : ts.isFunctionDeclaration(node)
223
+ ? 'function'
224
+ : ts.isInterfaceDeclaration(node)
225
+ ? 'interface'
226
+ : 'typeAlias';
227
+ return matchedAnnotations.map((annotation, index) => ({
228
+ kind: 'annotation',
229
+ argumentSpans: [],
230
+ declarationKind,
231
+ declarationName: node.name?.text ?? null,
232
+ declarationSpan: createSpan(sourceFile.fileName, nodeStart, node.getEnd()),
233
+ invocationKind: 'decl',
234
+ nameSpan: createSpan(
235
+ sourceFile.fileName,
236
+ annotation.nameRange!.start,
237
+ annotation.nameRange!.end,
238
+ ),
239
+ nameText: annotation.name,
240
+ preserveDeclaration: index === 0,
241
+ replacementSpan: createSpan(sourceFile.fileName, block.range.start, node.getEnd()),
242
+ span: createSpan(sourceFile.fileName, block.range.start, node.getEnd()),
243
+ rewriteKind: 'stmt',
244
+ }));
245
+ }
246
+
247
+ function collectMacroSites(
248
+ sourceFile: ts.SourceFile,
249
+ importedMacroSiteKindsBySpecifier: ReadonlyMap<string, ReadonlyMap<string, ImportedMacroSiteKind>>,
250
+ alwaysAvailableMacroSiteKinds: ReadonlyMap<string, ImportedMacroSiteKind>,
251
+ ): readonly MacroSite[] {
252
+ const bindings = collectImportedMacroBindings(sourceFile, importedMacroSiteKindsBySpecifier);
253
+ const annotationLookup = createAnnotationLookup(sourceFile);
254
+ for (const [name, kind] of alwaysAvailableMacroSiteKinds.entries()) {
255
+ if (kind === 'annotation') {
256
+ (bindings.annotationNames as Set<string>).add(name);
257
+ continue;
258
+ }
259
+ if (kind === 'call') {
260
+ (bindings.callNames as Set<string>).add(name);
261
+ continue;
262
+ }
263
+ (bindings.tagNames as Set<string>).add(name);
264
+ }
265
+ const sites: MacroSite[] = [];
266
+
267
+ for (const statement of sourceFile.statements) {
268
+ if (!isMacroDeclarationTarget(statement)) {
269
+ continue;
270
+ }
271
+
272
+ const annotationSites = findAnnotationSites(
273
+ annotationLookup,
274
+ sourceFile,
275
+ statement,
276
+ bindings.annotationNames,
277
+ );
278
+ sites.push(...annotationSites);
279
+ }
280
+
281
+ const visit = (node: ts.Node): void => {
282
+ if (
283
+ ts.isCallExpression(node) && ts.isIdentifier(node.expression) &&
284
+ bindings.callNames.has(node.expression.text)
285
+ ) {
286
+ sites.push(createCallSite(sourceFile, node));
287
+ return;
288
+ }
289
+
290
+ if (
291
+ ts.isTaggedTemplateExpression(node) &&
292
+ ts.isIdentifier(node.tag) &&
293
+ bindings.tagNames.has(node.tag.text)
294
+ ) {
295
+ sites.push(createTagSite(sourceFile, node));
296
+ return;
297
+ }
298
+
299
+ ts.forEachChild(node, visit);
300
+ };
301
+
302
+ ts.forEachChild(sourceFile, visit);
303
+ sites.sort((left, right) => left.replacementSpan.start - right.replacementSpan.start);
304
+
305
+ const filtered: MacroSite[] = [];
306
+ let currentEnd = -1;
307
+ let currentStart = -1;
308
+ for (const site of sites) {
309
+ const sameReplacementSpan = site.replacementSpan.start === currentStart &&
310
+ site.replacementSpan.end === currentEnd;
311
+ if (site.replacementSpan.start < currentEnd && !sameReplacementSpan) {
312
+ continue;
313
+ }
314
+ filtered.push(site);
315
+ currentStart = site.replacementSpan.start;
316
+ currentEnd = site.replacementSpan.end;
317
+ }
318
+
319
+ return filtered;
320
+ }
321
+
322
+ function createLegacySyntaxDiagnostic(
323
+ fileName: string,
324
+ start: number,
325
+ end: number,
326
+ ): MacroParseDiagnostic {
327
+ return {
328
+ fileName,
329
+ reason: 'legacy-syntax',
330
+ span: createSpan(fileName, start, end),
331
+ };
332
+ }
333
+
334
+ function toParsedInvocation(site: MacroSite): ParsedMacroInvocation {
335
+ return {
336
+ argumentSpans: site.argumentSpans,
337
+ declarationKind: site.kind === 'annotation' ? site.declarationKind : undefined,
338
+ declarationName: site.kind === 'annotation' ? site.declarationName : undefined,
339
+ preserveDeclaration: site.kind === 'annotation' ? site.preserveDeclaration : undefined,
340
+ declarationSpan: site.kind === 'annotation' ? site.declarationSpan : undefined,
341
+ fileName: site.span.fileName,
342
+ hashSpan: site.nameSpan,
343
+ nameSpan: site.nameSpan,
344
+ nameText: site.nameText,
345
+ siteKind: site.kind,
346
+ span: site.span,
347
+ trailingBlockSpan: undefined,
348
+ invocationKind: site.invocationKind,
349
+ rewriteKind: site.rewriteKind,
350
+ };
351
+ }
352
+
353
+ function buildRewriteResult(
354
+ text: string,
355
+ sites: readonly MacroSite[],
356
+ ): RewriteResult {
357
+ const replacements: MacroReplacement[] = [];
358
+ const generatedSpans: MacroGeneratedSpan[] = [];
359
+ const macrosById = new Map<number, ParsedMacroInvocation>();
360
+ let rewrittenText = '';
361
+ let cursor = 0;
362
+ let nextId = 1;
363
+
364
+ for (const site of sites) {
365
+ const id = nextId;
366
+ nextId += 1;
367
+ const placeholder = createPlaceholder(id, site.rewriteKind);
368
+ rewrittenText += text.slice(cursor, site.replacementSpan.start);
369
+ const generatedStart = rewrittenText.length;
370
+ rewrittenText += placeholder;
371
+ const generatedEnd = rewrittenText.length;
372
+ cursor = site.replacementSpan.end;
373
+
374
+ const rewrittenSpan = {
375
+ fileName: site.span.fileName,
376
+ start: generatedStart,
377
+ end: generatedEnd,
378
+ };
379
+ replacements.push({
380
+ id,
381
+ originalSpan: site.replacementSpan,
382
+ rewriteText: placeholder,
383
+ rewrittenSpan,
384
+ });
385
+ generatedSpans.push({
386
+ generatedEnd,
387
+ generatedFileName: site.span.fileName,
388
+ generatedStart,
389
+ id,
390
+ originalSpan: site.replacementSpan,
391
+ });
392
+ macrosById.set(id, toParsedInvocation(site));
393
+ }
394
+
395
+ rewrittenText += text.slice(cursor);
396
+ return {
397
+ diagnostics: [],
398
+ generatedSpans,
399
+ macrosById,
400
+ replacements,
401
+ rewrittenText,
402
+ };
403
+ }
404
+
405
+ export function rewriteMacroSource(
406
+ fileName: string,
407
+ text: string,
408
+ importedMacroSiteKindsBySpecifier: ReadonlyMap<string, ReadonlyMap<string, ImportedMacroSiteKind>> = new Map(),
409
+ alwaysAvailableMacroSiteKinds: ReadonlyMap<string, ImportedMacroSiteKind> = new Map(),
410
+ ): RewriteResult {
411
+ const legacyHashes = scanMacroCandidates(fileName, text).hashes.filter((hash) =>
412
+ hash.kind === 'macro-start'
413
+ );
414
+ if (legacyHashes.length > 0) {
415
+ const firstLegacyHash = legacyHashes[0]!;
416
+ return {
417
+ diagnostics: [
418
+ createLegacySyntaxDiagnostic(
419
+ fileName,
420
+ firstLegacyHash.span.start,
421
+ firstLegacyHash.span.end,
422
+ ),
423
+ ],
424
+ generatedSpans: [],
425
+ macrosById: new Map(),
426
+ replacements: [],
427
+ rewrittenText: text,
428
+ };
429
+ }
430
+
431
+ const sourceFile = ts.createSourceFile(
432
+ fileName,
433
+ text,
434
+ ts.ScriptTarget.Latest,
435
+ true,
436
+ scriptKindForFile(fileName),
437
+ );
438
+ return buildRewriteResult(
439
+ text,
440
+ collectMacroSites(sourceFile, importedMacroSiteKindsBySpecifier, alwaysAvailableMacroSiteKinds),
441
+ );
442
+ }
@@ -0,0 +1,232 @@
1
+ import ts from 'typescript';
2
+ import { builtinRuntimeImportSpecifier, isBuiltinRuntimeModuleSpecifier, } from '../soundscript_runtime_specifiers.js';
3
+ import { dirname, join, normalize, relative } from '../platform/path.js';
4
+ function extractSoundscriptSourceTarget(value) {
5
+ if (typeof value === 'string') {
6
+ return value;
7
+ }
8
+ if (!value || typeof value !== 'object') {
9
+ return null;
10
+ }
11
+ const source = value.source;
12
+ return typeof source === 'string' ? source : null;
13
+ }
14
+ function normalizePath(fileName) {
15
+ const normalized = normalize(fileName);
16
+ return ts.sys.useCaseSensitiveFileNames ? normalized : normalized.toLowerCase();
17
+ }
18
+ function findNearestPackageJson(startFileName, host) {
19
+ let currentDirectory = dirname(startFileName);
20
+ const visited = new Set();
21
+ while (!visited.has(normalizePath(currentDirectory))) {
22
+ visited.add(normalizePath(currentDirectory));
23
+ const packageJsonPath = join(currentDirectory, 'package.json');
24
+ if (host.fileExists(packageJsonPath)) {
25
+ return packageJsonPath;
26
+ }
27
+ const parentDirectory = dirname(currentDirectory);
28
+ if (parentDirectory === currentDirectory) {
29
+ return null;
30
+ }
31
+ currentDirectory = parentDirectory;
32
+ }
33
+ return null;
34
+ }
35
+ function readPackageRuntimeMetadata(startFileName, host) {
36
+ const packageJsonPath = findNearestPackageJson(startFileName, host);
37
+ if (!packageJsonPath) {
38
+ return null;
39
+ }
40
+ const packageJsonText = host.readFile(packageJsonPath);
41
+ if (!packageJsonText) {
42
+ return null;
43
+ }
44
+ let parsed;
45
+ try {
46
+ parsed = JSON.parse(packageJsonText);
47
+ }
48
+ catch {
49
+ return null;
50
+ }
51
+ if (!parsed || typeof parsed !== 'object') {
52
+ return null;
53
+ }
54
+ const record = parsed;
55
+ const packageRoot = dirname(packageJsonPath);
56
+ const ordinaryExports = collectOrdinaryExportSubpaths(record.exports);
57
+ const soundscriptExports = new Map();
58
+ const soundscript = record.soundscript;
59
+ if (soundscript && typeof soundscript === 'object') {
60
+ const exportsRecord = soundscript.exports;
61
+ if (exportsRecord && typeof exportsRecord === 'object') {
62
+ for (const [subpath, target] of Object.entries(exportsRecord)) {
63
+ const sourceTarget = extractSoundscriptSourceTarget(target);
64
+ if (!sourceTarget) {
65
+ continue;
66
+ }
67
+ soundscriptExports.set(subpath, normalize(sourceTarget.startsWith('/') ? sourceTarget : join(packageRoot, sourceTarget)));
68
+ }
69
+ }
70
+ }
71
+ return {
72
+ name: typeof record.name === 'string' && record.name.length > 0 ? record.name : undefined,
73
+ ordinaryExports,
74
+ packageJsonPath,
75
+ packageRoot,
76
+ soundscriptExports,
77
+ };
78
+ }
79
+ function exportShapeHasStringTarget(value) {
80
+ if (typeof value === 'string') {
81
+ return true;
82
+ }
83
+ if (Array.isArray(value)) {
84
+ return value.some((entry) => exportShapeHasStringTarget(entry));
85
+ }
86
+ if (!value || typeof value !== 'object') {
87
+ return false;
88
+ }
89
+ return Object.values(value).some((entry) => exportShapeHasStringTarget(entry));
90
+ }
91
+ function collectOrdinaryExportSubpaths(exportsField) {
92
+ const subpaths = new Set();
93
+ if (typeof exportsField === 'string' || Array.isArray(exportsField)) {
94
+ if (exportShapeHasStringTarget(exportsField)) {
95
+ subpaths.add('.');
96
+ }
97
+ return subpaths;
98
+ }
99
+ if (!exportsField || typeof exportsField !== 'object') {
100
+ return subpaths;
101
+ }
102
+ const entries = Object.entries(exportsField);
103
+ const hasSubpathKeys = entries.some(([key]) => key.startsWith('.'));
104
+ if (hasSubpathKeys) {
105
+ for (const [key, value] of entries) {
106
+ if (key.startsWith('.') && exportShapeHasStringTarget(value)) {
107
+ subpaths.add(key);
108
+ }
109
+ }
110
+ return subpaths;
111
+ }
112
+ if (exportShapeHasStringTarget(exportsField)) {
113
+ subpaths.add('.');
114
+ }
115
+ return subpaths;
116
+ }
117
+ function createModuleResolutionHost(preparedProgram) {
118
+ const baseHost = preparedProgram.preparedHost.host;
119
+ return {
120
+ directoryExists: baseHost.directoryExists?.bind(baseHost),
121
+ fileExists: baseHost.fileExists.bind(baseHost),
122
+ getCurrentDirectory: baseHost.getCurrentDirectory?.bind(baseHost) ??
123
+ (() => ts.sys.getCurrentDirectory()),
124
+ getDirectories: baseHost.getDirectories?.bind(baseHost),
125
+ readFile: baseHost.readFile.bind(baseHost),
126
+ realpath: baseHost.realpath?.bind(baseHost),
127
+ useCaseSensitiveFileNames: () => ts.sys.useCaseSensitiveFileNames,
128
+ };
129
+ }
130
+ function sanitizeSpecifierForIdentifier(specifier) {
131
+ return specifier.replace(/[^A-Za-z0-9_$]+/gu, '_').replace(/^_+/u, '');
132
+ }
133
+ function fnv1a(text, seed = 0x811c9dc5) {
134
+ let hash = seed >>> 0;
135
+ for (let index = 0; index < text.length; index += 1) {
136
+ hash ^= text.charCodeAt(index);
137
+ hash = Math.imul(hash, 0x01000193) >>> 0;
138
+ }
139
+ return hash >>> 0;
140
+ }
141
+ function createLocalName(kind, specifier, exportName) {
142
+ const hint = exportName ?? (sanitizeSpecifierForIdentifier(specifier) || 'runtime');
143
+ return `__sts_runtime_${kind}_${hint}_${fnv1a(`${kind}\u0000${specifier}\u0000${exportName ?? ''}`)
144
+ .toString(16)}`;
145
+ }
146
+ function toRelativeModuleSpecifier(fromFileName, toFileName) {
147
+ const raw = relative(dirname(fromFileName), toFileName).replaceAll('\\', '/');
148
+ return raw.startsWith('.') ? raw : `./${raw}`;
149
+ }
150
+ function resolveRelativeRuntimeFile(containingFileName, specifier, host) {
151
+ const basePath = normalize(join(dirname(containingFileName), specifier));
152
+ const candidates = [
153
+ basePath,
154
+ `${basePath}.ts`,
155
+ `${basePath}.tsx`,
156
+ `${basePath}.sts`,
157
+ `${basePath}.js`,
158
+ `${basePath}.mjs`,
159
+ `${basePath}.cjs`,
160
+ join(basePath, 'index.ts'),
161
+ join(basePath, 'index.tsx'),
162
+ join(basePath, 'index.sts'),
163
+ join(basePath, 'index.js'),
164
+ ];
165
+ for (const candidate of candidates) {
166
+ if (host.fileExists(candidate)) {
167
+ return normalize(candidate);
168
+ }
169
+ }
170
+ return null;
171
+ }
172
+ function publicSpecifierForPackageSubpath(packageName, subpath) {
173
+ return subpath === '.' ? packageName : `${packageName}/${subpath.replace(/^\.\/?/u, '')}`;
174
+ }
175
+ export function createMacroRuntimeImportResolver(preparedProgram, sourceFileName, macroModuleFileName) {
176
+ const resolutionHost = createModuleResolutionHost(preparedProgram);
177
+ return {
178
+ resolve(request) {
179
+ if (!request.specifier.startsWith('.')) {
180
+ if (isBuiltinRuntimeModuleSpecifier(request.specifier)) {
181
+ const specifier = builtinRuntimeImportSpecifier(request.specifier) ?? request.specifier;
182
+ return {
183
+ exportName: request.exportName,
184
+ kind: request.kind,
185
+ localName: createLocalName(request.kind, specifier, request.exportName),
186
+ specifier,
187
+ };
188
+ }
189
+ throw new Error(`Runtime macro imports must stay within the defining package. Re-export "${request.specifier}" through the macro package and import that local subpath instead.`);
190
+ }
191
+ const resolvedModule = ts.resolveModuleName(request.specifier, macroModuleFileName, preparedProgram.options, resolutionHost, preparedProgram.preparedHost.reuseState.moduleResolutionCache).resolvedModule;
192
+ const runtimeFileName = resolvedModule?.resolvedFileName
193
+ ? normalize(resolvedModule.resolvedFileName)
194
+ : resolveRelativeRuntimeFile(macroModuleFileName, request.specifier, resolutionHost);
195
+ if (!runtimeFileName) {
196
+ throw new Error(`Could not resolve runtime import "${request.specifier}" from macro module "${macroModuleFileName}".`);
197
+ }
198
+ const macroPackage = readPackageRuntimeMetadata(macroModuleFileName, resolutionHost);
199
+ const runtimePackage = readPackageRuntimeMetadata(runtimeFileName, resolutionHost);
200
+ if (macroPackage &&
201
+ runtimePackage &&
202
+ normalizePath(macroPackage.packageJsonPath) !==
203
+ normalizePath(runtimePackage.packageJsonPath)) {
204
+ throw new Error(`Runtime macro imports must stay within the defining package. "${request.specifier}" resolves outside the macro package.`);
205
+ }
206
+ let specifier = toRelativeModuleSpecifier(sourceFileName, runtimeFileName);
207
+ if (macroPackage?.name && macroPackage.soundscriptExports.size > 0) {
208
+ let publishedSubpath = null;
209
+ for (const [subpath, targetFileName] of macroPackage.soundscriptExports.entries()) {
210
+ if (normalizePath(targetFileName) !== normalizePath(runtimeFileName)) {
211
+ continue;
212
+ }
213
+ publishedSubpath = subpath;
214
+ break;
215
+ }
216
+ if (!publishedSubpath) {
217
+ throw new Error(`Runtime macro import "${request.specifier}" must resolve to a subpath published in package.json#soundscript.exports for package "${macroPackage.name}".`);
218
+ }
219
+ if (!macroPackage.ordinaryExports.has(publishedSubpath)) {
220
+ throw new Error(`Runtime macro import "${request.specifier}" resolves to "${publicSpecifierForPackageSubpath(macroPackage.name, publishedSubpath)}", but that subpath is not published through package.json#exports.`);
221
+ }
222
+ specifier = publicSpecifierForPackageSubpath(macroPackage.name, publishedSubpath);
223
+ }
224
+ return {
225
+ exportName: request.exportName,
226
+ kind: request.kind,
227
+ localName: createLocalName(request.kind, specifier, request.exportName),
228
+ specifier,
229
+ };
230
+ },
231
+ };
232
+ }