redscript-mc 2.6.2 → 3.0.0
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/.github/workflows/ci.yml +11 -0
- package/CHANGELOG.md +18 -9
- package/README-benchmarks.md +48 -0
- package/README-vscode-test.md +251 -0
- package/RELEASE_NOTES.md +74 -0
- package/ROADMAP.md +131 -167
- package/benchmarks/_shared.ts +468 -0
- package/benchmarks/baseline.json +2816 -0
- package/benchmarks/baseline.md +13 -0
- package/benchmarks/compiler-perf.report.json +207 -0
- package/benchmarks/compiler-perf.ts +76 -0
- package/benchmarks/results.md +13 -0
- package/benchmarks/stdlib-complexity.report.json +2606 -0
- package/benchmarks/stdlib-complexity.ts +54 -0
- package/benchmarks/stdlib-size.md +57 -0
- package/benchmarks/stdlib-size.ts +91 -0
- package/coverage-report.md +177 -0
- package/dist/src/__tests__/budget.test.js +4 -0
- package/dist/src/__tests__/cache/cache-behavior.test.d.ts +10 -0
- package/dist/src/__tests__/cache/cache-behavior.test.js +425 -0
- package/dist/src/__tests__/cache-extra.test.d.ts +5 -0
- package/dist/src/__tests__/cache-extra.test.js +211 -0
- package/dist/src/__tests__/cli-init.test.d.ts +1 -0
- package/dist/src/__tests__/cli-init.test.js +97 -0
- package/dist/src/__tests__/cli-publish.test.d.ts +9 -0
- package/dist/src/__tests__/cli-publish.test.js +189 -0
- package/dist/src/__tests__/cli.test.js +76 -0
- package/dist/src/__tests__/compile-preprocess.test.d.ts +11 -0
- package/dist/src/__tests__/compile-preprocess.test.js +328 -0
- package/dist/src/__tests__/compiler/break-stmt.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/break-stmt.test.js +58 -0
- package/dist/src/__tests__/compiler/const-decl.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/const-decl.test.js +123 -0
- package/dist/src/__tests__/compiler/continue-stmt.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/continue-stmt.test.js +67 -0
- package/dist/src/__tests__/compiler/coroutine-extended.test.d.ts +17 -0
- package/dist/src/__tests__/compiler/coroutine-extended.test.js +565 -0
- package/dist/src/__tests__/compiler/deprecated.test.d.ts +4 -0
- package/dist/src/__tests__/compiler/deprecated.test.js +285 -0
- package/dist/src/__tests__/compiler/do-while.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/do-while.test.js +120 -0
- package/dist/src/__tests__/compiler/enum-payload.test.d.ts +9 -0
- package/dist/src/__tests__/compiler/enum-payload.test.js +272 -0
- package/dist/src/__tests__/compiler/interface.test.d.ts +10 -0
- package/dist/src/__tests__/compiler/interface.test.js +258 -0
- package/dist/src/__tests__/compiler/labeled-loops.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/labeled-loops.test.js +263 -0
- package/dist/src/__tests__/compiler/match-string.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/match-string.test.js +43 -0
- package/dist/src/__tests__/compiler/memoize.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/memoize.test.js +113 -0
- package/dist/src/__tests__/compiler/method-chain.test.d.ts +5 -0
- package/dist/src/__tests__/compiler/method-chain.test.js +115 -0
- package/dist/src/__tests__/compiler/module-import.test.d.ts +12 -0
- package/dist/src/__tests__/compiler/module-import.test.js +261 -0
- package/dist/src/__tests__/compiler/option-extensions.test.d.ts +6 -0
- package/dist/src/__tests__/compiler/option-extensions.test.js +191 -0
- package/dist/src/__tests__/compiler/profile-decorator.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/profile-decorator.test.js +69 -0
- package/dist/src/__tests__/compiler/string-advanced.test.d.ts +7 -0
- package/dist/src/__tests__/compiler/string-advanced.test.js +281 -0
- package/dist/src/__tests__/compiler/struct-extends.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/struct-extends.test.js +95 -0
- package/dist/src/__tests__/compiler/throttle-retry.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/throttle-retry.test.js +166 -0
- package/dist/src/__tests__/compiler/tuple-type.test.d.ts +10 -0
- package/dist/src/__tests__/compiler/tuple-type.test.js +229 -0
- package/dist/src/__tests__/compiler/watch-decorator.test.d.ts +1 -0
- package/dist/src/__tests__/compiler/watch-decorator.test.js +65 -0
- package/dist/src/__tests__/config/project-config.test.d.ts +1 -0
- package/dist/src/__tests__/config/project-config.test.js +199 -0
- package/dist/src/__tests__/config-decorator.test.d.ts +8 -0
- package/dist/src/__tests__/config-decorator.test.js +142 -0
- package/dist/src/__tests__/diagnostics-extra.test.d.ts +6 -0
- package/dist/src/__tests__/diagnostics-extra.test.js +132 -0
- package/dist/src/__tests__/emit/compile-branches.test.d.ts +1 -0
- package/dist/src/__tests__/emit/compile-branches.test.js +123 -0
- package/dist/src/__tests__/emit/compile-coverage.test.d.ts +25 -0
- package/dist/src/__tests__/emit/compile-coverage.test.js +617 -0
- package/dist/src/__tests__/emit/compile-extra-branches.test.d.ts +12 -0
- package/dist/src/__tests__/emit/compile-extra-branches.test.js +225 -0
- package/dist/src/__tests__/emit/compile-mocked-branches.test.d.ts +0 -0
- package/dist/src/__tests__/emit/compile-mocked-branches.test.js +238 -0
- package/dist/src/__tests__/emit/execute-chain.test.d.ts +10 -0
- package/dist/src/__tests__/emit/execute-chain.test.js +94 -0
- package/dist/src/__tests__/emit/index.test.js +2 -1
- package/dist/src/__tests__/emit/modules-branches.test.d.ts +1 -0
- package/dist/src/__tests__/emit/modules-branches.test.js +88 -0
- package/dist/src/__tests__/emit/modules-coverage.test.d.ts +15 -0
- package/dist/src/__tests__/emit/modules-coverage.test.js +221 -0
- package/dist/src/__tests__/emit/modules-errors.test.d.ts +12 -0
- package/dist/src/__tests__/emit/modules-errors.test.js +169 -0
- package/dist/src/__tests__/emit/modules-rewrite.test.d.ts +17 -0
- package/dist/src/__tests__/emit/modules-rewrite.test.js +204 -0
- package/dist/src/__tests__/emit/source-map.test.d.ts +1 -0
- package/dist/src/__tests__/emit/source-map.test.js +167 -0
- package/dist/src/__tests__/enum.test.js +9 -4
- package/dist/src/__tests__/error-recovery.test.d.ts +7 -0
- package/dist/src/__tests__/error-recovery.test.js +217 -0
- package/dist/src/__tests__/events-types-extra.test.d.ts +10 -0
- package/dist/src/__tests__/events-types-extra.test.js +91 -0
- package/dist/src/__tests__/events-types.test.d.ts +4 -0
- package/dist/src/__tests__/events-types.test.js +56 -0
- package/dist/src/__tests__/formatter.test.js +13 -5
- package/dist/src/__tests__/hir/lower-extra.test.d.ts +9 -0
- package/dist/src/__tests__/hir/lower-extra.test.js +140 -0
- package/dist/src/__tests__/hir/monomorphize-extra.test.d.ts +15 -0
- package/dist/src/__tests__/hir/monomorphize-extra.test.js +200 -0
- package/dist/src/__tests__/hir/monomorphize-extra2.test.d.ts +16 -0
- package/dist/src/__tests__/hir/monomorphize-extra2.test.js +316 -0
- package/dist/src/__tests__/incremental.test.js +10 -2
- package/dist/src/__tests__/index-extra.test.d.ts +10 -0
- package/dist/src/__tests__/index-extra.test.js +71 -0
- package/dist/src/__tests__/lexer.test.js +2 -2
- package/dist/src/__tests__/lint/rules.test.d.ts +5 -0
- package/dist/src/__tests__/lint/rules.test.js +208 -0
- package/dist/src/__tests__/lir/lower.test.js +29 -0
- package/dist/src/__tests__/lir/verify.test.js +30 -0
- package/dist/src/__tests__/lsp/completion.test.d.ts +7 -0
- package/dist/src/__tests__/lsp/completion.test.js +583 -0
- package/dist/src/__tests__/lsp/definition.test.d.ts +7 -0
- package/dist/src/__tests__/lsp/definition.test.js +454 -0
- package/dist/src/__tests__/lsp/diagnostics.test.d.ts +10 -0
- package/dist/src/__tests__/lsp/diagnostics.test.js +98 -0
- package/dist/src/__tests__/lsp/hover-docs.test.d.ts +10 -0
- package/dist/src/__tests__/lsp/hover-docs.test.js +210 -0
- package/dist/src/__tests__/lsp.test.js +4 -1
- package/dist/src/__tests__/mc-integration/item-entity-events.test.js +4 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-2.test.js +4 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-3.test.d.ts +13 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-3.test.js +1227 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-4.test.d.ts +13 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-4.test.js +1509 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-5.test.d.ts +14 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-5.test.js +1374 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-6.test.d.ts +10 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-6.test.js +759 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-7.test.d.ts +13 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage-7.test.js +855 -0
- package/dist/src/__tests__/mc-integration/stdlib-coverage.test.js +4 -0
- package/dist/src/__tests__/mc-integration/syntax-coverage.test.js +4 -0
- package/dist/src/__tests__/mc-validator-coverage.test.d.ts +13 -0
- package/dist/src/__tests__/mc-validator-coverage.test.js +296 -0
- package/dist/src/__tests__/mc-validator-extra.test.d.ts +13 -0
- package/dist/src/__tests__/mc-validator-extra.test.js +245 -0
- package/dist/src/__tests__/mir/lower-extra.test.d.ts +20 -0
- package/dist/src/__tests__/mir/lower-extra.test.js +361 -0
- package/dist/src/__tests__/mir/lower-extra2.test.d.ts +17 -0
- package/dist/src/__tests__/mir/lower-extra2.test.js +317 -0
- package/dist/src/__tests__/mir/lower-extra3.test.d.ts +19 -0
- package/dist/src/__tests__/mir/lower-extra3.test.js +249 -0
- package/dist/src/__tests__/mir/lower-extra4.test.d.ts +23 -0
- package/dist/src/__tests__/mir/lower-extra4.test.js +606 -0
- package/dist/src/__tests__/mir/lower-extra5.test.d.ts +25 -0
- package/dist/src/__tests__/mir/lower-extra5.test.js +543 -0
- package/dist/src/__tests__/mir/lower-extra6.test.d.ts +16 -0
- package/dist/src/__tests__/mir/lower-extra6.test.js +471 -0
- package/dist/src/__tests__/mir/lower-extra7.test.d.ts +35 -0
- package/dist/src/__tests__/mir/lower-extra7.test.js +921 -0
- package/dist/src/__tests__/mir/lower-extra8.test.d.ts +19 -0
- package/dist/src/__tests__/mir/lower-extra8.test.js +626 -0
- package/dist/src/__tests__/mir/lower-extra9.test.d.ts +14 -0
- package/dist/src/__tests__/mir/lower-extra9.test.js +717 -0
- package/dist/src/__tests__/optimizer/auto-inline.test.d.ts +1 -0
- package/dist/src/__tests__/optimizer/auto-inline.test.js +176 -0
- package/dist/src/__tests__/optimizer/cse.test.d.ts +4 -0
- package/dist/src/__tests__/optimizer/cse.test.js +178 -0
- package/dist/src/__tests__/optimizer/inline_fn.test.d.ts +1 -0
- package/dist/src/__tests__/optimizer/inline_fn.test.js +221 -0
- package/dist/src/__tests__/optimizer/licm.test.d.ts +1 -0
- package/dist/src/__tests__/optimizer/licm.test.js +244 -0
- package/dist/src/__tests__/optimizer/optimizer-extended.test.d.ts +12 -0
- package/dist/src/__tests__/optimizer/optimizer-extended.test.js +993 -0
- package/dist/src/__tests__/optimizer/strength-reduction.test.d.ts +1 -0
- package/dist/src/__tests__/optimizer/strength-reduction.test.js +86 -0
- package/dist/src/__tests__/optimizer/tco.test.d.ts +14 -0
- package/dist/src/__tests__/optimizer/tco.test.js +203 -0
- package/dist/src/__tests__/parser-coverage.test.d.ts +25 -0
- package/dist/src/__tests__/parser-coverage.test.js +491 -0
- package/dist/src/__tests__/parser-extra.test.d.ts +6 -0
- package/dist/src/__tests__/parser-extra.test.js +451 -0
- package/dist/src/__tests__/parser.test.js +12 -0
- package/dist/src/__tests__/repl-extra.test.d.ts +13 -0
- package/dist/src/__tests__/repl-extra.test.js +174 -0
- package/dist/src/__tests__/repl-server-extra.test.d.ts +10 -0
- package/dist/src/__tests__/repl-server-extra.test.js +161 -0
- package/dist/src/__tests__/repl-server.test.d.ts +6 -0
- package/dist/src/__tests__/repl-server.test.js +146 -0
- package/dist/src/__tests__/runtime-extra.test.d.ts +15 -0
- package/dist/src/__tests__/runtime-extra.test.js +732 -0
- package/dist/src/__tests__/singleton-decorator.test.d.ts +11 -0
- package/dist/src/__tests__/singleton-decorator.test.js +260 -0
- package/dist/src/__tests__/sourcemap.test.js +1 -1
- package/dist/src/__tests__/stdlib/advanced.test.d.ts +5 -0
- package/dist/src/__tests__/stdlib/advanced.test.js +301 -0
- package/dist/src/__tests__/stdlib/bigint.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/bigint.test.js +83 -0
- package/dist/src/__tests__/stdlib/bits.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/bits.test.js +96 -0
- package/dist/src/__tests__/stdlib/bossbar.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/bossbar.test.js +72 -0
- package/dist/src/__tests__/stdlib/color.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/color.test.js +84 -0
- package/dist/src/__tests__/stdlib/combat.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/combat.test.js +64 -0
- package/dist/src/__tests__/stdlib/cooldown.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/cooldown.test.js +64 -0
- package/dist/src/__tests__/stdlib/dialog.test.js +15 -7
- package/dist/src/__tests__/stdlib/ecs.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/ecs.test.js +81 -0
- package/dist/src/__tests__/stdlib/effects.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/effects.test.js +72 -0
- package/dist/src/__tests__/stdlib/events.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/events.test.js +55 -0
- package/dist/src/__tests__/stdlib/expr.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/expr.test.js +77 -0
- package/dist/src/__tests__/stdlib/fft.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/fft.test.js +82 -0
- package/dist/src/__tests__/stdlib/graph.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/graph.test.js +102 -0
- package/dist/src/__tests__/stdlib/interactions.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/interactions.test.js +60 -0
- package/dist/src/__tests__/stdlib/inventory.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/inventory.test.js +68 -0
- package/dist/src/__tests__/stdlib/linalg.test.d.ts +5 -0
- package/dist/src/__tests__/stdlib/linalg.test.js +78 -0
- package/dist/src/__tests__/stdlib/map.test.d.ts +1 -0
- package/dist/src/__tests__/stdlib/map.test.js +84 -0
- package/dist/src/__tests__/stdlib/math.test.js +19 -6
- package/dist/src/__tests__/stdlib/math_hp.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/math_hp.test.js +80 -0
- package/dist/src/__tests__/stdlib/mobs.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/mobs.test.js +61 -0
- package/dist/src/__tests__/stdlib/noise.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/noise.test.js +73 -0
- package/dist/src/__tests__/stdlib/ode.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/ode.test.js +68 -0
- package/dist/src/__tests__/stdlib/parabola.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/parabola.test.js +77 -0
- package/dist/src/__tests__/stdlib/particles.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/particles.test.js +68 -0
- package/dist/src/__tests__/stdlib/physics.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/physics.test.js +76 -0
- package/dist/src/__tests__/stdlib/player.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/player.test.js +64 -0
- package/dist/src/__tests__/stdlib/quaternion.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/quaternion.test.js +73 -0
- package/dist/src/__tests__/stdlib/queue.test.d.ts +1 -0
- package/dist/src/__tests__/stdlib/queue.test.js +97 -0
- package/dist/src/__tests__/stdlib/random.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/random.test.js +76 -0
- package/dist/src/__tests__/stdlib/result.test.d.ts +12 -0
- package/dist/src/__tests__/stdlib/result.test.js +329 -0
- package/dist/src/__tests__/stdlib/scheduler.test.js +19 -8
- package/dist/src/__tests__/stdlib/set_int.test.d.ts +1 -0
- package/dist/src/__tests__/stdlib/set_int.test.js +88 -0
- package/dist/src/__tests__/stdlib/sets.test.d.ts +6 -0
- package/dist/src/__tests__/stdlib/sets.test.js +60 -0
- package/dist/src/__tests__/stdlib/signal.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/signal.test.js +84 -0
- package/dist/src/__tests__/stdlib/spawn.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/spawn.test.js +68 -0
- package/dist/src/__tests__/stdlib/string.test.d.ts +12 -0
- package/dist/src/__tests__/stdlib/string.test.js +231 -0
- package/dist/src/__tests__/stdlib/strings.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/strings.test.js +83 -0
- package/dist/src/__tests__/stdlib/tags.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/tags.test.js +57 -0
- package/dist/src/__tests__/stdlib/teams.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/teams.test.js +72 -0
- package/dist/src/__tests__/stdlib/timer.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/timer.test.js +79 -0
- package/dist/src/__tests__/stdlib/vec.test.d.ts +5 -0
- package/dist/src/__tests__/stdlib/vec.test.js +94 -0
- package/dist/src/__tests__/stdlib/world.test.d.ts +4 -0
- package/dist/src/__tests__/stdlib/world.test.js +72 -0
- package/dist/src/__tests__/struct-display.test.d.ts +1 -0
- package/dist/src/__tests__/struct-display.test.js +64 -0
- package/dist/src/__tests__/test-framework/runner.test.d.ts +10 -0
- package/dist/src/__tests__/test-framework/runner.test.js +193 -0
- package/dist/src/__tests__/tuner/adapters.test.d.ts +14 -0
- package/dist/src/__tests__/tuner/adapters.test.js +194 -0
- package/dist/src/__tests__/tuner/simulator-extra.test.d.ts +4 -0
- package/dist/src/__tests__/tuner/simulator-extra.test.js +193 -0
- package/dist/src/__tests__/typechecker-coverage.test.d.ts +30 -0
- package/dist/src/__tests__/typechecker-coverage.test.js +627 -0
- package/dist/src/__tests__/typechecker.test.js +3 -3
- package/dist/src/__tests__/watch-decorator.test.d.ts +1 -0
- package/dist/src/__tests__/watch-decorator.test.js +54 -0
- package/dist/src/ast/types.d.ts +102 -3
- package/dist/src/cache/incremental.d.ts +13 -14
- package/dist/src/cache/incremental.js +106 -89
- package/dist/src/cache/index.d.ts +8 -2
- package/dist/src/cache/index.js +18 -6
- package/dist/src/cli.d.ts +1 -0
- package/dist/src/cli.js +466 -17
- package/dist/src/config/project-config.d.ts +29 -0
- package/dist/src/config/project-config.js +180 -0
- package/dist/src/diagnostics/index.d.ts +9 -0
- package/dist/src/diagnostics/index.js +18 -1
- package/dist/src/emit/compile.d.ts +10 -0
- package/dist/src/emit/compile.js +395 -50
- package/dist/src/emit/index.d.ts +40 -0
- package/dist/src/emit/index.js +307 -14
- package/dist/src/emit/modules.js +21 -3
- package/dist/src/emit/sourcemap.d.ts +23 -27
- package/dist/src/emit/sourcemap.js +52 -30
- package/dist/src/formatter/index.js +33 -8
- package/dist/src/hir/deprecated.d.ts +13 -0
- package/dist/src/hir/deprecated.js +218 -0
- package/dist/src/hir/lower.js +114 -8
- package/dist/src/hir/monomorphize.js +22 -2
- package/dist/src/hir/types.d.ts +65 -1
- package/dist/src/index.d.ts +6 -0
- package/dist/src/index.js +18 -3
- package/dist/src/lexer/index.d.ts +2 -1
- package/dist/src/lexer/index.js +39 -3
- package/dist/src/lint/index.d.ts +45 -0
- package/dist/src/lint/index.js +930 -0
- package/dist/src/lir/lower.js +29 -2
- package/dist/src/lir/types.d.ts +2 -0
- package/dist/src/lsp/server.js +92 -5
- package/dist/src/mir/lower.js +775 -34
- package/dist/src/mir/macro.js +36 -2
- package/dist/src/mir/types.d.ts +12 -0
- package/dist/src/mir/verify.js +9 -0
- package/dist/src/optimizer/auto-inline.d.ts +2 -0
- package/dist/src/optimizer/auto-inline.js +67 -0
- package/dist/src/optimizer/cse.d.ts +20 -0
- package/dist/src/optimizer/cse.js +234 -0
- package/dist/src/optimizer/inline.d.ts +26 -0
- package/dist/src/optimizer/inline.js +286 -0
- package/dist/src/optimizer/interprocedural.js +4 -0
- package/dist/src/optimizer/licm.d.ts +32 -0
- package/dist/src/optimizer/licm.js +371 -0
- package/dist/src/optimizer/pipeline.js +12 -2
- package/dist/src/optimizer/strength_reduction.d.ts +15 -0
- package/dist/src/optimizer/strength_reduction.js +90 -0
- package/dist/src/optimizer/tco.d.ts +53 -0
- package/dist/src/optimizer/tco.js +238 -0
- package/dist/src/parser/index.d.ts +32 -0
- package/dist/src/parser/index.js +421 -59
- package/dist/src/repl-server.d.ts +13 -0
- package/dist/src/repl-server.js +127 -0
- package/dist/src/structs/expand.d.ts +15 -0
- package/dist/src/structs/expand.js +46 -0
- package/dist/src/testing/runner.d.ts +40 -0
- package/dist/src/testing/runner.js +237 -0
- package/dist/src/typechecker/index.d.ts +3 -0
- package/dist/src/typechecker/index.js +254 -9
- package/dist/tsconfig.tsbuildinfo +1 -1
- package/doc-drafts/redscript-docs/docs/en/stdlib/graph.md +104 -0
- package/doc-drafts/redscript-docs/docs/en/stdlib/parabola.md +113 -0
- package/doc-drafts/redscript-docs/docs/en/stdlib/pathfind.md +104 -0
- package/doc-drafts/redscript-docs/docs/en/stdlib/physics.md +134 -0
- package/doc-drafts/redscript-docs/docs/en/stdlib/quaternion.md +135 -0
- package/doc-drafts/redscript-docs/docs/zh/stdlib/graph.md +104 -0
- package/doc-drafts/redscript-docs/docs/zh/stdlib/parabola.md +113 -0
- package/doc-drafts/redscript-docs/docs/zh/stdlib/pathfind.md +104 -0
- package/doc-drafts/redscript-docs/docs/zh/stdlib/physics.md +134 -0
- package/doc-drafts/redscript-docs/docs/zh/stdlib/quaternion.md +135 -0
- package/docs/stdlib/result.md +156 -0
- package/docs/stdlib/result.zh.md +156 -0
- package/editors/vscode/fixtures/test.mcrs +7 -0
- package/editors/vscode/out/extension.js +2095 -225
- package/editors/vscode/out/lsp-server.js +519 -51
- package/editors/vscode/package-lock.json +9 -4
- package/editors/vscode/package.json +1 -1
- package/examples/display-demo.mcrs +64 -0
- package/examples/game/racing.mcrs +301 -0
- package/examples/game/tower_defense.mcrs +311 -0
- package/examples/math/physics_sim.mcrs +322 -0
- package/examples/rpg/boss_fight.mcrs +313 -0
- package/examples/rpg/health_system.mcrs +237 -0
- package/examples/rpg/inventory.mcrs +265 -0
- package/examples/util/debug_hud.mcrs +279 -0
- package/jest.config.js +10 -0
- package/package.json +12 -3
- package/playground/index.html +823 -0
- package/scripts/gen-docs.ts +533 -0
- package/scripts/update-redscript-docs-stdlib.sh +770 -0
- package/src/__tests__/budget.test.ts +5 -0
- package/src/__tests__/cache/cache-behavior.test.ts +480 -0
- package/src/__tests__/cache-extra.test.ts +199 -0
- package/src/__tests__/cli-docs.test.ts +77 -0
- package/src/__tests__/cli-init.test.ts +91 -0
- package/src/__tests__/cli-publish.test.ts +190 -0
- package/src/__tests__/cli.test.ts +117 -1
- package/src/__tests__/compile-preprocess.test.ts +366 -0
- package/src/__tests__/compiler/break-stmt.test.ts +66 -0
- package/src/__tests__/compiler/const-decl.test.ts +141 -0
- package/src/__tests__/compiler/continue-stmt.test.ts +81 -0
- package/src/__tests__/compiler/coroutine-extended.test.ts +723 -0
- package/src/__tests__/compiler/deprecated.test.ts +305 -0
- package/src/__tests__/compiler/do-while.test.ts +130 -0
- package/src/__tests__/compiler/enum-payload.test.ts +299 -0
- package/src/__tests__/compiler/interface.test.ts +287 -0
- package/src/__tests__/compiler/labeled-loops.test.ts +279 -0
- package/src/__tests__/compiler/match-string.test.ts +45 -0
- package/src/__tests__/compiler/memoize.test.ts +126 -0
- package/src/__tests__/compiler/method-chain.test.ts +121 -0
- package/src/__tests__/compiler/module-import.test.ts +240 -0
- package/src/__tests__/compiler/option-extensions.test.ts +207 -0
- package/src/__tests__/compiler/profile-decorator.test.ts +79 -0
- package/src/__tests__/compiler/string-advanced.test.ts +310 -0
- package/src/__tests__/compiler/struct-extends.test.ts +109 -0
- package/src/__tests__/compiler/throttle-retry.test.ts +191 -0
- package/src/__tests__/compiler/tuple-type.test.ts +263 -0
- package/src/__tests__/compiler/watch-decorator.test.ts +72 -0
- package/src/__tests__/config/project-config.test.ts +181 -0
- package/src/__tests__/config-decorator.test.ts +157 -0
- package/src/__tests__/diagnostics-extra.test.ts +155 -0
- package/src/__tests__/emit/compile-branches.test.ts +135 -0
- package/src/__tests__/emit/compile-coverage.test.ts +696 -0
- package/src/__tests__/emit/compile-extra-branches.test.ts +228 -0
- package/src/__tests__/emit/compile-mocked-branches.test.ts +249 -0
- package/src/__tests__/emit/compile.test.ts +6 -1
- package/src/__tests__/emit/execute-chain.test.ts +114 -0
- package/src/__tests__/emit/index.test.ts +2 -1
- package/src/__tests__/emit/modules-branches.test.ts +90 -0
- package/src/__tests__/emit/modules-coverage.test.ts +241 -0
- package/src/__tests__/emit/modules-errors.test.ts +192 -0
- package/src/__tests__/emit/modules-rewrite.test.ts +232 -0
- package/src/__tests__/emit/source-map.test.ts +152 -0
- package/src/__tests__/enum.test.ts +9 -4
- package/src/__tests__/error-recovery.test.ts +226 -0
- package/src/__tests__/events-types-extra.test.ts +110 -0
- package/src/__tests__/events-types.test.ts +66 -0
- package/src/__tests__/formatter.test.ts +15 -5
- package/src/__tests__/generics.test.ts +16 -9
- package/src/__tests__/hir/lower-extra.test.ts +151 -0
- package/src/__tests__/hir/monomorphize-coverage.test.ts +432 -0
- package/src/__tests__/hir/monomorphize-extra.test.ts +220 -0
- package/src/__tests__/hir/monomorphize-extra2.test.ts +350 -0
- package/src/__tests__/impl.test.ts +12 -8
- package/src/__tests__/incremental.test.ts +10 -2
- package/src/__tests__/index-extra.test.ts +79 -0
- package/src/__tests__/lexer.test.ts +2 -2
- package/src/__tests__/lint/hir-coverage.test.ts +1716 -0
- package/src/__tests__/lint/rules-coverage.test.ts +598 -0
- package/src/__tests__/lint/rules.test.ts +230 -0
- package/src/__tests__/lir/lower.test.ts +33 -0
- package/src/__tests__/lir/verify.test.ts +33 -0
- package/src/__tests__/lsp/completion.test.ts +687 -0
- package/src/__tests__/lsp/definition.test.ts +499 -0
- package/src/__tests__/lsp/diagnostics.test.ts +108 -0
- package/src/__tests__/lsp/hover-docs.test.ts +222 -0
- package/src/__tests__/lsp.test.ts +4 -1
- package/src/__tests__/mc-integration/item-entity-events.test.ts +5 -0
- package/src/__tests__/mc-integration/stdlib-coverage-2.test.ts +5 -0
- package/src/__tests__/mc-integration/stdlib-coverage-3.test.ts +1105 -0
- package/src/__tests__/mc-integration/stdlib-coverage-4.test.ts +1366 -0
- package/src/__tests__/mc-integration/stdlib-coverage-5.test.ts +1245 -0
- package/src/__tests__/mc-integration/stdlib-coverage-6.test.ts +755 -0
- package/src/__tests__/mc-integration/stdlib-coverage-7.test.ts +771 -0
- package/src/__tests__/mc-integration/stdlib-coverage.test.ts +5 -0
- package/src/__tests__/mc-integration/syntax-coverage.test.ts +5 -0
- package/src/__tests__/mc-validator-coverage.test.ts +325 -0
- package/src/__tests__/mc-validator-extra.test.ts +252 -0
- package/src/__tests__/mir/lower-extra.test.ts +402 -0
- package/src/__tests__/mir/lower-extra2.test.ts +348 -0
- package/src/__tests__/mir/lower-extra3.test.ts +277 -0
- package/src/__tests__/mir/lower-extra4.test.ts +636 -0
- package/src/__tests__/mir/lower-extra5.test.ts +612 -0
- package/src/__tests__/mir/lower-extra6.test.ts +520 -0
- package/src/__tests__/mir/lower-extra7.test.ts +1045 -0
- package/src/__tests__/mir/lower-extra8.test.ts +704 -0
- package/src/__tests__/mir/lower-extra9.test.ts +821 -0
- package/src/__tests__/optimizer/auto-inline.test.ts +206 -0
- package/src/__tests__/optimizer/cse.test.ts +195 -0
- package/src/__tests__/optimizer/inline_fn.test.ts +263 -0
- package/src/__tests__/optimizer/licm.test.ts +358 -0
- package/src/__tests__/optimizer/nbt-coalesce.test.ts +147 -0
- package/src/__tests__/optimizer/optimizer-extended.test.ts +1081 -0
- package/src/__tests__/optimizer/scoreboard-batch.test.ts +141 -0
- package/src/__tests__/optimizer/strength-reduction.test.ts +111 -0
- package/src/__tests__/optimizer/tco-coverage.test.ts +309 -0
- package/src/__tests__/optimizer/tco.test.ts +238 -0
- package/src/__tests__/option.test.ts +14 -7
- package/src/__tests__/parser-coverage.test.ts +576 -0
- package/src/__tests__/parser-extra.test.ts +531 -0
- package/src/__tests__/parser.test.ts +14 -0
- package/src/__tests__/repl-extra.test.ts +195 -0
- package/src/__tests__/repl-server-extra.test.ts +150 -0
- package/src/__tests__/repl-server.test.ts +122 -0
- package/src/__tests__/runtime-extra.test.ts +862 -0
- package/src/__tests__/singleton-decorator.test.ts +285 -0
- package/src/__tests__/sourcemap.test.ts +1 -1
- package/src/__tests__/stdlib/advanced.test.ts +312 -0
- package/src/__tests__/stdlib/bigint.test.ts +57 -0
- package/src/__tests__/stdlib/bits.test.ts +75 -0
- package/src/__tests__/stdlib/bossbar.test.ts +45 -0
- package/src/__tests__/stdlib/color.test.ts +60 -0
- package/src/__tests__/stdlib/combat.test.ts +35 -0
- package/src/__tests__/stdlib/cooldown.test.ts +35 -0
- package/src/__tests__/stdlib/dialog.test.ts +14 -6
- package/src/__tests__/stdlib/ecs.test.ts +54 -0
- package/src/__tests__/stdlib/effects.test.ts +45 -0
- package/src/__tests__/stdlib/events.test.ts +23 -0
- package/src/__tests__/stdlib/expr.test.ts +48 -0
- package/src/__tests__/stdlib/fft.test.ts +54 -0
- package/src/__tests__/stdlib/graph.test.ts +77 -0
- package/src/__tests__/stdlib/interactions.test.ts +30 -0
- package/src/__tests__/stdlib/inventory.test.ts +40 -0
- package/src/__tests__/stdlib/linalg.test.ts +52 -0
- package/src/__tests__/stdlib/map.test.ts +55 -0
- package/src/__tests__/stdlib/math.test.ts +19 -5
- package/src/__tests__/stdlib/math_hp.test.ts +55 -0
- package/src/__tests__/stdlib/mobs.test.ts +40 -0
- package/src/__tests__/stdlib/noise.test.ts +46 -0
- package/src/__tests__/stdlib/ode.test.ts +40 -0
- package/src/__tests__/stdlib/parabola.test.ts +51 -0
- package/src/__tests__/stdlib/particles.test.ts +40 -0
- package/src/__tests__/stdlib/physics.test.ts +50 -0
- package/src/__tests__/stdlib/player.test.ts +35 -0
- package/src/__tests__/stdlib/quaternion.test.ts +46 -0
- package/src/__tests__/stdlib/queue.test.ts +73 -0
- package/src/__tests__/stdlib/random.test.ts +50 -0
- package/src/__tests__/stdlib/result.test.ts +326 -0
- package/src/__tests__/stdlib/scheduler.test.ts +18 -7
- package/src/__tests__/stdlib/set_int.test.ts +62 -0
- package/src/__tests__/stdlib/sets.test.ts +28 -0
- package/src/__tests__/stdlib/signal.test.ts +60 -0
- package/src/__tests__/stdlib/spawn.test.ts +40 -0
- package/src/__tests__/stdlib/string.test.ts +224 -0
- package/src/__tests__/stdlib/strings.test.ts +55 -0
- package/src/__tests__/stdlib/tags.test.ts +32 -0
- package/src/__tests__/stdlib/teams.test.ts +45 -0
- package/src/__tests__/stdlib/timer.test.ts +53 -0
- package/src/__tests__/stdlib/vec.test.ts +72 -0
- package/src/__tests__/stdlib/world.test.ts +45 -0
- package/src/__tests__/struct-display.test.ts +69 -0
- package/src/__tests__/test-framework/runner.test.ts +208 -0
- package/src/__tests__/tuner/adapters.test.ts +232 -0
- package/src/__tests__/tuner/simulator-extra.test.ts +222 -0
- package/src/__tests__/tuple.test.ts +11 -4
- package/src/__tests__/typechecker-coverage.test.ts +671 -0
- package/src/__tests__/typechecker.test.ts +4 -3
- package/src/__tests__/watch-decorator.test.ts +59 -0
- package/src/ast/types.ts +65 -3
- package/src/cache/incremental.ts +128 -99
- package/src/cache/index.ts +35 -8
- package/src/cli.ts +538 -29
- package/src/config/project-config.ts +176 -0
- package/src/diagnostics/index.ts +22 -0
- package/src/docs.ts +98 -0
- package/src/emit/compile.ts +408 -51
- package/src/emit/index.ts +366 -18
- package/src/emit/modules.ts +19 -3
- package/src/emit/sourcemap.ts +64 -43
- package/src/formatter/index.ts +35 -8
- package/src/hir/deprecated.ts +212 -0
- package/src/hir/lower.ts +128 -8
- package/src/hir/monomorphize.ts +24 -2
- package/src/hir/types.ts +26 -1
- package/src/index.ts +23 -3
- package/src/lexer/index.ts +45 -6
- package/src/lint/index.ts +922 -0
- package/src/lir/lower.ts +30 -2
- package/src/lir/types.ts +4 -0
- package/src/lsp/server.ts +100 -1
- package/src/mir/lower.ts +785 -40
- package/src/mir/macro.ts +30 -2
- package/src/mir/types.ts +13 -0
- package/src/mir/verify.ts +10 -2
- package/src/optimizer/auto-inline.ts +86 -0
- package/src/optimizer/copy_prop.ts +2 -2
- package/src/optimizer/coroutine.ts +3 -3
- package/src/optimizer/cse.ts +205 -0
- package/src/optimizer/dce.ts +2 -2
- package/src/optimizer/inline.ts +335 -0
- package/src/optimizer/interprocedural.ts +5 -1
- package/src/optimizer/licm.ts +454 -0
- package/src/optimizer/nbt-coalesce.ts +109 -0
- package/src/optimizer/pipeline.ts +16 -2
- package/src/optimizer/scoreboard-batch.ts +52 -0
- package/src/optimizer/strength_reduction.ts +95 -0
- package/src/optimizer/tco.ts +267 -0
- package/src/optimizer/unroll.ts +2 -2
- package/src/parser/index.ts +426 -53
- package/src/repl-server.ts +102 -0
- package/src/stdlib/advanced.mcrs +271 -101
- package/src/stdlib/bigint.mcrs +97 -11
- package/src/stdlib/bits.mcrs +75 -12
- package/src/stdlib/bossbar.mcrs +37 -8
- package/src/stdlib/calculus.mcrs +82 -26
- package/src/stdlib/color.mcrs +98 -16
- package/src/stdlib/combat.mcrs +23 -5
- package/src/stdlib/cooldown.mcrs +19 -0
- package/src/stdlib/dialog.mcrs +45 -7
- package/src/stdlib/easing.mcrs +132 -12
- package/src/stdlib/ecs.mcrs +142 -25
- package/src/stdlib/effects.mcrs +88 -12
- package/src/stdlib/events.mcrs +21 -2
- package/src/stdlib/expr.mcrs +18 -3
- package/src/stdlib/fft.mcrs +66 -56
- package/src/stdlib/geometry.mcrs +137 -39
- package/src/stdlib/graph.mcrs +73 -0
- package/src/stdlib/heap.mcrs +49 -8
- package/src/stdlib/i18n/zh.yaml +2891 -0
- package/src/stdlib/interactions.mcrs +43 -20
- package/src/stdlib/inventory.mcrs +14 -3
- package/src/stdlib/linalg.mcrs +185 -30
- package/src/stdlib/list.mcrs +168 -18
- package/src/stdlib/map.mcrs +112 -0
- package/src/stdlib/math.mcrs +68 -18
- package/src/stdlib/math_hp.mcrs +124 -33
- package/src/stdlib/matrix.mcrs +133 -20
- package/src/stdlib/mobs.mcrs +87 -0
- package/src/stdlib/noise.mcrs +65 -21
- package/src/stdlib/ode.mcrs +96 -0
- package/src/stdlib/parabola.mcrs +104 -29
- package/src/stdlib/particles.mcrs +78 -21
- package/src/stdlib/pathfind.mcrs +89 -35
- package/src/stdlib/physics.mcrs +134 -26
- package/src/stdlib/player.mcrs +18 -0
- package/src/stdlib/quaternion.mcrs +213 -9
- package/src/stdlib/queue.mcrs +123 -0
- package/src/stdlib/random.mcrs +63 -18
- package/src/stdlib/result.mcrs +111 -0
- package/src/stdlib/scheduler.mcrs +59 -10
- package/src/stdlib/set_int.mcrs +240 -0
- package/src/stdlib/sets.mcrs +49 -19
- package/src/stdlib/signal.mcrs +151 -79
- package/src/stdlib/sort.mcrs +44 -24
- package/src/stdlib/spawn.mcrs +30 -7
- package/src/stdlib/state.mcrs +40 -5
- package/src/stdlib/strings.mcrs +131 -3
- package/src/stdlib/tags.mcrs +2 -2
- package/src/stdlib/teams.mcrs +22 -10
- package/src/stdlib/timer.mcrs +36 -6
- package/src/stdlib/vec.mcrs +44 -9
- package/src/stdlib/world.mcrs +57 -25
- package/src/structs/expand.ts +64 -0
- package/src/testing/runner.ts +271 -0
- package/src/typechecker/index.ts +273 -9
|
@@ -0,0 +1,328 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/**
|
|
3
|
+
* Branch coverage tests for src/compile.ts
|
|
4
|
+
*
|
|
5
|
+
* Targets uncovered branches in:
|
|
6
|
+
* - preprocessSourceWithMetadata: import without filePath, unresolvable import,
|
|
7
|
+
* isLibrarySource detection, library vs non-library imports, resolveSourceLine,
|
|
8
|
+
* offsetRanges, countLines
|
|
9
|
+
* - resolveImportPath: .mcrs extension, relative path, stdlib path, includeDirs
|
|
10
|
+
* - preprocessSource (wrapper)
|
|
11
|
+
*/
|
|
12
|
+
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
|
|
13
|
+
if (k2 === undefined) k2 = k;
|
|
14
|
+
var desc = Object.getOwnPropertyDescriptor(m, k);
|
|
15
|
+
if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
|
|
16
|
+
desc = { enumerable: true, get: function() { return m[k]; } };
|
|
17
|
+
}
|
|
18
|
+
Object.defineProperty(o, k2, desc);
|
|
19
|
+
}) : (function(o, m, k, k2) {
|
|
20
|
+
if (k2 === undefined) k2 = k;
|
|
21
|
+
o[k2] = m[k];
|
|
22
|
+
}));
|
|
23
|
+
var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
|
|
24
|
+
Object.defineProperty(o, "default", { enumerable: true, value: v });
|
|
25
|
+
}) : function(o, v) {
|
|
26
|
+
o["default"] = v;
|
|
27
|
+
});
|
|
28
|
+
var __importStar = (this && this.__importStar) || (function () {
|
|
29
|
+
var ownKeys = function(o) {
|
|
30
|
+
ownKeys = Object.getOwnPropertyNames || function (o) {
|
|
31
|
+
var ar = [];
|
|
32
|
+
for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
|
|
33
|
+
return ar;
|
|
34
|
+
};
|
|
35
|
+
return ownKeys(o);
|
|
36
|
+
};
|
|
37
|
+
return function (mod) {
|
|
38
|
+
if (mod && mod.__esModule) return mod;
|
|
39
|
+
var result = {};
|
|
40
|
+
if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
|
|
41
|
+
__setModuleDefault(result, mod);
|
|
42
|
+
return result;
|
|
43
|
+
};
|
|
44
|
+
})();
|
|
45
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
46
|
+
const fs = __importStar(require("fs"));
|
|
47
|
+
const os = __importStar(require("os"));
|
|
48
|
+
const path = __importStar(require("path"));
|
|
49
|
+
const compile_1 = require("../compile");
|
|
50
|
+
// ---------------------------------------------------------------------------
|
|
51
|
+
// resolveSourceLine
|
|
52
|
+
// ---------------------------------------------------------------------------
|
|
53
|
+
describe('resolveSourceLine', () => {
|
|
54
|
+
const ranges = [
|
|
55
|
+
{ startLine: 1, endLine: 10, filePath: 'a.mcrs' },
|
|
56
|
+
{ startLine: 11, endLine: 20, filePath: 'b.mcrs' },
|
|
57
|
+
];
|
|
58
|
+
test('maps line in first range to first file', () => {
|
|
59
|
+
const result = (0, compile_1.resolveSourceLine)(5, ranges);
|
|
60
|
+
expect(result.filePath).toBe('a.mcrs');
|
|
61
|
+
expect(result.line).toBe(5);
|
|
62
|
+
});
|
|
63
|
+
test('maps line in second range to second file', () => {
|
|
64
|
+
const result = (0, compile_1.resolveSourceLine)(15, ranges);
|
|
65
|
+
expect(result.filePath).toBe('b.mcrs');
|
|
66
|
+
expect(result.line).toBe(5);
|
|
67
|
+
});
|
|
68
|
+
test('line outside ranges uses fallback file', () => {
|
|
69
|
+
const result = (0, compile_1.resolveSourceLine)(99, ranges, 'fallback.mcrs');
|
|
70
|
+
expect(result.filePath).toBe('fallback.mcrs');
|
|
71
|
+
expect(result.line).toBe(99);
|
|
72
|
+
});
|
|
73
|
+
test('line outside ranges with no fallback', () => {
|
|
74
|
+
const result = (0, compile_1.resolveSourceLine)(99, ranges);
|
|
75
|
+
expect(result.filePath).toBeUndefined();
|
|
76
|
+
expect(result.line).toBe(99);
|
|
77
|
+
});
|
|
78
|
+
test('empty ranges uses fallback', () => {
|
|
79
|
+
const result = (0, compile_1.resolveSourceLine)(5, [], 'default.mcrs');
|
|
80
|
+
expect(result.filePath).toBe('default.mcrs');
|
|
81
|
+
expect(result.line).toBe(5);
|
|
82
|
+
});
|
|
83
|
+
test('boundary line (startLine) maps correctly', () => {
|
|
84
|
+
const result = (0, compile_1.resolveSourceLine)(1, ranges);
|
|
85
|
+
expect(result.filePath).toBe('a.mcrs');
|
|
86
|
+
expect(result.line).toBe(1);
|
|
87
|
+
});
|
|
88
|
+
test('boundary line (endLine) maps correctly', () => {
|
|
89
|
+
const result = (0, compile_1.resolveSourceLine)(10, ranges);
|
|
90
|
+
expect(result.filePath).toBe('a.mcrs');
|
|
91
|
+
expect(result.line).toBe(10);
|
|
92
|
+
});
|
|
93
|
+
});
|
|
94
|
+
// ---------------------------------------------------------------------------
|
|
95
|
+
// preprocessSourceWithMetadata — basic (no imports)
|
|
96
|
+
// ---------------------------------------------------------------------------
|
|
97
|
+
describe('preprocessSourceWithMetadata — no imports', () => {
|
|
98
|
+
test('simple source returns unchanged source', () => {
|
|
99
|
+
const result = (0, compile_1.preprocessSourceWithMetadata)('fn f() { }');
|
|
100
|
+
expect(result.source).toContain('fn f()');
|
|
101
|
+
});
|
|
102
|
+
test('empty source returns empty', () => {
|
|
103
|
+
const result = (0, compile_1.preprocessSourceWithMetadata)('');
|
|
104
|
+
expect(result.source).toBe('');
|
|
105
|
+
expect(result.ranges).toEqual([]);
|
|
106
|
+
});
|
|
107
|
+
test('returns no libraryImports when none present', () => {
|
|
108
|
+
const result = (0, compile_1.preprocessSourceWithMetadata)('fn f() { }');
|
|
109
|
+
expect(result.libraryImports).toBeUndefined();
|
|
110
|
+
});
|
|
111
|
+
test('includes filePath in ranges when provided', () => {
|
|
112
|
+
const result = (0, compile_1.preprocessSourceWithMetadata)('fn f() { }', { filePath: 'test.mcrs' });
|
|
113
|
+
expect(result.ranges.length).toBeGreaterThan(0);
|
|
114
|
+
expect(result.ranges[0].filePath).toContain('test.mcrs');
|
|
115
|
+
});
|
|
116
|
+
});
|
|
117
|
+
// ---------------------------------------------------------------------------
|
|
118
|
+
// preprocessSourceWithMetadata — import without filePath throws
|
|
119
|
+
// ---------------------------------------------------------------------------
|
|
120
|
+
describe('preprocessSourceWithMetadata — import without filePath', () => {
|
|
121
|
+
test('throws ParseError when import used without filePath', () => {
|
|
122
|
+
const source = `import "stdlib/math";
|
|
123
|
+
fn f(): int { return 1; }
|
|
124
|
+
`;
|
|
125
|
+
expect(() => (0, compile_1.preprocessSourceWithMetadata)(source)).toThrow(/ParseError|Import statements require/);
|
|
126
|
+
});
|
|
127
|
+
});
|
|
128
|
+
// ---------------------------------------------------------------------------
|
|
129
|
+
// preprocessSourceWithMetadata — unresolvable import
|
|
130
|
+
// ---------------------------------------------------------------------------
|
|
131
|
+
describe('preprocessSourceWithMetadata — unresolvable import', () => {
|
|
132
|
+
test('throws ParseError when import path cannot be resolved', () => {
|
|
133
|
+
const tmpDir = fs.mkdtempSync(path.join(os.tmpdir(), 'rscript-test-'));
|
|
134
|
+
const mainFile = path.join(tmpDir, 'main.mcrs');
|
|
135
|
+
fs.writeFileSync(mainFile, `import "nonexistent_module_xyz";\nfn f(): int { return 1; }\n`);
|
|
136
|
+
try {
|
|
137
|
+
expect(() => (0, compile_1.preprocessSourceWithMetadata)(fs.readFileSync(mainFile, 'utf-8'), { filePath: mainFile })).toThrow(/Cannot import|nonexistent_module_xyz/);
|
|
138
|
+
}
|
|
139
|
+
finally {
|
|
140
|
+
fs.rmSync(tmpDir, { recursive: true });
|
|
141
|
+
}
|
|
142
|
+
});
|
|
143
|
+
});
|
|
144
|
+
// ---------------------------------------------------------------------------
|
|
145
|
+
// preprocessSourceWithMetadata — library source detection
|
|
146
|
+
// ---------------------------------------------------------------------------
|
|
147
|
+
describe('preprocessSourceWithMetadata — library source', () => {
|
|
148
|
+
test('isLibrarySource: module library at top is recognized as library', () => {
|
|
149
|
+
const tmpDir = fs.mkdtempSync(path.join(os.tmpdir(), 'rscript-lib-'));
|
|
150
|
+
const libFile = path.join(tmpDir, 'mylib.mcrs');
|
|
151
|
+
const mainFile = path.join(tmpDir, 'main.mcrs');
|
|
152
|
+
fs.writeFileSync(libFile, `module library;\nfn lib_fn(): int { return 42; }\n`);
|
|
153
|
+
fs.writeFileSync(mainFile, `import "mylib";\nfn main(): int { return lib_fn(); }\n`);
|
|
154
|
+
try {
|
|
155
|
+
const result = (0, compile_1.preprocessSourceWithMetadata)(fs.readFileSync(mainFile, 'utf-8'), { filePath: mainFile });
|
|
156
|
+
// Library imports should be collected separately
|
|
157
|
+
expect(result.libraryImports).toBeDefined();
|
|
158
|
+
expect(result.libraryImports.length).toBeGreaterThan(0);
|
|
159
|
+
expect(result.libraryImports[0].source).toContain('module library');
|
|
160
|
+
}
|
|
161
|
+
finally {
|
|
162
|
+
fs.rmSync(tmpDir, { recursive: true });
|
|
163
|
+
}
|
|
164
|
+
});
|
|
165
|
+
test('isLibrarySource: source with only comments before module library', () => {
|
|
166
|
+
const tmpDir = fs.mkdtempSync(path.join(os.tmpdir(), 'rscript-lib2-'));
|
|
167
|
+
const libFile = path.join(tmpDir, 'commented_lib.mcrs');
|
|
168
|
+
const mainFile = path.join(tmpDir, 'main.mcrs');
|
|
169
|
+
// Comments before module declaration
|
|
170
|
+
fs.writeFileSync(libFile, `// This is a library\n// Usage: import this\n\nmodule library;\nfn helper(): int { return 1; }\n`);
|
|
171
|
+
fs.writeFileSync(mainFile, `import "commented_lib";\nfn main(): int { return helper(); }\n`);
|
|
172
|
+
try {
|
|
173
|
+
const result = (0, compile_1.preprocessSourceWithMetadata)(fs.readFileSync(mainFile, 'utf-8'), { filePath: mainFile });
|
|
174
|
+
expect(result.libraryImports).toBeDefined();
|
|
175
|
+
}
|
|
176
|
+
finally {
|
|
177
|
+
fs.rmSync(tmpDir, { recursive: true });
|
|
178
|
+
}
|
|
179
|
+
});
|
|
180
|
+
test('non-library import is concatenated into source', () => {
|
|
181
|
+
const tmpDir = fs.mkdtempSync(path.join(os.tmpdir(), 'rscript-nolib-'));
|
|
182
|
+
const modFile = path.join(tmpDir, 'helpers.mcrs');
|
|
183
|
+
const mainFile = path.join(tmpDir, 'main.mcrs');
|
|
184
|
+
// No "module library" declaration
|
|
185
|
+
fs.writeFileSync(modFile, `fn helper(): int { return 99; }\n`);
|
|
186
|
+
fs.writeFileSync(mainFile, `import "helpers";\nfn main(): int { return helper(); }\n`);
|
|
187
|
+
try {
|
|
188
|
+
const result = (0, compile_1.preprocessSourceWithMetadata)(fs.readFileSync(mainFile, 'utf-8'), { filePath: mainFile });
|
|
189
|
+
// Should be concatenated (no libraryImports)
|
|
190
|
+
expect(result.libraryImports).toBeUndefined();
|
|
191
|
+
expect(result.source).toContain('fn helper()');
|
|
192
|
+
}
|
|
193
|
+
finally {
|
|
194
|
+
fs.rmSync(tmpDir, { recursive: true });
|
|
195
|
+
}
|
|
196
|
+
});
|
|
197
|
+
});
|
|
198
|
+
// ---------------------------------------------------------------------------
|
|
199
|
+
// preprocessSourceWithMetadata — stdlib import
|
|
200
|
+
// ---------------------------------------------------------------------------
|
|
201
|
+
describe('preprocessSourceWithMetadata — stdlib imports', () => {
|
|
202
|
+
test('stdlib/math import resolves correctly', () => {
|
|
203
|
+
const tmpDir = fs.mkdtempSync(path.join(os.tmpdir(), 'rscript-stdlib-'));
|
|
204
|
+
const mainFile = path.join(tmpDir, 'main.mcrs');
|
|
205
|
+
fs.writeFileSync(mainFile, `import "stdlib/math";\nfn f(): int { return abs(-5); }\n`);
|
|
206
|
+
try {
|
|
207
|
+
const result = (0, compile_1.preprocessSourceWithMetadata)(fs.readFileSync(mainFile, 'utf-8'), { filePath: mainFile });
|
|
208
|
+
// math.mcrs is a library, so it goes to libraryImports
|
|
209
|
+
expect(result.libraryImports).toBeDefined();
|
|
210
|
+
}
|
|
211
|
+
finally {
|
|
212
|
+
fs.rmSync(tmpDir, { recursive: true });
|
|
213
|
+
}
|
|
214
|
+
});
|
|
215
|
+
});
|
|
216
|
+
// ---------------------------------------------------------------------------
|
|
217
|
+
// preprocessSourceWithMetadata — includeDirs
|
|
218
|
+
// ---------------------------------------------------------------------------
|
|
219
|
+
describe('preprocessSourceWithMetadata — includeDirs', () => {
|
|
220
|
+
test('includeDirs resolves imports from extra directories', () => {
|
|
221
|
+
const tmpDir = fs.mkdtempSync(path.join(os.tmpdir(), 'rscript-extra-'));
|
|
222
|
+
const extraDir = path.join(tmpDir, 'extra');
|
|
223
|
+
fs.mkdirSync(extraDir);
|
|
224
|
+
const mainFile = path.join(tmpDir, 'main.mcrs');
|
|
225
|
+
const libFile = path.join(extraDir, 'custom_lib.mcrs');
|
|
226
|
+
fs.writeFileSync(libFile, `fn custom(): int { return 77; }\n`);
|
|
227
|
+
fs.writeFileSync(mainFile, `import "custom_lib";\nfn f(): int { return custom(); }\n`);
|
|
228
|
+
try {
|
|
229
|
+
const result = (0, compile_1.preprocessSourceWithMetadata)(fs.readFileSync(mainFile, 'utf-8'), { filePath: mainFile, includeDirs: [extraDir] });
|
|
230
|
+
expect(result.source).toContain('fn custom()');
|
|
231
|
+
}
|
|
232
|
+
finally {
|
|
233
|
+
fs.rmSync(tmpDir, { recursive: true });
|
|
234
|
+
}
|
|
235
|
+
});
|
|
236
|
+
});
|
|
237
|
+
// ---------------------------------------------------------------------------
|
|
238
|
+
// preprocessSourceWithMetadata — duplicate import deduplication
|
|
239
|
+
// ---------------------------------------------------------------------------
|
|
240
|
+
describe('preprocessSourceWithMetadata — deduplication', () => {
|
|
241
|
+
test('same file imported twice is only included once', () => {
|
|
242
|
+
const tmpDir = fs.mkdtempSync(path.join(os.tmpdir(), 'rscript-dup-'));
|
|
243
|
+
const libFile = path.join(tmpDir, 'dup.mcrs');
|
|
244
|
+
const mod1File = path.join(tmpDir, 'mod1.mcrs');
|
|
245
|
+
const mainFile = path.join(tmpDir, 'main.mcrs');
|
|
246
|
+
fs.writeFileSync(libFile, `fn shared(): int { return 1; }\n`);
|
|
247
|
+
fs.writeFileSync(mod1File, `import "dup";\nfn from_mod1(): int { return shared(); }\n`);
|
|
248
|
+
fs.writeFileSync(mainFile, `import "dup";\nimport "mod1";\nfn main(): int { return from_mod1(); }\n`);
|
|
249
|
+
try {
|
|
250
|
+
const result = (0, compile_1.preprocessSourceWithMetadata)(fs.readFileSync(mainFile, 'utf-8'), { filePath: mainFile });
|
|
251
|
+
// dup.mcrs should only appear once in source
|
|
252
|
+
const dupCount = (result.source.match(/fn shared\(\)/g) ?? []).length;
|
|
253
|
+
expect(dupCount).toBe(1);
|
|
254
|
+
}
|
|
255
|
+
finally {
|
|
256
|
+
fs.rmSync(tmpDir, { recursive: true });
|
|
257
|
+
}
|
|
258
|
+
});
|
|
259
|
+
});
|
|
260
|
+
// ---------------------------------------------------------------------------
|
|
261
|
+
// preprocessSourceWithMetadata — .mcrs extension handling
|
|
262
|
+
// ---------------------------------------------------------------------------
|
|
263
|
+
describe('preprocessSourceWithMetadata — extension handling', () => {
|
|
264
|
+
test('import with explicit .mcrs extension resolves', () => {
|
|
265
|
+
const tmpDir = fs.mkdtempSync(path.join(os.tmpdir(), 'rscript-ext-'));
|
|
266
|
+
const libFile = path.join(tmpDir, 'withext.mcrs');
|
|
267
|
+
const mainFile = path.join(tmpDir, 'main.mcrs');
|
|
268
|
+
fs.writeFileSync(libFile, `fn ext_fn(): int { return 5; }\n`);
|
|
269
|
+
fs.writeFileSync(mainFile, `import "withext.mcrs";\nfn f(): int { return ext_fn(); }\n`);
|
|
270
|
+
try {
|
|
271
|
+
const result = (0, compile_1.preprocessSourceWithMetadata)(fs.readFileSync(mainFile, 'utf-8'), { filePath: mainFile });
|
|
272
|
+
expect(result.source).toContain('fn ext_fn()');
|
|
273
|
+
}
|
|
274
|
+
finally {
|
|
275
|
+
fs.rmSync(tmpDir, { recursive: true });
|
|
276
|
+
}
|
|
277
|
+
});
|
|
278
|
+
});
|
|
279
|
+
// ---------------------------------------------------------------------------
|
|
280
|
+
// preprocessSourceWithMetadata — ranges include library transitive imports
|
|
281
|
+
// ---------------------------------------------------------------------------
|
|
282
|
+
describe('preprocessSourceWithMetadata — transitive library imports', () => {
|
|
283
|
+
test('transitive library imports are collected', () => {
|
|
284
|
+
const tmpDir = fs.mkdtempSync(path.join(os.tmpdir(), 'rscript-trans-'));
|
|
285
|
+
const innerLib = path.join(tmpDir, 'inner.mcrs');
|
|
286
|
+
const outerLib = path.join(tmpDir, 'outer.mcrs');
|
|
287
|
+
const mainFile = path.join(tmpDir, 'main.mcrs');
|
|
288
|
+
fs.writeFileSync(innerLib, `module library;\nfn inner(): int { return 1; }\n`);
|
|
289
|
+
fs.writeFileSync(outerLib, `module library;\nimport "inner";\nfn outer(): int { return inner(); }\n`);
|
|
290
|
+
fs.writeFileSync(mainFile, `import "outer";\nfn main(): int { return outer(); }\n`);
|
|
291
|
+
try {
|
|
292
|
+
const result = (0, compile_1.preprocessSourceWithMetadata)(fs.readFileSync(mainFile, 'utf-8'), { filePath: mainFile });
|
|
293
|
+
// Both library files should be collected
|
|
294
|
+
expect(result.libraryImports).toBeDefined();
|
|
295
|
+
expect(result.libraryImports.length).toBeGreaterThanOrEqual(1);
|
|
296
|
+
}
|
|
297
|
+
finally {
|
|
298
|
+
fs.rmSync(tmpDir, { recursive: true });
|
|
299
|
+
}
|
|
300
|
+
});
|
|
301
|
+
});
|
|
302
|
+
// ---------------------------------------------------------------------------
|
|
303
|
+
// preprocessSource (wrapper)
|
|
304
|
+
// ---------------------------------------------------------------------------
|
|
305
|
+
describe('preprocessSource', () => {
|
|
306
|
+
test('returns source string same as preprocessSourceWithMetadata.source', () => {
|
|
307
|
+
const source = 'fn f(): int { return 0; }';
|
|
308
|
+
const result = (0, compile_1.preprocessSource)(source);
|
|
309
|
+
const meta = (0, compile_1.preprocessSourceWithMetadata)(source);
|
|
310
|
+
expect(result).toBe(meta.source);
|
|
311
|
+
});
|
|
312
|
+
test('accepts options', () => {
|
|
313
|
+
const tmpDir = fs.mkdtempSync(path.join(os.tmpdir(), 'rscript-wrap-'));
|
|
314
|
+
const libFile = path.join(tmpDir, 'wraplib.mcrs');
|
|
315
|
+
const mainFile = path.join(tmpDir, 'main.mcrs');
|
|
316
|
+
fs.writeFileSync(libFile, `fn wrap(): int { return 7; }\n`);
|
|
317
|
+
fs.writeFileSync(mainFile, `import "wraplib";\nfn f(): int { return wrap(); }\n`);
|
|
318
|
+
try {
|
|
319
|
+
const source = fs.readFileSync(mainFile, 'utf-8');
|
|
320
|
+
const result = (0, compile_1.preprocessSource)(source, { filePath: mainFile });
|
|
321
|
+
expect(result).toContain('fn wrap()');
|
|
322
|
+
}
|
|
323
|
+
finally {
|
|
324
|
+
fs.rmSync(tmpDir, { recursive: true });
|
|
325
|
+
}
|
|
326
|
+
});
|
|
327
|
+
});
|
|
328
|
+
//# sourceMappingURL=compile-preprocess.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
export {};
|
|
@@ -0,0 +1,58 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
+
const lexer_1 = require("../../lexer");
|
|
4
|
+
const parser_1 = require("../../parser");
|
|
5
|
+
const lower_1 = require("../../hir/lower");
|
|
6
|
+
const lower_2 = require("../../mir/lower");
|
|
7
|
+
const verify_1 = require("../../mir/verify");
|
|
8
|
+
const compile_1 = require("../../emit/compile");
|
|
9
|
+
const SOURCE = `
|
|
10
|
+
fn test_break() {
|
|
11
|
+
let i: int = 0
|
|
12
|
+
while i < 10 {
|
|
13
|
+
if i == 5 { break }
|
|
14
|
+
i = i + 1
|
|
15
|
+
}
|
|
16
|
+
// i should be 5
|
|
17
|
+
}
|
|
18
|
+
`;
|
|
19
|
+
function parse(source) {
|
|
20
|
+
const tokens = new lexer_1.Lexer(source).tokenize();
|
|
21
|
+
return new parser_1.Parser(tokens, source).parse('test');
|
|
22
|
+
}
|
|
23
|
+
function lowerFn(source) {
|
|
24
|
+
const ast = parse(source);
|
|
25
|
+
const hir = (0, lower_1.lowerToHIR)(ast);
|
|
26
|
+
const mir = (0, lower_2.lowerToMIR)(hir);
|
|
27
|
+
expect((0, verify_1.verifyMIR)(mir)).toEqual([]);
|
|
28
|
+
return mir.functions.find(fn => fn.name === 'test_break');
|
|
29
|
+
}
|
|
30
|
+
describe('break statement', () => {
|
|
31
|
+
test('parser recognizes break inside while', () => {
|
|
32
|
+
const ast = parse(SOURCE);
|
|
33
|
+
const whileStmt = ast.declarations[0].body[1];
|
|
34
|
+
expect(whileStmt.kind).toBe('while');
|
|
35
|
+
if (whileStmt.kind !== 'while')
|
|
36
|
+
throw new Error('expected while statement');
|
|
37
|
+
const ifStmt = whileStmt.body[0];
|
|
38
|
+
expect(ifStmt.kind).toBe('if');
|
|
39
|
+
if (ifStmt.kind !== 'if')
|
|
40
|
+
throw new Error('expected if statement');
|
|
41
|
+
expect(ifStmt.then[0]).toMatchObject({ kind: 'break' });
|
|
42
|
+
});
|
|
43
|
+
test('MIR lowering turns break into jump to loop exit block', () => {
|
|
44
|
+
const fn = lowerFn(SOURCE);
|
|
45
|
+
const exitBlock = fn.blocks.find(block => block.id.startsWith('loop_exit'));
|
|
46
|
+
expect(exitBlock).toBeDefined();
|
|
47
|
+
const breakJump = fn.blocks.find(block => block.term.kind === 'jump' &&
|
|
48
|
+
block.term.target === exitBlock.id &&
|
|
49
|
+
!block.id.startsWith('loop_header') &&
|
|
50
|
+
!block.id.startsWith('loop_exit') &&
|
|
51
|
+
!block.id.startsWith('entry'));
|
|
52
|
+
expect(breakJump).toBeDefined();
|
|
53
|
+
});
|
|
54
|
+
test('end-to-end compile accepts while break program', () => {
|
|
55
|
+
expect(() => (0, compile_1.compile)(SOURCE, { namespace: 'test' })).not.toThrow();
|
|
56
|
+
});
|
|
57
|
+
});
|
|
58
|
+
//# sourceMappingURL=break-stmt.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
export {};
|
|
@@ -0,0 +1,123 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
+
const lexer_1 = require("../../lexer");
|
|
4
|
+
const parser_1 = require("../../parser");
|
|
5
|
+
const lower_1 = require("../../hir/lower");
|
|
6
|
+
const lower_2 = require("../../mir/lower");
|
|
7
|
+
const verify_1 = require("../../mir/verify");
|
|
8
|
+
const compile_1 = require("../../emit/compile");
|
|
9
|
+
function parse(source) {
|
|
10
|
+
const tokens = new lexer_1.Lexer(source).tokenize();
|
|
11
|
+
return new parser_1.Parser(tokens, source).parse('test');
|
|
12
|
+
}
|
|
13
|
+
// ---------------------------------------------------------------------------
|
|
14
|
+
// Top-level const declarations
|
|
15
|
+
// ---------------------------------------------------------------------------
|
|
16
|
+
const TOP_LEVEL_CONST_SOURCE = `
|
|
17
|
+
const MAX_HEALTH: int = 20
|
|
18
|
+
const PI_APPROX: int = 31416
|
|
19
|
+
|
|
20
|
+
fn test() {
|
|
21
|
+
let h = MAX_HEALTH
|
|
22
|
+
let pi = PI_APPROX
|
|
23
|
+
}
|
|
24
|
+
`;
|
|
25
|
+
describe('top-level const declarations', () => {
|
|
26
|
+
test('parser collects consts into program.consts', () => {
|
|
27
|
+
const ast = parse(TOP_LEVEL_CONST_SOURCE);
|
|
28
|
+
expect(ast.consts).toHaveLength(2);
|
|
29
|
+
expect(ast.consts[0].name).toBe('MAX_HEALTH');
|
|
30
|
+
expect(ast.consts[0].value).toMatchObject({ kind: 'int_lit', value: 20 });
|
|
31
|
+
expect(ast.consts[1].name).toBe('PI_APPROX');
|
|
32
|
+
expect(ast.consts[1].value).toMatchObject({ kind: 'int_lit', value: 31416 });
|
|
33
|
+
});
|
|
34
|
+
test('HIR preserves consts array', () => {
|
|
35
|
+
const ast = parse(TOP_LEVEL_CONST_SOURCE);
|
|
36
|
+
const hir = (0, lower_1.lowerToHIR)(ast);
|
|
37
|
+
expect(hir.consts).toHaveLength(2);
|
|
38
|
+
expect(hir.consts[0].name).toBe('MAX_HEALTH');
|
|
39
|
+
});
|
|
40
|
+
test('MIR inlines constants at use sites — copy src is a const operand', () => {
|
|
41
|
+
const ast = parse(TOP_LEVEL_CONST_SOURCE);
|
|
42
|
+
const hir = (0, lower_1.lowerToHIR)(ast);
|
|
43
|
+
const mir = (0, lower_2.lowerToMIR)(hir);
|
|
44
|
+
expect((0, verify_1.verifyMIR)(mir)).toEqual([]);
|
|
45
|
+
const fn = mir.functions.find(f => f.name === 'test');
|
|
46
|
+
expect(fn).toBeDefined();
|
|
47
|
+
const allInstrs = fn.blocks.flatMap(b => b.instrs);
|
|
48
|
+
// When MAX_HEALTH / PI_APPROX are referenced, a copy instr is emitted with a const operand src
|
|
49
|
+
const copyConstSrcs = allInstrs
|
|
50
|
+
.filter(i => i.kind === 'copy' && i.src.kind === 'const')
|
|
51
|
+
.map(i => i.src.value);
|
|
52
|
+
expect(copyConstSrcs).toContain(20);
|
|
53
|
+
expect(copyConstSrcs).toContain(31416);
|
|
54
|
+
});
|
|
55
|
+
test('end-to-end compile accepts const declarations', () => {
|
|
56
|
+
expect(() => (0, compile_1.compile)(TOP_LEVEL_CONST_SOURCE, { namespace: 'test' })).not.toThrow();
|
|
57
|
+
});
|
|
58
|
+
});
|
|
59
|
+
// ---------------------------------------------------------------------------
|
|
60
|
+
// Local (function-body) const declarations
|
|
61
|
+
// ---------------------------------------------------------------------------
|
|
62
|
+
const LOCAL_CONST_SOURCE = `
|
|
63
|
+
fn compute() {
|
|
64
|
+
const FACTOR: int = 100
|
|
65
|
+
let result = FACTOR
|
|
66
|
+
}
|
|
67
|
+
`;
|
|
68
|
+
describe('local const declarations (inside function)', () => {
|
|
69
|
+
test('parser produces const_decl stmt in function body', () => {
|
|
70
|
+
const ast = parse(LOCAL_CONST_SOURCE);
|
|
71
|
+
const fn = ast.declarations[0];
|
|
72
|
+
expect(fn.body[0]).toMatchObject({ kind: 'const_decl', name: 'FACTOR' });
|
|
73
|
+
});
|
|
74
|
+
test('HIR preserves const_decl stmt', () => {
|
|
75
|
+
const ast = parse(LOCAL_CONST_SOURCE);
|
|
76
|
+
const hir = (0, lower_1.lowerToHIR)(ast);
|
|
77
|
+
const fn = hir.functions[0];
|
|
78
|
+
expect(fn.body[0]).toMatchObject({ kind: 'const_decl', name: 'FACTOR' });
|
|
79
|
+
});
|
|
80
|
+
test('MIR inlines local constant at use sites', () => {
|
|
81
|
+
const ast = parse(LOCAL_CONST_SOURCE);
|
|
82
|
+
const hir = (0, lower_1.lowerToHIR)(ast);
|
|
83
|
+
const mir = (0, lower_2.lowerToMIR)(hir);
|
|
84
|
+
expect((0, verify_1.verifyMIR)(mir)).toEqual([]);
|
|
85
|
+
const fn = mir.functions.find(f => f.name === 'compute');
|
|
86
|
+
expect(fn).toBeDefined();
|
|
87
|
+
const allInstrs = fn.blocks.flatMap(b => b.instrs);
|
|
88
|
+
// FACTOR=100 is inlined at the use site as a const operand in a copy instruction
|
|
89
|
+
const copyConstSrcs = allInstrs
|
|
90
|
+
.filter(i => i.kind === 'copy' && i.src.kind === 'const')
|
|
91
|
+
.map(i => i.src.value);
|
|
92
|
+
expect(copyConstSrcs).toContain(100);
|
|
93
|
+
});
|
|
94
|
+
test('end-to-end compile accepts local const', () => {
|
|
95
|
+
expect(() => (0, compile_1.compile)(LOCAL_CONST_SOURCE, { namespace: 'test' })).not.toThrow();
|
|
96
|
+
});
|
|
97
|
+
});
|
|
98
|
+
// ---------------------------------------------------------------------------
|
|
99
|
+
// Bool const
|
|
100
|
+
// ---------------------------------------------------------------------------
|
|
101
|
+
const BOOL_CONST_SOURCE = `
|
|
102
|
+
const FLAG: bool = true
|
|
103
|
+
|
|
104
|
+
fn check() {
|
|
105
|
+
let f = FLAG
|
|
106
|
+
}
|
|
107
|
+
`;
|
|
108
|
+
describe('bool const declarations', () => {
|
|
109
|
+
test('bool const is inlined as 1', () => {
|
|
110
|
+
const ast = parse(BOOL_CONST_SOURCE);
|
|
111
|
+
const hir = (0, lower_1.lowerToHIR)(ast);
|
|
112
|
+
const mir = (0, lower_2.lowerToMIR)(hir);
|
|
113
|
+
expect((0, verify_1.verifyMIR)(mir)).toEqual([]);
|
|
114
|
+
const fn = mir.functions.find(f => f.name === 'check');
|
|
115
|
+
expect(fn).toBeDefined();
|
|
116
|
+
const allInstrs = fn.blocks.flatMap(b => b.instrs);
|
|
117
|
+
const copyConstSrcs = allInstrs
|
|
118
|
+
.filter(i => i.kind === 'copy' && i.src.kind === 'const')
|
|
119
|
+
.map(i => i.src.value);
|
|
120
|
+
expect(copyConstSrcs).toContain(1);
|
|
121
|
+
});
|
|
122
|
+
});
|
|
123
|
+
//# sourceMappingURL=const-decl.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
export {};
|
|
@@ -0,0 +1,67 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
+
const lexer_1 = require("../../lexer");
|
|
4
|
+
const parser_1 = require("../../parser");
|
|
5
|
+
const lower_1 = require("../../hir/lower");
|
|
6
|
+
const lower_2 = require("../../mir/lower");
|
|
7
|
+
const verify_1 = require("../../mir/verify");
|
|
8
|
+
const compile_1 = require("../../emit/compile");
|
|
9
|
+
const SOURCE = `
|
|
10
|
+
fn test_continue() {
|
|
11
|
+
let sum: int = 0
|
|
12
|
+
let i: int = 0
|
|
13
|
+
while (i < 10) {
|
|
14
|
+
i = i + 1
|
|
15
|
+
if (i % 2 == 0) { continue }
|
|
16
|
+
sum = sum + i
|
|
17
|
+
}
|
|
18
|
+
}
|
|
19
|
+
`;
|
|
20
|
+
function parse(source, namespace = 'test') {
|
|
21
|
+
const tokens = new lexer_1.Lexer(source).tokenize();
|
|
22
|
+
return new parser_1.Parser(tokens).parse(namespace);
|
|
23
|
+
}
|
|
24
|
+
function compileMIR(source) {
|
|
25
|
+
const ast = parse(source);
|
|
26
|
+
const hir = (0, lower_1.lowerToHIR)(ast);
|
|
27
|
+
return (0, lower_2.lowerToMIR)(hir);
|
|
28
|
+
}
|
|
29
|
+
function getFn(mod, name) {
|
|
30
|
+
if (name)
|
|
31
|
+
return mod.functions.find(f => f.name === name);
|
|
32
|
+
return mod.functions[0];
|
|
33
|
+
}
|
|
34
|
+
describe('continue statement', () => {
|
|
35
|
+
test('parser builds continue AST node inside while body', () => {
|
|
36
|
+
const program = parse(SOURCE);
|
|
37
|
+
const whileStmt = program.declarations[0].body[2];
|
|
38
|
+
expect(whileStmt.kind).toBe('while');
|
|
39
|
+
if (whileStmt.kind !== 'while') {
|
|
40
|
+
throw new Error('expected while statement');
|
|
41
|
+
}
|
|
42
|
+
const ifStmt = whileStmt.body[1];
|
|
43
|
+
expect(ifStmt.kind).toBe('if');
|
|
44
|
+
if (ifStmt.kind !== 'if') {
|
|
45
|
+
throw new Error('expected if statement');
|
|
46
|
+
}
|
|
47
|
+
expect(ifStmt.then[0]).toMatchObject({ kind: 'continue' });
|
|
48
|
+
});
|
|
49
|
+
test('MIR lowers continue to a jump back to loop header', () => {
|
|
50
|
+
const mod = compileMIR(SOURCE);
|
|
51
|
+
expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
|
|
52
|
+
const fn = getFn(mod, 'test_continue');
|
|
53
|
+
const headerBlock = fn.blocks.find(b => b.id.startsWith('loop_header'));
|
|
54
|
+
expect(headerBlock).toBeDefined();
|
|
55
|
+
const continueBlock = fn.blocks.find(b => b.term.kind === 'jump' &&
|
|
56
|
+
b.term.target === headerBlock.id &&
|
|
57
|
+
!b.id.startsWith('loop_header') &&
|
|
58
|
+
!b.id.startsWith('entry'));
|
|
59
|
+
expect(continueBlock).toBeDefined();
|
|
60
|
+
});
|
|
61
|
+
test('full compiler pipeline accepts while + continue program', () => {
|
|
62
|
+
const result = (0, compile_1.compile)(SOURCE, { namespace: 'test' });
|
|
63
|
+
expect(result.files.length).toBeGreaterThan(0);
|
|
64
|
+
expect(result.files.some(f => f.path.endsWith('function/test_continue.mcfunction'))).toBe(true);
|
|
65
|
+
});
|
|
66
|
+
});
|
|
67
|
+
//# sourceMappingURL=continue-stmt.test.js.map
|
|
@@ -0,0 +1,17 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Extended tests for the coroutine transform pass.
|
|
3
|
+
*
|
|
4
|
+
* Covers edge cases and code paths not exercised by the basic coroutine tests:
|
|
5
|
+
* - Post-loop continuation blocks (after loop exit)
|
|
6
|
+
* - Multiple @coroutine functions in one module
|
|
7
|
+
* - buildDispatcher with 0 continuations (empty list)
|
|
8
|
+
* - buildInitFunction with copy & fallback promoted var init
|
|
9
|
+
* - rewriteInstr: neg, not, nbt_read, nbt_read_dynamic, nbt_write, nbt_write_dynamic,
|
|
10
|
+
* score_read, score_write, call_macro, call_context, return with value
|
|
11
|
+
* - rewriteTerminator (jump, branch, default)
|
|
12
|
+
* - buildLoopContinuation exit-block redirect branches (!thenInLoop && elseInLoop)
|
|
13
|
+
* - intersect idom fallback in dominator computation
|
|
14
|
+
* - getUsedTemps for nbt_write, nbt_write_dynamic, return with value
|
|
15
|
+
* - @coroutine function with both a loop AND post-loop blocks
|
|
16
|
+
*/
|
|
17
|
+
export {};
|