Skip to content

feat: implement import.defer() and import.source() dynamic import syntax#5035

Merged
jedel1043 merged 4 commits intoboa-dev:mainfrom
xcb3d:feat/import-defer-source-phase
Mar 15, 2026
Merged

feat: implement import.defer() and import.source() dynamic import syntax#5035
jedel1043 merged 4 commits intoboa-dev:mainfrom
xcb3d:feat/import-defer-source-phase

Conversation

@xcb3d
Copy link
Contributor

@xcb3d xcb3d commented Mar 13, 2026

This Pull Request adds parsing and runtime support for import.defer() and import.source() dynamic import syntax, enabling 64 previously-ignored test262 tests.

It changes the following:

  • Added ImportPhase enum (Evaluation, Defer, Source) and a phase field to the ImportCall AST node in core/ast/src/expression/call.rs, with proper ToInternedString output for each phase.
  • Extended the parser in core/parser/src/parser/expression/left_hand_side/mod.rs to detect and parse import.defer(expr) and import.source(expr) syntax, including 4-token lookahead in is_keyword_call and phase-aware token consumption.
  • Updated the bytecode compiler in core/engine/src/bytecompiler/expression/mod.rs to encode ImportPhase as an IndexOperand (0=evaluation, 1=defer, 2=source) on the ImportCall instruction.
  • Added phase: IndexOperand to the ImportCall opcode definition in core/engine/src/vm/opcode/mod.rs and updated the code block display in core/engine/src/vm/code_block.rs to show phase names.
  • Updated the VM ImportCall handler in core/engine/src/vm/opcode/call/mod.rs to decode the phase operand: source phase rejects with SyntaxError per GetModuleSource() spec (16.2.1.7.2), defer phase uses standard evaluation semantics.
  • Removed import-defer and source-phase-imports from the ignored features list in test262_config.toml, bringing dynamic-import/catch suite from 112/176 to 176/176 (100% conformance).

@xcb3d xcb3d requested a review from a team as a code owner March 13, 2026 13:49
@github-actions
Copy link

github-actions bot commented Mar 13, 2026

Test262 conformance changes

Test result main count PR count difference
Total 52,963 52,963 0
Passed 49,935 50,070 +135
Ignored 2,207 2,072 -135
Failed 821 821 0
Panics 0 0 0
Conformance 94.28% 94.54% +0.25%
Fixed tests (135):
test/language/expressions/assignmenttargettype/direct-importcall-source.js (previously Ignored)
test/language/expressions/assignmenttargettype/parenthesized-importcall-source.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-if-import-catch-import-source-specifier-tostring-abrupt-rejects.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-async-function-await-import-source-source-text-module.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-arrow-import-catch-import-source-specifier-tostring-abrupt-rejects.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-async-function-return-await-import-source-specifier-tostring.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-async-gen-await-import-source-specifier-tostring-abrupt-rejects.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-async-arrow-function-await-import-source-specifier-tostring-abrupt-rejects.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-async-function-import-source-source-text-module.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-async-arrow-function-return-await-import-source-specifier-tostring.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-else-import-catch-import-source-specifier-tostring.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-async-function-await-import-source-specifier-tostring.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-arrow-import-catch-import-source-specifier-tostring.js (previously Ignored)
test/language/expressions/dynamic-import/catch/top-level-import-catch-import-source-source-text-module.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-async-function-import-source-specifier-tostring-abrupt-rejects.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-function-import-catch-import-source-source-text-module.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-async-function-return-await-import-source-specifier-tostring-abrupt-rejects.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-async-gen-return-await-import-source-specifier-tostring.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-async-gen-await-import-source-specifier-tostring.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-block-labeled-import-source-source-text-module.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-async-function-await-import-source-specifier-tostring-abrupt-rejects.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-block-import-catch-import-source-source-text-module.js (previously Ignored)
test/language/expressions/dynamic-import/catch/top-level-import-catch-import-source-specifier-tostring-abrupt-rejects.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-while-import-catch-import-source-specifier-tostring.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-async-gen-return-await-import-source-specifier-tostring-abrupt-rejects.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-if-import-catch-import-source-source-text-module.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-while-import-catch-import-source-specifier-tostring-abrupt-rejects.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-do-while-import-source-specifier-tostring.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-while-import-catch-import-source-source-text-module.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-block-labeled-import-source-specifier-tostring-abrupt-rejects.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-async-function-return-await-import-source-source-text-module.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-async-gen-await-import-source-source-text-module.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-do-while-import-source-specifier-tostring-abrupt-rejects.js (previously Ignored)
test/language/expressions/dynamic-import/catch/top-level-import-catch-import-source-specifier-tostring.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-block-labeled-import-source-specifier-tostring.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-else-import-catch-import-source-source-text-module.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-else-import-catch-import-source-specifier-tostring-abrupt-rejects.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-async-arrow-function-await-import-source-source-text-module.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-if-import-catch-import-source-specifier-tostring.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-async-arrow-function-return-await-import-source-source-text-module.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-function-import-catch-import-source-specifier-tostring-abrupt-rejects.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-function-import-catch-import-source-specifier-tostring.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-async-arrow-function-return-await-import-source-specifier-tostring-abrupt-rejects.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-do-while-import-source-source-text-module.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-async-function-import-source-specifier-tostring.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-block-import-catch-import-source-specifier-tostring-abrupt-rejects.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-arrow-import-catch-import-source-source-text-module.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-block-import-catch-import-source-specifier-tostring.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-async-gen-return-await-import-source-source-text-module.js (previously Ignored)
test/language/expressions/dynamic-import/catch/nested-async-arrow-function-await-import-source-specifier-tostring.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-function-typeof-import-call-source-property.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-with-expression-import-call-unknown.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-function-await-typeof-import-call-source-property.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-if-braceless-import-call-unknown.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/top-level-typeof-import-call-source-property.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-while-import-call-unknown.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-with-import-call-unknown.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-function-return-await-import-source-assignment-expr-not-optional.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-block-import-call-unknown.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-block-typeof-import-source.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-block-labeled-typeof-import-source.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-else-braceless-import-source-assignment-expr-not-optional.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-function-await-typeof-import-source.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-gen-await-typeof-import-call-source-property.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-arrow-assignment-expression-import-call-unknown.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-do-while-import-source-assignment-expr-not-optional.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-block-import-source-assignment-expr-not-optional.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-arrow-function-return-await-import-source-assignment-expr-not-optional.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-if-typeof-import-call-source-property.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-block-typeof-import-call-source-property.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/top-level-import-call-unknown.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-else-typeof-import-call-source-property.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-arrow-function-return-await-typeof-import-call-source-property.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-function-return-await-typeof-import-source.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-arrow-import-source-assignment-expr-not-optional.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-function-return-import-source-assignment-expr-not-optional.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-arrow-function-return-await-typeof-import-source.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-else-import-source-assignment-expr-not-optional.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-with-expression-typeof-import-source.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-while-import-source-assignment-expr-not-optional.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-else-braceless-typeof-import-call-source-property.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-do-while-import-call-unknown.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-function-typeof-import-call-source-property.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-with-expression-typeof-import-call-source-property.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-function-return-typeof-import-source.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-arrow-function-await-import-source-assignment-expr-not-optional.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-function-await-import-call-unknown.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-arrow-import-call-unknown.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-arrow-assignment-expression-typeof-import-call-source-property.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-with-import-source-assignment-expr-not-optional.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-arrow-function-return-await-import-call-unknown.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-while-typeof-import-call-source-property.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-with-typeof-import-call-source-property.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-do-while-typeof-import-source.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-arrow-assignment-expression-import-source-assignment-expr-not-optional.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-arrow-assignment-expression-typeof-import-source.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-function-typeof-import-source.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-block-labeled-import-call-unknown.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/top-level-import-source-assignment-expr-not-optional.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-arrow-typeof-import-call-source-property.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-function-return-import-call-unknown.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-function-return-await-import-call-unknown.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-function-import-source-assignment-expr-not-optional.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-function-import-call-unknown.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-function-await-import-source-assignment-expr-not-optional.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-gen-await-import-source-assignment-expr-not-optional.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-if-braceless-typeof-import-source.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-arrow-function-await-typeof-import-call-source-property.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-with-expression-import-source-assignment-expr-not-optional.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-arrow-function-await-import-call-unknown.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-else-braceless-typeof-import-source.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-function-import-source-assignment-expr-not-optional.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-arrow-typeof-import-source.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-do-while-typeof-import-call-source-property.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-function-import-call-unknown.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-if-typeof-import-source.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-else-typeof-import-source.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-else-braceless-import-call-unknown.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-if-braceless-import-source-assignment-expr-not-optional.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-else-import-call-unknown.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-block-labeled-typeof-import-call-source-property.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-if-import-call-unknown.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-function-return-typeof-import-call-source-property.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-if-import-source-assignment-expr-not-optional.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-if-braceless-typeof-import-call-source-property.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-function-typeof-import-source.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/top-level-typeof-import-source.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-block-labeled-import-source-assignment-expr-not-optional.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-gen-await-typeof-import-source.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-with-typeof-import-source.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-while-typeof-import-source.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-function-return-await-typeof-import-call-source-property.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-arrow-function-await-typeof-import-source.js (previously Ignored)
test/language/expressions/dynamic-import/syntax/invalid/nested-async-gen-await-import-call-unknown.js (previously Ignored)
test/staging/source-phase-imports/import-source-source-text-module.js (previously Ignored)

Tested main commit: ea849b7140574c446fbad07ccb7a7e0a3b85cb17
Tested PR commit: 4425fa7103f250704126506173ec3a84244d0ce3
Compare commits: ea849b7...4425fa7

@codecov
Copy link

codecov bot commented Mar 13, 2026

Codecov Report

❌ Patch coverage is 34.09091% with 58 lines in your changes missing coverage. Please review.
✅ Project coverage is 59.11%. Comparing base (6ddc2b4) to head (4425fa7).
⚠️ Report is 855 commits behind head on main.

Files with missing lines Patch % Lines
...parser/src/parser/expression/left_hand_side/mod.rs 38.18% 34 Missing ⚠️
core/engine/src/vm/code_block.rs 0.00% 9 Missing ⚠️
core/ast/src/expression/call.rs 27.27% 8 Missing ⚠️
core/engine/src/vm/opcode/call/mod.rs 37.50% 5 Missing ⚠️
core/engine/src/bytecompiler/expression/mod.rs 60.00% 2 Missing ⚠️
Additional details and impacted files
@@             Coverage Diff             @@
##             main    #5035       +/-   ##
===========================================
+ Coverage   47.24%   59.11%   +11.86%     
===========================================
  Files         476      563       +87     
  Lines       46892    62665    +15773     
===========================================
+ Hits        22154    37042    +14888     
- Misses      24738    25623      +885     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

@xcb3d xcb3d force-pushed the feat/import-defer-source-phase branch from c8e5c8e to a97e051 Compare March 13, 2026 14:05
@xcb3d xcb3d force-pushed the feat/import-defer-source-phase branch from a97e051 to 0658b5b Compare March 13, 2026 14:20
Add parsing and runtime support for import.defer(specifier) and
import.source(specifier) dynamic import syntax.

Changes:
- Add ImportPhase enum (Evaluation, Defer, Source) to boa_ast
- Extend parser to detect and parse import.defer() and import.source()
- Thread phase through bytecode compiler as IndexOperand
- Update VM ImportCall handler to decode phase operand
- Source phase: reject with SyntaxError per GetModuleSource() spec
- Defer phase: proceed with standard evaluation semantics
- Remove source-phase-imports from ignored features

Note: import-defer remains in the ignored features list since full
deferred evaluation semantics (deferred namespace objects, evaluation
triggers) are not yet implemented.
@xcb3d xcb3d force-pushed the feat/import-defer-source-phase branch from 0658b5b to bf0a96e Compare March 13, 2026 14:34
@xcb3d xcb3d requested a review from jedel1043 March 13, 2026 14:35
@jedel1043 jedel1043 added A-Enhancement New feature or request C-Parser Issues surrounding the parser C-AST Issue surrounding the abstract syntax tree labels Mar 15, 2026
@jedel1043 jedel1043 added this to the v1.0.0 milestone Mar 15, 2026
Address review feedback:
- Add 'defer' and 'source' to static_syms! for compile-time Sym constants
- Simplify is_keyword_call to only detect keyword( patterns
- Add separate is_import_phase_call helper using Sym::DEFER/Sym::SOURCE
- Restructure let-else chain into distinct branches for import( vs import.defer(/import.source(
@github-actions github-actions bot added Waiting On Review Waiting on reviews from the maintainers C-Tests Issues and PRs related to the tests. C-Builtins PRs and Issues related to builtins/intrinsics C-VM Issues and PRs related to the Boa Virtual Machine. and removed Waiting On Review Waiting on reviews from the maintainers labels Mar 15, 2026
@github-actions github-actions bot added the Waiting On Review Waiting on reviews from the maintainers label Mar 15, 2026
@xcb3d xcb3d requested a review from jedel1043 March 15, 2026 04:45
Copy link
Member

@jedel1043 jedel1043 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yep, looks great! Thank you!

@jedel1043 jedel1043 added this pull request to the merge queue Mar 15, 2026
Merged via the queue into boa-dev:main with commit 3016f49 Mar 15, 2026
21 checks passed
@github-actions github-actions bot removed the Waiting On Review Waiting on reviews from the maintainers label Mar 15, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-Enhancement New feature or request C-AST Issue surrounding the abstract syntax tree C-Builtins PRs and Issues related to builtins/intrinsics C-Parser Issues surrounding the parser C-Tests Issues and PRs related to the tests. C-VM Issues and PRs related to the Boa Virtual Machine.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants