@soundscript/soundscript 0.1.12 → 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.
- package/package.json +15 -6
- package/project-transform/index.js +2 -0
- package/project-transform/index.ts +8 -0
- package/project-transform/src/annotation_syntax.js +948 -0
- package/project-transform/src/annotation_syntax.ts +1217 -0
- package/project-transform/src/build_package.js +475 -0
- package/project-transform/src/build_package.ts +683 -0
- package/project-transform/src/bundled/portable-web-globals.d.ts +153 -0
- package/project-transform/src/bundled/runtime_externs.js +220 -0
- package/project-transform/src/bundled/runtime_externs.ts +237 -0
- package/project-transform/src/bundled/sound-libs/lib.decorators.d.ts +385 -0
- package/project-transform/src/bundled/sound-libs/lib.decorators.legacy.d.ts +22 -0
- package/project-transform/src/bundled/sound-libs/lib.dom.asynciterable.d.ts +42 -0
- package/project-transform/src/bundled/sound-libs/lib.dom.d.ts +39440 -0
- package/project-transform/src/bundled/sound-libs/lib.es2015.collection.d.ts +149 -0
- package/project-transform/src/bundled/sound-libs/lib.es2015.core.d.ts +657 -0
- package/project-transform/src/bundled/sound-libs/lib.es2015.d.ts +28 -0
- package/project-transform/src/bundled/sound-libs/lib.es2015.generator.d.ts +77 -0
- package/project-transform/src/bundled/sound-libs/lib.es2015.iterable.d.ts +616 -0
- package/project-transform/src/bundled/sound-libs/lib.es2015.promise.d.ts +80 -0
- package/project-transform/src/bundled/sound-libs/lib.es2015.proxy.d.ts +128 -0
- package/project-transform/src/bundled/sound-libs/lib.es2015.reflect.d.ts +144 -0
- package/project-transform/src/bundled/sound-libs/lib.es2015.symbol.d.ts +46 -0
- package/project-transform/src/bundled/sound-libs/lib.es2015.symbol.wellknown.d.ts +170 -0
- package/project-transform/src/bundled/sound-libs/lib.es2016.array.include.d.ts +116 -0
- package/project-transform/src/bundled/sound-libs/lib.es2016.d.ts +21 -0
- package/project-transform/src/bundled/sound-libs/lib.es2017.arraybuffer.d.ts +21 -0
- package/project-transform/src/bundled/sound-libs/lib.es2017.d.ts +26 -0
- package/project-transform/src/bundled/sound-libs/lib.es2017.date.d.ts +31 -0
- package/project-transform/src/bundled/sound-libs/lib.es2017.object.d.ts +49 -0
- package/project-transform/src/bundled/sound-libs/lib.es2017.string.d.ts +45 -0
- package/project-transform/src/bundled/sound-libs/lib.es2017.typedarrays.d.ts +53 -0
- package/project-transform/src/bundled/sound-libs/lib.es2018.asyncgenerator.d.ts +77 -0
- package/project-transform/src/bundled/sound-libs/lib.es2018.asynciterable.d.ts +57 -0
- package/project-transform/src/bundled/sound-libs/lib.es2018.d.ts +24 -0
- package/project-transform/src/bundled/sound-libs/lib.es2018.promise.d.ts +30 -0
- package/project-transform/src/bundled/sound-libs/lib.es2018.regexp.d.ts +37 -0
- package/project-transform/src/bundled/sound-libs/lib.es2019.array.d.ts +79 -0
- package/project-transform/src/bundled/sound-libs/lib.es2019.d.ts +24 -0
- package/project-transform/src/bundled/sound-libs/lib.es2019.object.d.ts +47 -0
- package/project-transform/src/bundled/sound-libs/lib.es2019.string.d.ts +37 -0
- package/project-transform/src/bundled/sound-libs/lib.es2019.symbol.d.ts +24 -0
- package/project-transform/src/bundled/sound-libs/lib.es2020.bigint.d.ts +765 -0
- package/project-transform/src/bundled/sound-libs/lib.es2020.d.ts +27 -0
- package/project-transform/src/bundled/sound-libs/lib.es2020.date.d.ts +42 -0
- package/project-transform/src/bundled/sound-libs/lib.es2020.number.d.ts +28 -0
- package/project-transform/src/bundled/sound-libs/lib.es2020.promise.d.ts +49 -0
- package/project-transform/src/bundled/sound-libs/lib.es2020.string.d.ts +44 -0
- package/project-transform/src/bundled/sound-libs/lib.es2020.symbol.wellknown.d.ts +41 -0
- package/project-transform/src/bundled/sound-libs/lib.es2021.d.ts +23 -0
- package/project-transform/src/bundled/sound-libs/lib.es2021.promise.d.ts +48 -0
- package/project-transform/src/bundled/sound-libs/lib.es2021.string.d.ts +33 -0
- package/project-transform/src/bundled/sound-libs/lib.es2021.weakref.d.ts +78 -0
- package/project-transform/src/bundled/sound-libs/lib.es2022.array.d.ts +121 -0
- package/project-transform/src/bundled/sound-libs/lib.es2022.d.ts +25 -0
- package/project-transform/src/bundled/sound-libs/lib.es2022.error.d.ts +75 -0
- package/project-transform/src/bundled/sound-libs/lib.es2022.object.d.ts +26 -0
- package/project-transform/src/bundled/sound-libs/lib.es2022.regexp.d.ts +39 -0
- package/project-transform/src/bundled/sound-libs/lib.es2022.string.d.ts +25 -0
- package/project-transform/src/bundled/sound-libs/lib.es2023.array.d.ts +924 -0
- package/project-transform/src/bundled/sound-libs/lib.es2023.collection.d.ts +21 -0
- package/project-transform/src/bundled/sound-libs/lib.es2023.d.ts +22 -0
- package/project-transform/src/bundled/sound-libs/lib.es2024.arraybuffer.d.ts +65 -0
- package/project-transform/src/bundled/sound-libs/lib.es2024.collection.d.ts +29 -0
- package/project-transform/src/bundled/sound-libs/lib.es2024.d.ts +26 -0
- package/project-transform/src/bundled/sound-libs/lib.es2024.object.d.ts +33 -0
- package/project-transform/src/bundled/sound-libs/lib.es2024.promise.d.ts +35 -0
- package/project-transform/src/bundled/sound-libs/lib.es2024.regexp.d.ts +25 -0
- package/project-transform/src/bundled/sound-libs/lib.es2024.string.d.ts +29 -0
- package/project-transform/src/bundled/sound-libs/lib.es5.d.ts +4924 -0
- package/project-transform/src/bundled/sound_stdlib.js +142 -0
- package/project-transform/src/bundled/sound_stdlib.ts +180 -0
- package/project-transform/src/checker/analyze_project.js +1361 -0
- package/project-transform/src/checker/analyze_project.ts +2246 -0
- package/project-transform/src/checker/diagnostics.js +112 -0
- package/project-transform/src/checker/diagnostics.ts +222 -0
- package/project-transform/src/checker/engine/context.js +235 -0
- package/project-transform/src/checker/engine/context.ts +340 -0
- package/project-transform/src/checker/engine/diagnostic_codes.js +72 -0
- package/project-transform/src/checker/engine/diagnostic_codes.ts +95 -0
- package/project-transform/src/checker/engine/facts.js +35 -0
- package/project-transform/src/checker/engine/facts.ts +48 -0
- package/project-transform/src/checker/engine/types.js +1 -0
- package/project-transform/src/checker/engine/types.ts +485 -0
- package/project-transform/src/checker/proof_escape_hatch_diagnostics.js +104 -0
- package/project-transform/src/checker/proof_escape_hatch_diagnostics.ts +173 -0
- package/project-transform/src/checker/rules/async_surface.js +231 -0
- package/project-transform/src/checker/rules/async_surface.ts +335 -0
- package/project-transform/src/checker/rules/class_lifecycle.js +798 -0
- package/project-transform/src/checker/rules/class_lifecycle.ts +1276 -0
- package/project-transform/src/checker/rules/directive_validation.js +571 -0
- package/project-transform/src/checker/rules/directive_validation.ts +938 -0
- package/project-transform/src/checker/rules/directives.js +23 -0
- package/project-transform/src/checker/rules/directives.ts +25 -0
- package/project-transform/src/checker/rules/flow.js +202 -0
- package/project-transform/src/checker/rules/flow.ts +333 -0
- package/project-transform/src/checker/rules/flow_facts.js +601 -0
- package/project-transform/src/checker/rules/flow_facts.ts +978 -0
- package/project-transform/src/checker/rules/flow_invalidation.js +1119 -0
- package/project-transform/src/checker/rules/flow_invalidation.ts +2150 -0
- package/project-transform/src/checker/rules/flow_shared.js +2822 -0
- package/project-transform/src/checker/rules/flow_shared.ts +4383 -0
- package/project-transform/src/checker/rules/foreign_boundary.js +120 -0
- package/project-transform/src/checker/rules/foreign_boundary.ts +196 -0
- package/project-transform/src/checker/rules/foreign_projection.js +279 -0
- package/project-transform/src/checker/rules/foreign_projection.ts +425 -0
- package/project-transform/src/checker/rules/generated_helpers.js +13 -0
- package/project-transform/src/checker/rules/generated_helpers.ts +18 -0
- package/project-transform/src/checker/rules/index.js +35 -0
- package/project-transform/src/checker/rules/index.ts +49 -0
- package/project-transform/src/checker/rules/namespace_object.js +845 -0
- package/project-transform/src/checker/rules/namespace_object.ts +1224 -0
- package/project-transform/src/checker/rules/non_ordinary_recovery.js +1328 -0
- package/project-transform/src/checker/rules/non_ordinary_recovery.ts +2391 -0
- package/project-transform/src/checker/rules/null_prototype.js +3 -0
- package/project-transform/src/checker/rules/null_prototype.ts +6 -0
- package/project-transform/src/checker/rules/overloads.js +181 -0
- package/project-transform/src/checker/rules/overloads.ts +317 -0
- package/project-transform/src/checker/rules/predicate_verification.js +691 -0
- package/project-transform/src/checker/rules/predicate_verification.ts +1088 -0
- package/project-transform/src/checker/rules/prototype_hardening.js +237 -0
- package/project-transform/src/checker/rules/prototype_hardening.ts +343 -0
- package/project-transform/src/checker/rules/receiver_discipline.js +263 -0
- package/project-transform/src/checker/rules/receiver_discipline.ts +356 -0
- package/project-transform/src/checker/rules/relations.js +6861 -0
- package/project-transform/src/checker/rules/relations.ts +12158 -0
- package/project-transform/src/checker/rules/resolved_builtins.js +274 -0
- package/project-transform/src/checker/rules/resolved_builtins.ts +438 -0
- package/project-transform/src/checker/rules/trust.js +217 -0
- package/project-transform/src/checker/rules/trust.ts +301 -0
- package/project-transform/src/checker/rules/type_guards.js +173 -0
- package/project-transform/src/checker/rules/type_guards.ts +257 -0
- package/project-transform/src/checker/rules/universal.js +17 -0
- package/project-transform/src/checker/rules/universal.ts +22 -0
- package/project-transform/src/checker/rules/unsafe_value_origin.js +80 -0
- package/project-transform/src/checker/rules/unsafe_value_origin.ts +125 -0
- package/project-transform/src/checker/rules/unsound_imports.js +218 -0
- package/project-transform/src/checker/rules/unsound_imports.ts +301 -0
- package/project-transform/src/checker/rules/unsound_syntax.js +1695 -0
- package/project-transform/src/checker/rules/unsound_syntax.ts +2540 -0
- package/project-transform/src/checker/rules/value_types.js +206 -0
- package/project-transform/src/checker/rules/value_types.ts +407 -0
- package/project-transform/src/checker/timing.js +43 -0
- package/project-transform/src/checker/timing.ts +78 -0
- package/project-transform/src/checker/unsupported_feature_messages.js +337 -0
- package/project-transform/src/checker/unsupported_feature_messages.ts +531 -0
- package/project-transform/src/cli.js +892 -0
- package/project-transform/src/cli.ts +1476 -0
- package/project-transform/src/compiler/compile_project.js +319 -0
- package/project-transform/src/compiler/compile_project.ts +508 -0
- package/project-transform/src/compiler/errors.js +10 -0
- package/project-transform/src/compiler/errors.ts +29 -0
- package/project-transform/src/compiler/ir.js +1 -0
- package/project-transform/src/compiler/ir.ts +1526 -0
- package/project-transform/src/compiler/lower.js +30550 -0
- package/project-transform/src/compiler/lower.ts +43645 -0
- package/project-transform/src/compiler/lower_arrays.js +140 -0
- package/project-transform/src/compiler/lower_arrays.ts +190 -0
- package/project-transform/src/compiler/lower_strings.js +121 -0
- package/project-transform/src/compiler/lower_strings.ts +198 -0
- package/project-transform/src/compiler/lower_tagged.js +329 -0
- package/project-transform/src/compiler/lower_tagged.ts +427 -0
- package/project-transform/src/compiler/lower_views.js +171 -0
- package/project-transform/src/compiler/lower_views.ts +251 -0
- package/project-transform/src/compiler/object_keys.js +25 -0
- package/project-transform/src/compiler/object_keys.ts +35 -0
- package/project-transform/src/compiler/runtime_ir.js +30 -0
- package/project-transform/src/compiler/runtime_ir.ts +727 -0
- package/project-transform/src/compiler/tagged_boundary.js +18 -0
- package/project-transform/src/compiler/tagged_boundary.ts +37 -0
- package/project-transform/src/compiler/toolchain.js +170 -0
- package/project-transform/src/compiler/toolchain.ts +229 -0
- package/project-transform/src/compiler/unicode_case_data.js +2102 -0
- package/project-transform/src/compiler/unicode_case_data.ts +2112 -0
- package/project-transform/src/compiler/wasm_js_host_runtime.js +656 -0
- package/project-transform/src/compiler/wasm_js_host_runtime.ts +762 -0
- package/project-transform/src/compiler/wat_arrays.js +3132 -0
- package/project-transform/src/compiler/wat_arrays.ts +3768 -0
- package/project-transform/src/compiler/wat_emitter.js +17952 -0
- package/project-transform/src/compiler/wat_emitter.ts +22812 -0
- package/project-transform/src/compiler/wat_strings.js +129 -0
- package/project-transform/src/compiler/wat_strings.ts +187 -0
- package/project-transform/src/compiler/wat_tagged.js +548 -0
- package/project-transform/src/compiler/wat_tagged.ts +674 -0
- package/project-transform/src/compiler_generator_runner.js +153 -0
- package/project-transform/src/compiler_generator_runner.ts +171 -0
- package/project-transform/src/compiler_object_test_helpers.js +69 -0
- package/project-transform/src/compiler_object_test_helpers.ts +96 -0
- package/project-transform/src/compiler_promise_runner.js +2116 -0
- package/project-transform/src/compiler_promise_runner.ts +2184 -0
- package/project-transform/src/compiler_test_helpers.js +854 -0
- package/project-transform/src/compiler_test_helpers.ts +1087 -0
- package/project-transform/src/config.js +568 -0
- package/project-transform/src/config.ts +892 -0
- package/project-transform/src/diagnostic_metadata.js +67 -0
- package/project-transform/src/diagnostic_metadata.ts +99 -0
- package/project-transform/src/diagnostic_reference.js +1368 -0
- package/project-transform/src/diagnostic_reference.ts +1523 -0
- package/project-transform/src/editor_diagnostics_worker.js +176 -0
- package/project-transform/src/editor_diagnostics_worker.ts +250 -0
- package/project-transform/src/editor_projection.js +224 -0
- package/project-transform/src/editor_projection.ts +421 -0
- package/project-transform/src/frontend/builtin_expanded_program_test_cleanup.js +47 -0
- package/project-transform/src/frontend/builtin_expanded_program_test_cleanup.ts +72 -0
- package/project-transform/src/frontend/builtin_macro_support.js +842 -0
- package/project-transform/src/frontend/builtin_macro_support.ts +1386 -0
- package/project-transform/src/frontend/builtin_macros.js +409 -0
- package/project-transform/src/frontend/builtin_macros.ts +542 -0
- package/project-transform/src/frontend/component_poc_runtime.js +279 -0
- package/project-transform/src/frontend/component_poc_runtime.ts +372 -0
- package/project-transform/src/frontend/css_macro.js +148 -0
- package/project-transform/src/frontend/css_macro.ts +222 -0
- package/project-transform/src/frontend/derive_macros.js +2072 -0
- package/project-transform/src/frontend/derive_macros.ts +3188 -0
- package/project-transform/src/frontend/embedded_fragment_support.js +106 -0
- package/project-transform/src/frontend/embedded_fragment_support.ts +172 -0
- package/project-transform/src/frontend/error_normalization.js +403 -0
- package/project-transform/src/frontend/error_normalization.ts +832 -0
- package/project-transform/src/frontend/error_stdlib_support.js +1 -0
- package/project-transform/src/frontend/error_stdlib_support.ts +6 -0
- package/project-transform/src/frontend/expand_project.js +169 -0
- package/project-transform/src/frontend/expand_project.ts +248 -0
- package/project-transform/src/frontend/format_soundscript.js +297 -0
- package/project-transform/src/frontend/format_soundscript.ts +582 -0
- package/project-transform/src/frontend/graphql_macro.js +174 -0
- package/project-transform/src/frontend/graphql_macro.ts +253 -0
- package/project-transform/src/frontend/hash_context.js +83 -0
- package/project-transform/src/frontend/hash_context.ts +113 -0
- package/project-transform/src/frontend/hkt_macro.js +448 -0
- package/project-transform/src/frontend/hkt_macro.ts +897 -0
- package/project-transform/src/frontend/import_binding_usage.js +190 -0
- package/project-transform/src/frontend/import_binding_usage.ts +277 -0
- package/project-transform/src/frontend/macro_advanced_backend_adapter.js +58 -0
- package/project-transform/src/frontend/macro_advanced_backend_adapter.ts +123 -0
- package/project-transform/src/frontend/macro_advanced_context.js +826 -0
- package/project-transform/src/frontend/macro_advanced_context.ts +1102 -0
- package/project-transform/src/frontend/macro_advanced_output.js +21 -0
- package/project-transform/src/frontend/macro_advanced_output.ts +41 -0
- package/project-transform/src/frontend/macro_api.js +353 -0
- package/project-transform/src/frontend/macro_api.ts +1722 -0
- package/project-transform/src/frontend/macro_api_internal.js +35 -0
- package/project-transform/src/frontend/macro_api_internal.ts +80 -0
- package/project-transform/src/frontend/macro_api_module_support.js +39 -0
- package/project-transform/src/frontend/macro_api_module_support.ts +65 -0
- package/project-transform/src/frontend/macro_backend_adapter.js +272 -0
- package/project-transform/src/frontend/macro_backend_adapter.ts +420 -0
- package/project-transform/src/frontend/macro_context.js +816 -0
- package/project-transform/src/frontend/macro_context.ts +1105 -0
- package/project-transform/src/frontend/macro_debug.js +99 -0
- package/project-transform/src/frontend/macro_debug.ts +157 -0
- package/project-transform/src/frontend/macro_definition_support.js +28 -0
- package/project-transform/src/frontend/macro_definition_support.ts +73 -0
- package/project-transform/src/frontend/macro_errors.js +40 -0
- package/project-transform/src/frontend/macro_errors.ts +70 -0
- package/project-transform/src/frontend/macro_expander.js +919 -0
- package/project-transform/src/frontend/macro_expander.ts +1611 -0
- package/project-transform/src/frontend/macro_factory_support.js +176 -0
- package/project-transform/src/frontend/macro_factory_support.ts +263 -0
- package/project-transform/src/frontend/macro_host_ast_internal.js +64 -0
- package/project-transform/src/frontend/macro_host_ast_internal.ts +109 -0
- package/project-transform/src/frontend/macro_index.js +27 -0
- package/project-transform/src/frontend/macro_index.ts +50 -0
- package/project-transform/src/frontend/macro_loader.js +281 -0
- package/project-transform/src/frontend/macro_loader.ts +506 -0
- package/project-transform/src/frontend/macro_operand_semantics.js +838 -0
- package/project-transform/src/frontend/macro_operand_semantics.ts +1489 -0
- package/project-transform/src/frontend/macro_output.js +54 -0
- package/project-transform/src/frontend/macro_output.ts +123 -0
- package/project-transform/src/frontend/macro_parser.js +611 -0
- package/project-transform/src/frontend/macro_parser.ts +832 -0
- package/project-transform/src/frontend/macro_resolver.js +69 -0
- package/project-transform/src/frontend/macro_resolver.ts +125 -0
- package/project-transform/src/frontend/macro_rewrite.js +285 -0
- package/project-transform/src/frontend/macro_rewrite.ts +442 -0
- package/project-transform/src/frontend/macro_runtime_support.js +232 -0
- package/project-transform/src/frontend/macro_runtime_support.ts +324 -0
- package/project-transform/src/frontend/macro_scanner.js +393 -0
- package/project-transform/src/frontend/macro_scanner.ts +455 -0
- package/project-transform/src/frontend/macro_semantic_backend_adapter.js +87 -0
- package/project-transform/src/frontend/macro_semantic_backend_adapter.ts +166 -0
- package/project-transform/src/frontend/macro_semantic_context.js +5 -0
- package/project-transform/src/frontend/macro_semantic_context.ts +12 -0
- package/project-transform/src/frontend/macro_semantic_output.js +24 -0
- package/project-transform/src/frontend/macro_semantic_output.ts +47 -0
- package/project-transform/src/frontend/macro_semantic_types.js +1 -0
- package/project-transform/src/frontend/macro_semantic_types.ts +98 -0
- package/project-transform/src/frontend/macro_semantics.js +1172 -0
- package/project-transform/src/frontend/macro_semantics.ts +1502 -0
- package/project-transform/src/frontend/macro_site_kind_support.js +164 -0
- package/project-transform/src/frontend/macro_site_kind_support.ts +255 -0
- package/project-transform/src/frontend/macro_syntax_internal.js +1950 -0
- package/project-transform/src/frontend/macro_syntax_internal.ts +3338 -0
- package/project-transform/src/frontend/macro_templates.js +57 -0
- package/project-transform/src/frontend/macro_templates.ts +143 -0
- package/project-transform/src/frontend/macro_test_helpers.js +82 -0
- package/project-transform/src/frontend/macro_test_helpers.ts +136 -0
- package/project-transform/src/frontend/macro_types.js +1 -0
- package/project-transform/src/frontend/macro_types.ts +103 -0
- package/project-transform/src/frontend/macro_vm.js +39 -0
- package/project-transform/src/frontend/macro_vm.ts +113 -0
- package/project-transform/src/frontend/match_macro.js +885 -0
- package/project-transform/src/frontend/match_macro.ts +1220 -0
- package/project-transform/src/frontend/numeric_normalization.js +824 -0
- package/project-transform/src/frontend/numeric_normalization.ts +1380 -0
- package/project-transform/src/frontend/numeric_prelude.js +278 -0
- package/project-transform/src/frontend/numeric_prelude.ts +370 -0
- package/project-transform/src/frontend/project_frontend.js +2396 -0
- package/project-transform/src/frontend/project_frontend.ts +3776 -0
- package/project-transform/src/frontend/project_macro_support.js +1401 -0
- package/project-transform/src/frontend/project_macro_support.ts +2137 -0
- package/project-transform/src/frontend/sql_macro.js +175 -0
- package/project-transform/src/frontend/sql_macro.ts +254 -0
- package/project-transform/src/frontend/sql_stdlib_support.js +1 -0
- package/project-transform/src/frontend/sql_stdlib_support.ts +6 -0
- package/project-transform/src/frontend/std_package_support.js +228 -0
- package/project-transform/src/frontend/std_package_support.ts +400 -0
- package/project-transform/src/frontend/value_normalization.js +306 -0
- package/project-transform/src/frontend/value_normalization.ts +599 -0
- package/project-transform/src/lsp/project_service.js +4771 -0
- package/project-transform/src/lsp/project_service.ts +7580 -0
- package/project-transform/src/lsp/protocol.js +9 -0
- package/project-transform/src/lsp/protocol.ts +38 -0
- package/project-transform/src/lsp/server.js +355 -0
- package/project-transform/src/lsp/server.ts +671 -0
- package/project-transform/src/lsp/session.js +49 -0
- package/project-transform/src/lsp/session.ts +48 -0
- package/project-transform/src/lsp/timing.js +43 -0
- package/project-transform/src/lsp/timing.ts +76 -0
- package/project-transform/src/lsp/transport.js +205 -0
- package/project-transform/src/lsp/transport.ts +253 -0
- package/project-transform/src/lsp_main.js +5 -0
- package/project-transform/src/lsp_main.ts +7 -0
- package/project-transform/src/macros.d.ts +1 -0
- package/project-transform/src/macros.js +1 -0
- package/project-transform/src/macros.ts +1 -0
- package/project-transform/src/main.js +24 -0
- package/project-transform/src/main.ts +28 -0
- package/project-transform/src/platform/host.js +264 -0
- package/project-transform/src/platform/host.ts +343 -0
- package/project-transform/src/platform/path.js +8 -0
- package/project-transform/src/platform/path.ts +20 -0
- package/project-transform/src/public_macro_api/macro_api.d.ts +1054 -0
- package/project-transform/src/public_macro_api/macro_semantic_types.d.ts +66 -0
- package/project-transform/src/public_macro_api/macro_types.d.ts +70 -0
- package/project-transform/src/run_program.js +14 -0
- package/project-transform/src/run_program.ts +33 -0
- package/project-transform/src/runtime/materialize.js +371 -0
- package/project-transform/src/runtime/materialize.ts +502 -0
- package/project-transform/src/runtime/on_demand.js +203 -0
- package/project-transform/src/runtime/on_demand.ts +305 -0
- package/project-transform/src/runtime/source_maps.js +205 -0
- package/project-transform/src/runtime/source_maps.ts +297 -0
- package/project-transform/src/runtime/transform.js +148 -0
- package/project-transform/src/runtime/transform.ts +295 -0
- package/project-transform/src/service/types.js +1 -0
- package/project-transform/src/service/types.ts +22 -0
- package/project-transform/src/soundscript_packages.js +477 -0
- package/project-transform/src/soundscript_packages.ts +754 -0
- package/project-transform/src/soundscript_runtime_specifiers.js +88 -0
- package/project-transform/src/soundscript_runtime_specifiers.ts +96 -0
- package/project-transform/src/stdlib/async.d.ts +81 -0
- package/project-transform/src/stdlib/async.js +213 -0
- package/project-transform/src/stdlib/async.ts +315 -0
- package/project-transform/src/stdlib/codec.d.ts +32 -0
- package/project-transform/src/stdlib/codec.js +30 -0
- package/project-transform/src/stdlib/codec.ts +76 -0
- package/project-transform/src/stdlib/compare.d.ts +28 -0
- package/project-transform/src/stdlib/compare.js +115 -0
- package/project-transform/src/stdlib/compare.ts +151 -0
- package/project-transform/src/stdlib/css.d.ts +16 -0
- package/project-transform/src/stdlib/css.js +9 -0
- package/project-transform/src/stdlib/css.ts +28 -0
- package/project-transform/src/stdlib/debug.d.ts +2 -0
- package/project-transform/src/stdlib/debug.js +9 -0
- package/project-transform/src/stdlib/debug.ts +10 -0
- package/project-transform/src/stdlib/decode.d.ts +86 -0
- package/project-transform/src/stdlib/decode.js +254 -0
- package/project-transform/src/stdlib/decode.ts +390 -0
- package/project-transform/src/stdlib/derive.d.ts +6 -0
- package/project-transform/src/stdlib/derive.js +7 -0
- package/project-transform/src/stdlib/derive.ts +7 -0
- package/project-transform/src/stdlib/encode.d.ts +100 -0
- package/project-transform/src/stdlib/encode.js +130 -0
- package/project-transform/src/stdlib/encode.ts +259 -0
- package/project-transform/src/stdlib/failures.d.ts +23 -0
- package/project-transform/src/stdlib/failures.js +41 -0
- package/project-transform/src/stdlib/failures.ts +64 -0
- package/project-transform/src/stdlib/fetch.d.ts +67 -0
- package/project-transform/src/stdlib/fetch.js +5 -0
- package/project-transform/src/stdlib/fetch.ts +11 -0
- package/project-transform/src/stdlib/graphql.d.ts +16 -0
- package/project-transform/src/stdlib/graphql.js +9 -0
- package/project-transform/src/stdlib/graphql.ts +28 -0
- package/project-transform/src/stdlib/hash.d.ts +34 -0
- package/project-transform/src/stdlib/hash.js +110 -0
- package/project-transform/src/stdlib/hash.ts +188 -0
- package/project-transform/src/stdlib/hkt.d.ts +40 -0
- package/project-transform/src/stdlib/hkt.js +3 -0
- package/project-transform/src/stdlib/hkt.ts +41 -0
- package/project-transform/src/stdlib/index.d.ts +9 -0
- package/project-transform/src/stdlib/index.js +15 -0
- package/project-transform/src/stdlib/index.ts +23 -0
- package/project-transform/src/stdlib/json.d.ts +125 -0
- package/project-transform/src/stdlib/json.js +764 -0
- package/project-transform/src/stdlib/json.ts +1034 -0
- package/project-transform/src/stdlib/match.d.ts +11 -0
- package/project-transform/src/stdlib/match.js +13 -0
- package/project-transform/src/stdlib/match.ts +26 -0
- package/project-transform/src/stdlib/numerics.d.ts +523 -0
- package/project-transform/src/stdlib/numerics.js +1356 -0
- package/project-transform/src/stdlib/numerics.ts +1937 -0
- package/project-transform/src/stdlib/random.d.ts +19 -0
- package/project-transform/src/stdlib/random.js +3 -0
- package/project-transform/src/stdlib/random.ts +5 -0
- package/project-transform/src/stdlib/result.d.ts +68 -0
- package/project-transform/src/stdlib/result.js +139 -0
- package/project-transform/src/stdlib/result.ts +248 -0
- package/project-transform/src/stdlib/sql.d.ts +22 -0
- package/project-transform/src/stdlib/sql.js +23 -0
- package/project-transform/src/stdlib/sql.ts +53 -0
- package/project-transform/src/stdlib/text.d.ts +24 -0
- package/project-transform/src/stdlib/text.js +3 -0
- package/project-transform/src/stdlib/text.ts +4 -0
- package/project-transform/src/stdlib/thunk.d.ts +2 -0
- package/project-transform/src/stdlib/thunk.js +9 -0
- package/project-transform/src/stdlib/thunk.ts +15 -0
- package/project-transform/src/stdlib/typeclasses.d.ts +57 -0
- package/project-transform/src/stdlib/typeclasses.js +78 -0
- package/project-transform/src/stdlib/typeclasses.ts +173 -0
- package/project-transform/src/stdlib/url.d.ts +37 -0
- package/project-transform/src/stdlib/url.js +3 -0
- package/project-transform/src/stdlib/url.ts +4 -0
- package/project-transform/src/stdlib/value.d.ts +9 -0
- package/project-transform/src/stdlib/value.js +104 -0
- package/project-transform/src/stdlib/value.ts +133 -0
- package/project-transform/src/test_installed_stdlib.js +147 -0
- package/project-transform/src/test_installed_stdlib.ts +245 -0
- package/project-transform/src/test_macro_package_fixture.js +50 -0
- package/project-transform/src/test_macro_package_fixture.ts +68 -0
- package/project-transform/src/value_deep_safe.js +191 -0
- 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
|
+
}
|