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.
Files changed (636) hide show
  1. package/.github/workflows/ci.yml +11 -0
  2. package/CHANGELOG.md +18 -9
  3. package/README-benchmarks.md +48 -0
  4. package/README-vscode-test.md +251 -0
  5. package/RELEASE_NOTES.md +74 -0
  6. package/ROADMAP.md +131 -167
  7. package/benchmarks/_shared.ts +468 -0
  8. package/benchmarks/baseline.json +2816 -0
  9. package/benchmarks/baseline.md +13 -0
  10. package/benchmarks/compiler-perf.report.json +207 -0
  11. package/benchmarks/compiler-perf.ts +76 -0
  12. package/benchmarks/results.md +13 -0
  13. package/benchmarks/stdlib-complexity.report.json +2606 -0
  14. package/benchmarks/stdlib-complexity.ts +54 -0
  15. package/benchmarks/stdlib-size.md +57 -0
  16. package/benchmarks/stdlib-size.ts +91 -0
  17. package/coverage-report.md +177 -0
  18. package/dist/src/__tests__/budget.test.js +4 -0
  19. package/dist/src/__tests__/cache/cache-behavior.test.d.ts +10 -0
  20. package/dist/src/__tests__/cache/cache-behavior.test.js +425 -0
  21. package/dist/src/__tests__/cache-extra.test.d.ts +5 -0
  22. package/dist/src/__tests__/cache-extra.test.js +211 -0
  23. package/dist/src/__tests__/cli-init.test.d.ts +1 -0
  24. package/dist/src/__tests__/cli-init.test.js +97 -0
  25. package/dist/src/__tests__/cli-publish.test.d.ts +9 -0
  26. package/dist/src/__tests__/cli-publish.test.js +189 -0
  27. package/dist/src/__tests__/cli.test.js +76 -0
  28. package/dist/src/__tests__/compile-preprocess.test.d.ts +11 -0
  29. package/dist/src/__tests__/compile-preprocess.test.js +328 -0
  30. package/dist/src/__tests__/compiler/break-stmt.test.d.ts +1 -0
  31. package/dist/src/__tests__/compiler/break-stmt.test.js +58 -0
  32. package/dist/src/__tests__/compiler/const-decl.test.d.ts +1 -0
  33. package/dist/src/__tests__/compiler/const-decl.test.js +123 -0
  34. package/dist/src/__tests__/compiler/continue-stmt.test.d.ts +1 -0
  35. package/dist/src/__tests__/compiler/continue-stmt.test.js +67 -0
  36. package/dist/src/__tests__/compiler/coroutine-extended.test.d.ts +17 -0
  37. package/dist/src/__tests__/compiler/coroutine-extended.test.js +565 -0
  38. package/dist/src/__tests__/compiler/deprecated.test.d.ts +4 -0
  39. package/dist/src/__tests__/compiler/deprecated.test.js +285 -0
  40. package/dist/src/__tests__/compiler/do-while.test.d.ts +1 -0
  41. package/dist/src/__tests__/compiler/do-while.test.js +120 -0
  42. package/dist/src/__tests__/compiler/enum-payload.test.d.ts +9 -0
  43. package/dist/src/__tests__/compiler/enum-payload.test.js +272 -0
  44. package/dist/src/__tests__/compiler/interface.test.d.ts +10 -0
  45. package/dist/src/__tests__/compiler/interface.test.js +258 -0
  46. package/dist/src/__tests__/compiler/labeled-loops.test.d.ts +1 -0
  47. package/dist/src/__tests__/compiler/labeled-loops.test.js +263 -0
  48. package/dist/src/__tests__/compiler/match-string.test.d.ts +1 -0
  49. package/dist/src/__tests__/compiler/match-string.test.js +43 -0
  50. package/dist/src/__tests__/compiler/memoize.test.d.ts +1 -0
  51. package/dist/src/__tests__/compiler/memoize.test.js +113 -0
  52. package/dist/src/__tests__/compiler/method-chain.test.d.ts +5 -0
  53. package/dist/src/__tests__/compiler/method-chain.test.js +115 -0
  54. package/dist/src/__tests__/compiler/module-import.test.d.ts +12 -0
  55. package/dist/src/__tests__/compiler/module-import.test.js +261 -0
  56. package/dist/src/__tests__/compiler/option-extensions.test.d.ts +6 -0
  57. package/dist/src/__tests__/compiler/option-extensions.test.js +191 -0
  58. package/dist/src/__tests__/compiler/profile-decorator.test.d.ts +1 -0
  59. package/dist/src/__tests__/compiler/profile-decorator.test.js +69 -0
  60. package/dist/src/__tests__/compiler/string-advanced.test.d.ts +7 -0
  61. package/dist/src/__tests__/compiler/string-advanced.test.js +281 -0
  62. package/dist/src/__tests__/compiler/struct-extends.test.d.ts +1 -0
  63. package/dist/src/__tests__/compiler/struct-extends.test.js +95 -0
  64. package/dist/src/__tests__/compiler/throttle-retry.test.d.ts +1 -0
  65. package/dist/src/__tests__/compiler/throttle-retry.test.js +166 -0
  66. package/dist/src/__tests__/compiler/tuple-type.test.d.ts +10 -0
  67. package/dist/src/__tests__/compiler/tuple-type.test.js +229 -0
  68. package/dist/src/__tests__/compiler/watch-decorator.test.d.ts +1 -0
  69. package/dist/src/__tests__/compiler/watch-decorator.test.js +65 -0
  70. package/dist/src/__tests__/config/project-config.test.d.ts +1 -0
  71. package/dist/src/__tests__/config/project-config.test.js +199 -0
  72. package/dist/src/__tests__/config-decorator.test.d.ts +8 -0
  73. package/dist/src/__tests__/config-decorator.test.js +142 -0
  74. package/dist/src/__tests__/diagnostics-extra.test.d.ts +6 -0
  75. package/dist/src/__tests__/diagnostics-extra.test.js +132 -0
  76. package/dist/src/__tests__/emit/compile-branches.test.d.ts +1 -0
  77. package/dist/src/__tests__/emit/compile-branches.test.js +123 -0
  78. package/dist/src/__tests__/emit/compile-coverage.test.d.ts +25 -0
  79. package/dist/src/__tests__/emit/compile-coverage.test.js +617 -0
  80. package/dist/src/__tests__/emit/compile-extra-branches.test.d.ts +12 -0
  81. package/dist/src/__tests__/emit/compile-extra-branches.test.js +225 -0
  82. package/dist/src/__tests__/emit/compile-mocked-branches.test.d.ts +0 -0
  83. package/dist/src/__tests__/emit/compile-mocked-branches.test.js +238 -0
  84. package/dist/src/__tests__/emit/execute-chain.test.d.ts +10 -0
  85. package/dist/src/__tests__/emit/execute-chain.test.js +94 -0
  86. package/dist/src/__tests__/emit/index.test.js +2 -1
  87. package/dist/src/__tests__/emit/modules-branches.test.d.ts +1 -0
  88. package/dist/src/__tests__/emit/modules-branches.test.js +88 -0
  89. package/dist/src/__tests__/emit/modules-coverage.test.d.ts +15 -0
  90. package/dist/src/__tests__/emit/modules-coverage.test.js +221 -0
  91. package/dist/src/__tests__/emit/modules-errors.test.d.ts +12 -0
  92. package/dist/src/__tests__/emit/modules-errors.test.js +169 -0
  93. package/dist/src/__tests__/emit/modules-rewrite.test.d.ts +17 -0
  94. package/dist/src/__tests__/emit/modules-rewrite.test.js +204 -0
  95. package/dist/src/__tests__/emit/source-map.test.d.ts +1 -0
  96. package/dist/src/__tests__/emit/source-map.test.js +167 -0
  97. package/dist/src/__tests__/enum.test.js +9 -4
  98. package/dist/src/__tests__/error-recovery.test.d.ts +7 -0
  99. package/dist/src/__tests__/error-recovery.test.js +217 -0
  100. package/dist/src/__tests__/events-types-extra.test.d.ts +10 -0
  101. package/dist/src/__tests__/events-types-extra.test.js +91 -0
  102. package/dist/src/__tests__/events-types.test.d.ts +4 -0
  103. package/dist/src/__tests__/events-types.test.js +56 -0
  104. package/dist/src/__tests__/formatter.test.js +13 -5
  105. package/dist/src/__tests__/hir/lower-extra.test.d.ts +9 -0
  106. package/dist/src/__tests__/hir/lower-extra.test.js +140 -0
  107. package/dist/src/__tests__/hir/monomorphize-extra.test.d.ts +15 -0
  108. package/dist/src/__tests__/hir/monomorphize-extra.test.js +200 -0
  109. package/dist/src/__tests__/hir/monomorphize-extra2.test.d.ts +16 -0
  110. package/dist/src/__tests__/hir/monomorphize-extra2.test.js +316 -0
  111. package/dist/src/__tests__/incremental.test.js +10 -2
  112. package/dist/src/__tests__/index-extra.test.d.ts +10 -0
  113. package/dist/src/__tests__/index-extra.test.js +71 -0
  114. package/dist/src/__tests__/lexer.test.js +2 -2
  115. package/dist/src/__tests__/lint/rules.test.d.ts +5 -0
  116. package/dist/src/__tests__/lint/rules.test.js +208 -0
  117. package/dist/src/__tests__/lir/lower.test.js +29 -0
  118. package/dist/src/__tests__/lir/verify.test.js +30 -0
  119. package/dist/src/__tests__/lsp/completion.test.d.ts +7 -0
  120. package/dist/src/__tests__/lsp/completion.test.js +583 -0
  121. package/dist/src/__tests__/lsp/definition.test.d.ts +7 -0
  122. package/dist/src/__tests__/lsp/definition.test.js +454 -0
  123. package/dist/src/__tests__/lsp/diagnostics.test.d.ts +10 -0
  124. package/dist/src/__tests__/lsp/diagnostics.test.js +98 -0
  125. package/dist/src/__tests__/lsp/hover-docs.test.d.ts +10 -0
  126. package/dist/src/__tests__/lsp/hover-docs.test.js +210 -0
  127. package/dist/src/__tests__/lsp.test.js +4 -1
  128. package/dist/src/__tests__/mc-integration/item-entity-events.test.js +4 -0
  129. package/dist/src/__tests__/mc-integration/stdlib-coverage-2.test.js +4 -0
  130. package/dist/src/__tests__/mc-integration/stdlib-coverage-3.test.d.ts +13 -0
  131. package/dist/src/__tests__/mc-integration/stdlib-coverage-3.test.js +1227 -0
  132. package/dist/src/__tests__/mc-integration/stdlib-coverage-4.test.d.ts +13 -0
  133. package/dist/src/__tests__/mc-integration/stdlib-coverage-4.test.js +1509 -0
  134. package/dist/src/__tests__/mc-integration/stdlib-coverage-5.test.d.ts +14 -0
  135. package/dist/src/__tests__/mc-integration/stdlib-coverage-5.test.js +1374 -0
  136. package/dist/src/__tests__/mc-integration/stdlib-coverage-6.test.d.ts +10 -0
  137. package/dist/src/__tests__/mc-integration/stdlib-coverage-6.test.js +759 -0
  138. package/dist/src/__tests__/mc-integration/stdlib-coverage-7.test.d.ts +13 -0
  139. package/dist/src/__tests__/mc-integration/stdlib-coverage-7.test.js +855 -0
  140. package/dist/src/__tests__/mc-integration/stdlib-coverage.test.js +4 -0
  141. package/dist/src/__tests__/mc-integration/syntax-coverage.test.js +4 -0
  142. package/dist/src/__tests__/mc-validator-coverage.test.d.ts +13 -0
  143. package/dist/src/__tests__/mc-validator-coverage.test.js +296 -0
  144. package/dist/src/__tests__/mc-validator-extra.test.d.ts +13 -0
  145. package/dist/src/__tests__/mc-validator-extra.test.js +245 -0
  146. package/dist/src/__tests__/mir/lower-extra.test.d.ts +20 -0
  147. package/dist/src/__tests__/mir/lower-extra.test.js +361 -0
  148. package/dist/src/__tests__/mir/lower-extra2.test.d.ts +17 -0
  149. package/dist/src/__tests__/mir/lower-extra2.test.js +317 -0
  150. package/dist/src/__tests__/mir/lower-extra3.test.d.ts +19 -0
  151. package/dist/src/__tests__/mir/lower-extra3.test.js +249 -0
  152. package/dist/src/__tests__/mir/lower-extra4.test.d.ts +23 -0
  153. package/dist/src/__tests__/mir/lower-extra4.test.js +606 -0
  154. package/dist/src/__tests__/mir/lower-extra5.test.d.ts +25 -0
  155. package/dist/src/__tests__/mir/lower-extra5.test.js +543 -0
  156. package/dist/src/__tests__/mir/lower-extra6.test.d.ts +16 -0
  157. package/dist/src/__tests__/mir/lower-extra6.test.js +471 -0
  158. package/dist/src/__tests__/mir/lower-extra7.test.d.ts +35 -0
  159. package/dist/src/__tests__/mir/lower-extra7.test.js +921 -0
  160. package/dist/src/__tests__/mir/lower-extra8.test.d.ts +19 -0
  161. package/dist/src/__tests__/mir/lower-extra8.test.js +626 -0
  162. package/dist/src/__tests__/mir/lower-extra9.test.d.ts +14 -0
  163. package/dist/src/__tests__/mir/lower-extra9.test.js +717 -0
  164. package/dist/src/__tests__/optimizer/auto-inline.test.d.ts +1 -0
  165. package/dist/src/__tests__/optimizer/auto-inline.test.js +176 -0
  166. package/dist/src/__tests__/optimizer/cse.test.d.ts +4 -0
  167. package/dist/src/__tests__/optimizer/cse.test.js +178 -0
  168. package/dist/src/__tests__/optimizer/inline_fn.test.d.ts +1 -0
  169. package/dist/src/__tests__/optimizer/inline_fn.test.js +221 -0
  170. package/dist/src/__tests__/optimizer/licm.test.d.ts +1 -0
  171. package/dist/src/__tests__/optimizer/licm.test.js +244 -0
  172. package/dist/src/__tests__/optimizer/optimizer-extended.test.d.ts +12 -0
  173. package/dist/src/__tests__/optimizer/optimizer-extended.test.js +993 -0
  174. package/dist/src/__tests__/optimizer/strength-reduction.test.d.ts +1 -0
  175. package/dist/src/__tests__/optimizer/strength-reduction.test.js +86 -0
  176. package/dist/src/__tests__/optimizer/tco.test.d.ts +14 -0
  177. package/dist/src/__tests__/optimizer/tco.test.js +203 -0
  178. package/dist/src/__tests__/parser-coverage.test.d.ts +25 -0
  179. package/dist/src/__tests__/parser-coverage.test.js +491 -0
  180. package/dist/src/__tests__/parser-extra.test.d.ts +6 -0
  181. package/dist/src/__tests__/parser-extra.test.js +451 -0
  182. package/dist/src/__tests__/parser.test.js +12 -0
  183. package/dist/src/__tests__/repl-extra.test.d.ts +13 -0
  184. package/dist/src/__tests__/repl-extra.test.js +174 -0
  185. package/dist/src/__tests__/repl-server-extra.test.d.ts +10 -0
  186. package/dist/src/__tests__/repl-server-extra.test.js +161 -0
  187. package/dist/src/__tests__/repl-server.test.d.ts +6 -0
  188. package/dist/src/__tests__/repl-server.test.js +146 -0
  189. package/dist/src/__tests__/runtime-extra.test.d.ts +15 -0
  190. package/dist/src/__tests__/runtime-extra.test.js +732 -0
  191. package/dist/src/__tests__/singleton-decorator.test.d.ts +11 -0
  192. package/dist/src/__tests__/singleton-decorator.test.js +260 -0
  193. package/dist/src/__tests__/sourcemap.test.js +1 -1
  194. package/dist/src/__tests__/stdlib/advanced.test.d.ts +5 -0
  195. package/dist/src/__tests__/stdlib/advanced.test.js +301 -0
  196. package/dist/src/__tests__/stdlib/bigint.test.d.ts +4 -0
  197. package/dist/src/__tests__/stdlib/bigint.test.js +83 -0
  198. package/dist/src/__tests__/stdlib/bits.test.d.ts +4 -0
  199. package/dist/src/__tests__/stdlib/bits.test.js +96 -0
  200. package/dist/src/__tests__/stdlib/bossbar.test.d.ts +4 -0
  201. package/dist/src/__tests__/stdlib/bossbar.test.js +72 -0
  202. package/dist/src/__tests__/stdlib/color.test.d.ts +4 -0
  203. package/dist/src/__tests__/stdlib/color.test.js +84 -0
  204. package/dist/src/__tests__/stdlib/combat.test.d.ts +4 -0
  205. package/dist/src/__tests__/stdlib/combat.test.js +64 -0
  206. package/dist/src/__tests__/stdlib/cooldown.test.d.ts +4 -0
  207. package/dist/src/__tests__/stdlib/cooldown.test.js +64 -0
  208. package/dist/src/__tests__/stdlib/dialog.test.js +15 -7
  209. package/dist/src/__tests__/stdlib/ecs.test.d.ts +4 -0
  210. package/dist/src/__tests__/stdlib/ecs.test.js +81 -0
  211. package/dist/src/__tests__/stdlib/effects.test.d.ts +4 -0
  212. package/dist/src/__tests__/stdlib/effects.test.js +72 -0
  213. package/dist/src/__tests__/stdlib/events.test.d.ts +4 -0
  214. package/dist/src/__tests__/stdlib/events.test.js +55 -0
  215. package/dist/src/__tests__/stdlib/expr.test.d.ts +4 -0
  216. package/dist/src/__tests__/stdlib/expr.test.js +77 -0
  217. package/dist/src/__tests__/stdlib/fft.test.d.ts +4 -0
  218. package/dist/src/__tests__/stdlib/fft.test.js +82 -0
  219. package/dist/src/__tests__/stdlib/graph.test.d.ts +4 -0
  220. package/dist/src/__tests__/stdlib/graph.test.js +102 -0
  221. package/dist/src/__tests__/stdlib/interactions.test.d.ts +4 -0
  222. package/dist/src/__tests__/stdlib/interactions.test.js +60 -0
  223. package/dist/src/__tests__/stdlib/inventory.test.d.ts +4 -0
  224. package/dist/src/__tests__/stdlib/inventory.test.js +68 -0
  225. package/dist/src/__tests__/stdlib/linalg.test.d.ts +5 -0
  226. package/dist/src/__tests__/stdlib/linalg.test.js +78 -0
  227. package/dist/src/__tests__/stdlib/map.test.d.ts +1 -0
  228. package/dist/src/__tests__/stdlib/map.test.js +84 -0
  229. package/dist/src/__tests__/stdlib/math.test.js +19 -6
  230. package/dist/src/__tests__/stdlib/math_hp.test.d.ts +4 -0
  231. package/dist/src/__tests__/stdlib/math_hp.test.js +80 -0
  232. package/dist/src/__tests__/stdlib/mobs.test.d.ts +4 -0
  233. package/dist/src/__tests__/stdlib/mobs.test.js +61 -0
  234. package/dist/src/__tests__/stdlib/noise.test.d.ts +4 -0
  235. package/dist/src/__tests__/stdlib/noise.test.js +73 -0
  236. package/dist/src/__tests__/stdlib/ode.test.d.ts +4 -0
  237. package/dist/src/__tests__/stdlib/ode.test.js +68 -0
  238. package/dist/src/__tests__/stdlib/parabola.test.d.ts +4 -0
  239. package/dist/src/__tests__/stdlib/parabola.test.js +77 -0
  240. package/dist/src/__tests__/stdlib/particles.test.d.ts +4 -0
  241. package/dist/src/__tests__/stdlib/particles.test.js +68 -0
  242. package/dist/src/__tests__/stdlib/physics.test.d.ts +4 -0
  243. package/dist/src/__tests__/stdlib/physics.test.js +76 -0
  244. package/dist/src/__tests__/stdlib/player.test.d.ts +4 -0
  245. package/dist/src/__tests__/stdlib/player.test.js +64 -0
  246. package/dist/src/__tests__/stdlib/quaternion.test.d.ts +4 -0
  247. package/dist/src/__tests__/stdlib/quaternion.test.js +73 -0
  248. package/dist/src/__tests__/stdlib/queue.test.d.ts +1 -0
  249. package/dist/src/__tests__/stdlib/queue.test.js +97 -0
  250. package/dist/src/__tests__/stdlib/random.test.d.ts +4 -0
  251. package/dist/src/__tests__/stdlib/random.test.js +76 -0
  252. package/dist/src/__tests__/stdlib/result.test.d.ts +12 -0
  253. package/dist/src/__tests__/stdlib/result.test.js +329 -0
  254. package/dist/src/__tests__/stdlib/scheduler.test.js +19 -8
  255. package/dist/src/__tests__/stdlib/set_int.test.d.ts +1 -0
  256. package/dist/src/__tests__/stdlib/set_int.test.js +88 -0
  257. package/dist/src/__tests__/stdlib/sets.test.d.ts +6 -0
  258. package/dist/src/__tests__/stdlib/sets.test.js +60 -0
  259. package/dist/src/__tests__/stdlib/signal.test.d.ts +4 -0
  260. package/dist/src/__tests__/stdlib/signal.test.js +84 -0
  261. package/dist/src/__tests__/stdlib/spawn.test.d.ts +4 -0
  262. package/dist/src/__tests__/stdlib/spawn.test.js +68 -0
  263. package/dist/src/__tests__/stdlib/string.test.d.ts +12 -0
  264. package/dist/src/__tests__/stdlib/string.test.js +231 -0
  265. package/dist/src/__tests__/stdlib/strings.test.d.ts +4 -0
  266. package/dist/src/__tests__/stdlib/strings.test.js +83 -0
  267. package/dist/src/__tests__/stdlib/tags.test.d.ts +4 -0
  268. package/dist/src/__tests__/stdlib/tags.test.js +57 -0
  269. package/dist/src/__tests__/stdlib/teams.test.d.ts +4 -0
  270. package/dist/src/__tests__/stdlib/teams.test.js +72 -0
  271. package/dist/src/__tests__/stdlib/timer.test.d.ts +4 -0
  272. package/dist/src/__tests__/stdlib/timer.test.js +79 -0
  273. package/dist/src/__tests__/stdlib/vec.test.d.ts +5 -0
  274. package/dist/src/__tests__/stdlib/vec.test.js +94 -0
  275. package/dist/src/__tests__/stdlib/world.test.d.ts +4 -0
  276. package/dist/src/__tests__/stdlib/world.test.js +72 -0
  277. package/dist/src/__tests__/struct-display.test.d.ts +1 -0
  278. package/dist/src/__tests__/struct-display.test.js +64 -0
  279. package/dist/src/__tests__/test-framework/runner.test.d.ts +10 -0
  280. package/dist/src/__tests__/test-framework/runner.test.js +193 -0
  281. package/dist/src/__tests__/tuner/adapters.test.d.ts +14 -0
  282. package/dist/src/__tests__/tuner/adapters.test.js +194 -0
  283. package/dist/src/__tests__/tuner/simulator-extra.test.d.ts +4 -0
  284. package/dist/src/__tests__/tuner/simulator-extra.test.js +193 -0
  285. package/dist/src/__tests__/typechecker-coverage.test.d.ts +30 -0
  286. package/dist/src/__tests__/typechecker-coverage.test.js +627 -0
  287. package/dist/src/__tests__/typechecker.test.js +3 -3
  288. package/dist/src/__tests__/watch-decorator.test.d.ts +1 -0
  289. package/dist/src/__tests__/watch-decorator.test.js +54 -0
  290. package/dist/src/ast/types.d.ts +102 -3
  291. package/dist/src/cache/incremental.d.ts +13 -14
  292. package/dist/src/cache/incremental.js +106 -89
  293. package/dist/src/cache/index.d.ts +8 -2
  294. package/dist/src/cache/index.js +18 -6
  295. package/dist/src/cli.d.ts +1 -0
  296. package/dist/src/cli.js +466 -17
  297. package/dist/src/config/project-config.d.ts +29 -0
  298. package/dist/src/config/project-config.js +180 -0
  299. package/dist/src/diagnostics/index.d.ts +9 -0
  300. package/dist/src/diagnostics/index.js +18 -1
  301. package/dist/src/emit/compile.d.ts +10 -0
  302. package/dist/src/emit/compile.js +395 -50
  303. package/dist/src/emit/index.d.ts +40 -0
  304. package/dist/src/emit/index.js +307 -14
  305. package/dist/src/emit/modules.js +21 -3
  306. package/dist/src/emit/sourcemap.d.ts +23 -27
  307. package/dist/src/emit/sourcemap.js +52 -30
  308. package/dist/src/formatter/index.js +33 -8
  309. package/dist/src/hir/deprecated.d.ts +13 -0
  310. package/dist/src/hir/deprecated.js +218 -0
  311. package/dist/src/hir/lower.js +114 -8
  312. package/dist/src/hir/monomorphize.js +22 -2
  313. package/dist/src/hir/types.d.ts +65 -1
  314. package/dist/src/index.d.ts +6 -0
  315. package/dist/src/index.js +18 -3
  316. package/dist/src/lexer/index.d.ts +2 -1
  317. package/dist/src/lexer/index.js +39 -3
  318. package/dist/src/lint/index.d.ts +45 -0
  319. package/dist/src/lint/index.js +930 -0
  320. package/dist/src/lir/lower.js +29 -2
  321. package/dist/src/lir/types.d.ts +2 -0
  322. package/dist/src/lsp/server.js +92 -5
  323. package/dist/src/mir/lower.js +775 -34
  324. package/dist/src/mir/macro.js +36 -2
  325. package/dist/src/mir/types.d.ts +12 -0
  326. package/dist/src/mir/verify.js +9 -0
  327. package/dist/src/optimizer/auto-inline.d.ts +2 -0
  328. package/dist/src/optimizer/auto-inline.js +67 -0
  329. package/dist/src/optimizer/cse.d.ts +20 -0
  330. package/dist/src/optimizer/cse.js +234 -0
  331. package/dist/src/optimizer/inline.d.ts +26 -0
  332. package/dist/src/optimizer/inline.js +286 -0
  333. package/dist/src/optimizer/interprocedural.js +4 -0
  334. package/dist/src/optimizer/licm.d.ts +32 -0
  335. package/dist/src/optimizer/licm.js +371 -0
  336. package/dist/src/optimizer/pipeline.js +12 -2
  337. package/dist/src/optimizer/strength_reduction.d.ts +15 -0
  338. package/dist/src/optimizer/strength_reduction.js +90 -0
  339. package/dist/src/optimizer/tco.d.ts +53 -0
  340. package/dist/src/optimizer/tco.js +238 -0
  341. package/dist/src/parser/index.d.ts +32 -0
  342. package/dist/src/parser/index.js +421 -59
  343. package/dist/src/repl-server.d.ts +13 -0
  344. package/dist/src/repl-server.js +127 -0
  345. package/dist/src/structs/expand.d.ts +15 -0
  346. package/dist/src/structs/expand.js +46 -0
  347. package/dist/src/testing/runner.d.ts +40 -0
  348. package/dist/src/testing/runner.js +237 -0
  349. package/dist/src/typechecker/index.d.ts +3 -0
  350. package/dist/src/typechecker/index.js +254 -9
  351. package/dist/tsconfig.tsbuildinfo +1 -1
  352. package/doc-drafts/redscript-docs/docs/en/stdlib/graph.md +104 -0
  353. package/doc-drafts/redscript-docs/docs/en/stdlib/parabola.md +113 -0
  354. package/doc-drafts/redscript-docs/docs/en/stdlib/pathfind.md +104 -0
  355. package/doc-drafts/redscript-docs/docs/en/stdlib/physics.md +134 -0
  356. package/doc-drafts/redscript-docs/docs/en/stdlib/quaternion.md +135 -0
  357. package/doc-drafts/redscript-docs/docs/zh/stdlib/graph.md +104 -0
  358. package/doc-drafts/redscript-docs/docs/zh/stdlib/parabola.md +113 -0
  359. package/doc-drafts/redscript-docs/docs/zh/stdlib/pathfind.md +104 -0
  360. package/doc-drafts/redscript-docs/docs/zh/stdlib/physics.md +134 -0
  361. package/doc-drafts/redscript-docs/docs/zh/stdlib/quaternion.md +135 -0
  362. package/docs/stdlib/result.md +156 -0
  363. package/docs/stdlib/result.zh.md +156 -0
  364. package/editors/vscode/fixtures/test.mcrs +7 -0
  365. package/editors/vscode/out/extension.js +2095 -225
  366. package/editors/vscode/out/lsp-server.js +519 -51
  367. package/editors/vscode/package-lock.json +9 -4
  368. package/editors/vscode/package.json +1 -1
  369. package/examples/display-demo.mcrs +64 -0
  370. package/examples/game/racing.mcrs +301 -0
  371. package/examples/game/tower_defense.mcrs +311 -0
  372. package/examples/math/physics_sim.mcrs +322 -0
  373. package/examples/rpg/boss_fight.mcrs +313 -0
  374. package/examples/rpg/health_system.mcrs +237 -0
  375. package/examples/rpg/inventory.mcrs +265 -0
  376. package/examples/util/debug_hud.mcrs +279 -0
  377. package/jest.config.js +10 -0
  378. package/package.json +12 -3
  379. package/playground/index.html +823 -0
  380. package/scripts/gen-docs.ts +533 -0
  381. package/scripts/update-redscript-docs-stdlib.sh +770 -0
  382. package/src/__tests__/budget.test.ts +5 -0
  383. package/src/__tests__/cache/cache-behavior.test.ts +480 -0
  384. package/src/__tests__/cache-extra.test.ts +199 -0
  385. package/src/__tests__/cli-docs.test.ts +77 -0
  386. package/src/__tests__/cli-init.test.ts +91 -0
  387. package/src/__tests__/cli-publish.test.ts +190 -0
  388. package/src/__tests__/cli.test.ts +117 -1
  389. package/src/__tests__/compile-preprocess.test.ts +366 -0
  390. package/src/__tests__/compiler/break-stmt.test.ts +66 -0
  391. package/src/__tests__/compiler/const-decl.test.ts +141 -0
  392. package/src/__tests__/compiler/continue-stmt.test.ts +81 -0
  393. package/src/__tests__/compiler/coroutine-extended.test.ts +723 -0
  394. package/src/__tests__/compiler/deprecated.test.ts +305 -0
  395. package/src/__tests__/compiler/do-while.test.ts +130 -0
  396. package/src/__tests__/compiler/enum-payload.test.ts +299 -0
  397. package/src/__tests__/compiler/interface.test.ts +287 -0
  398. package/src/__tests__/compiler/labeled-loops.test.ts +279 -0
  399. package/src/__tests__/compiler/match-string.test.ts +45 -0
  400. package/src/__tests__/compiler/memoize.test.ts +126 -0
  401. package/src/__tests__/compiler/method-chain.test.ts +121 -0
  402. package/src/__tests__/compiler/module-import.test.ts +240 -0
  403. package/src/__tests__/compiler/option-extensions.test.ts +207 -0
  404. package/src/__tests__/compiler/profile-decorator.test.ts +79 -0
  405. package/src/__tests__/compiler/string-advanced.test.ts +310 -0
  406. package/src/__tests__/compiler/struct-extends.test.ts +109 -0
  407. package/src/__tests__/compiler/throttle-retry.test.ts +191 -0
  408. package/src/__tests__/compiler/tuple-type.test.ts +263 -0
  409. package/src/__tests__/compiler/watch-decorator.test.ts +72 -0
  410. package/src/__tests__/config/project-config.test.ts +181 -0
  411. package/src/__tests__/config-decorator.test.ts +157 -0
  412. package/src/__tests__/diagnostics-extra.test.ts +155 -0
  413. package/src/__tests__/emit/compile-branches.test.ts +135 -0
  414. package/src/__tests__/emit/compile-coverage.test.ts +696 -0
  415. package/src/__tests__/emit/compile-extra-branches.test.ts +228 -0
  416. package/src/__tests__/emit/compile-mocked-branches.test.ts +249 -0
  417. package/src/__tests__/emit/compile.test.ts +6 -1
  418. package/src/__tests__/emit/execute-chain.test.ts +114 -0
  419. package/src/__tests__/emit/index.test.ts +2 -1
  420. package/src/__tests__/emit/modules-branches.test.ts +90 -0
  421. package/src/__tests__/emit/modules-coverage.test.ts +241 -0
  422. package/src/__tests__/emit/modules-errors.test.ts +192 -0
  423. package/src/__tests__/emit/modules-rewrite.test.ts +232 -0
  424. package/src/__tests__/emit/source-map.test.ts +152 -0
  425. package/src/__tests__/enum.test.ts +9 -4
  426. package/src/__tests__/error-recovery.test.ts +226 -0
  427. package/src/__tests__/events-types-extra.test.ts +110 -0
  428. package/src/__tests__/events-types.test.ts +66 -0
  429. package/src/__tests__/formatter.test.ts +15 -5
  430. package/src/__tests__/generics.test.ts +16 -9
  431. package/src/__tests__/hir/lower-extra.test.ts +151 -0
  432. package/src/__tests__/hir/monomorphize-coverage.test.ts +432 -0
  433. package/src/__tests__/hir/monomorphize-extra.test.ts +220 -0
  434. package/src/__tests__/hir/monomorphize-extra2.test.ts +350 -0
  435. package/src/__tests__/impl.test.ts +12 -8
  436. package/src/__tests__/incremental.test.ts +10 -2
  437. package/src/__tests__/index-extra.test.ts +79 -0
  438. package/src/__tests__/lexer.test.ts +2 -2
  439. package/src/__tests__/lint/hir-coverage.test.ts +1716 -0
  440. package/src/__tests__/lint/rules-coverage.test.ts +598 -0
  441. package/src/__tests__/lint/rules.test.ts +230 -0
  442. package/src/__tests__/lir/lower.test.ts +33 -0
  443. package/src/__tests__/lir/verify.test.ts +33 -0
  444. package/src/__tests__/lsp/completion.test.ts +687 -0
  445. package/src/__tests__/lsp/definition.test.ts +499 -0
  446. package/src/__tests__/lsp/diagnostics.test.ts +108 -0
  447. package/src/__tests__/lsp/hover-docs.test.ts +222 -0
  448. package/src/__tests__/lsp.test.ts +4 -1
  449. package/src/__tests__/mc-integration/item-entity-events.test.ts +5 -0
  450. package/src/__tests__/mc-integration/stdlib-coverage-2.test.ts +5 -0
  451. package/src/__tests__/mc-integration/stdlib-coverage-3.test.ts +1105 -0
  452. package/src/__tests__/mc-integration/stdlib-coverage-4.test.ts +1366 -0
  453. package/src/__tests__/mc-integration/stdlib-coverage-5.test.ts +1245 -0
  454. package/src/__tests__/mc-integration/stdlib-coverage-6.test.ts +755 -0
  455. package/src/__tests__/mc-integration/stdlib-coverage-7.test.ts +771 -0
  456. package/src/__tests__/mc-integration/stdlib-coverage.test.ts +5 -0
  457. package/src/__tests__/mc-integration/syntax-coverage.test.ts +5 -0
  458. package/src/__tests__/mc-validator-coverage.test.ts +325 -0
  459. package/src/__tests__/mc-validator-extra.test.ts +252 -0
  460. package/src/__tests__/mir/lower-extra.test.ts +402 -0
  461. package/src/__tests__/mir/lower-extra2.test.ts +348 -0
  462. package/src/__tests__/mir/lower-extra3.test.ts +277 -0
  463. package/src/__tests__/mir/lower-extra4.test.ts +636 -0
  464. package/src/__tests__/mir/lower-extra5.test.ts +612 -0
  465. package/src/__tests__/mir/lower-extra6.test.ts +520 -0
  466. package/src/__tests__/mir/lower-extra7.test.ts +1045 -0
  467. package/src/__tests__/mir/lower-extra8.test.ts +704 -0
  468. package/src/__tests__/mir/lower-extra9.test.ts +821 -0
  469. package/src/__tests__/optimizer/auto-inline.test.ts +206 -0
  470. package/src/__tests__/optimizer/cse.test.ts +195 -0
  471. package/src/__tests__/optimizer/inline_fn.test.ts +263 -0
  472. package/src/__tests__/optimizer/licm.test.ts +358 -0
  473. package/src/__tests__/optimizer/nbt-coalesce.test.ts +147 -0
  474. package/src/__tests__/optimizer/optimizer-extended.test.ts +1081 -0
  475. package/src/__tests__/optimizer/scoreboard-batch.test.ts +141 -0
  476. package/src/__tests__/optimizer/strength-reduction.test.ts +111 -0
  477. package/src/__tests__/optimizer/tco-coverage.test.ts +309 -0
  478. package/src/__tests__/optimizer/tco.test.ts +238 -0
  479. package/src/__tests__/option.test.ts +14 -7
  480. package/src/__tests__/parser-coverage.test.ts +576 -0
  481. package/src/__tests__/parser-extra.test.ts +531 -0
  482. package/src/__tests__/parser.test.ts +14 -0
  483. package/src/__tests__/repl-extra.test.ts +195 -0
  484. package/src/__tests__/repl-server-extra.test.ts +150 -0
  485. package/src/__tests__/repl-server.test.ts +122 -0
  486. package/src/__tests__/runtime-extra.test.ts +862 -0
  487. package/src/__tests__/singleton-decorator.test.ts +285 -0
  488. package/src/__tests__/sourcemap.test.ts +1 -1
  489. package/src/__tests__/stdlib/advanced.test.ts +312 -0
  490. package/src/__tests__/stdlib/bigint.test.ts +57 -0
  491. package/src/__tests__/stdlib/bits.test.ts +75 -0
  492. package/src/__tests__/stdlib/bossbar.test.ts +45 -0
  493. package/src/__tests__/stdlib/color.test.ts +60 -0
  494. package/src/__tests__/stdlib/combat.test.ts +35 -0
  495. package/src/__tests__/stdlib/cooldown.test.ts +35 -0
  496. package/src/__tests__/stdlib/dialog.test.ts +14 -6
  497. package/src/__tests__/stdlib/ecs.test.ts +54 -0
  498. package/src/__tests__/stdlib/effects.test.ts +45 -0
  499. package/src/__tests__/stdlib/events.test.ts +23 -0
  500. package/src/__tests__/stdlib/expr.test.ts +48 -0
  501. package/src/__tests__/stdlib/fft.test.ts +54 -0
  502. package/src/__tests__/stdlib/graph.test.ts +77 -0
  503. package/src/__tests__/stdlib/interactions.test.ts +30 -0
  504. package/src/__tests__/stdlib/inventory.test.ts +40 -0
  505. package/src/__tests__/stdlib/linalg.test.ts +52 -0
  506. package/src/__tests__/stdlib/map.test.ts +55 -0
  507. package/src/__tests__/stdlib/math.test.ts +19 -5
  508. package/src/__tests__/stdlib/math_hp.test.ts +55 -0
  509. package/src/__tests__/stdlib/mobs.test.ts +40 -0
  510. package/src/__tests__/stdlib/noise.test.ts +46 -0
  511. package/src/__tests__/stdlib/ode.test.ts +40 -0
  512. package/src/__tests__/stdlib/parabola.test.ts +51 -0
  513. package/src/__tests__/stdlib/particles.test.ts +40 -0
  514. package/src/__tests__/stdlib/physics.test.ts +50 -0
  515. package/src/__tests__/stdlib/player.test.ts +35 -0
  516. package/src/__tests__/stdlib/quaternion.test.ts +46 -0
  517. package/src/__tests__/stdlib/queue.test.ts +73 -0
  518. package/src/__tests__/stdlib/random.test.ts +50 -0
  519. package/src/__tests__/stdlib/result.test.ts +326 -0
  520. package/src/__tests__/stdlib/scheduler.test.ts +18 -7
  521. package/src/__tests__/stdlib/set_int.test.ts +62 -0
  522. package/src/__tests__/stdlib/sets.test.ts +28 -0
  523. package/src/__tests__/stdlib/signal.test.ts +60 -0
  524. package/src/__tests__/stdlib/spawn.test.ts +40 -0
  525. package/src/__tests__/stdlib/string.test.ts +224 -0
  526. package/src/__tests__/stdlib/strings.test.ts +55 -0
  527. package/src/__tests__/stdlib/tags.test.ts +32 -0
  528. package/src/__tests__/stdlib/teams.test.ts +45 -0
  529. package/src/__tests__/stdlib/timer.test.ts +53 -0
  530. package/src/__tests__/stdlib/vec.test.ts +72 -0
  531. package/src/__tests__/stdlib/world.test.ts +45 -0
  532. package/src/__tests__/struct-display.test.ts +69 -0
  533. package/src/__tests__/test-framework/runner.test.ts +208 -0
  534. package/src/__tests__/tuner/adapters.test.ts +232 -0
  535. package/src/__tests__/tuner/simulator-extra.test.ts +222 -0
  536. package/src/__tests__/tuple.test.ts +11 -4
  537. package/src/__tests__/typechecker-coverage.test.ts +671 -0
  538. package/src/__tests__/typechecker.test.ts +4 -3
  539. package/src/__tests__/watch-decorator.test.ts +59 -0
  540. package/src/ast/types.ts +65 -3
  541. package/src/cache/incremental.ts +128 -99
  542. package/src/cache/index.ts +35 -8
  543. package/src/cli.ts +538 -29
  544. package/src/config/project-config.ts +176 -0
  545. package/src/diagnostics/index.ts +22 -0
  546. package/src/docs.ts +98 -0
  547. package/src/emit/compile.ts +408 -51
  548. package/src/emit/index.ts +366 -18
  549. package/src/emit/modules.ts +19 -3
  550. package/src/emit/sourcemap.ts +64 -43
  551. package/src/formatter/index.ts +35 -8
  552. package/src/hir/deprecated.ts +212 -0
  553. package/src/hir/lower.ts +128 -8
  554. package/src/hir/monomorphize.ts +24 -2
  555. package/src/hir/types.ts +26 -1
  556. package/src/index.ts +23 -3
  557. package/src/lexer/index.ts +45 -6
  558. package/src/lint/index.ts +922 -0
  559. package/src/lir/lower.ts +30 -2
  560. package/src/lir/types.ts +4 -0
  561. package/src/lsp/server.ts +100 -1
  562. package/src/mir/lower.ts +785 -40
  563. package/src/mir/macro.ts +30 -2
  564. package/src/mir/types.ts +13 -0
  565. package/src/mir/verify.ts +10 -2
  566. package/src/optimizer/auto-inline.ts +86 -0
  567. package/src/optimizer/copy_prop.ts +2 -2
  568. package/src/optimizer/coroutine.ts +3 -3
  569. package/src/optimizer/cse.ts +205 -0
  570. package/src/optimizer/dce.ts +2 -2
  571. package/src/optimizer/inline.ts +335 -0
  572. package/src/optimizer/interprocedural.ts +5 -1
  573. package/src/optimizer/licm.ts +454 -0
  574. package/src/optimizer/nbt-coalesce.ts +109 -0
  575. package/src/optimizer/pipeline.ts +16 -2
  576. package/src/optimizer/scoreboard-batch.ts +52 -0
  577. package/src/optimizer/strength_reduction.ts +95 -0
  578. package/src/optimizer/tco.ts +267 -0
  579. package/src/optimizer/unroll.ts +2 -2
  580. package/src/parser/index.ts +426 -53
  581. package/src/repl-server.ts +102 -0
  582. package/src/stdlib/advanced.mcrs +271 -101
  583. package/src/stdlib/bigint.mcrs +97 -11
  584. package/src/stdlib/bits.mcrs +75 -12
  585. package/src/stdlib/bossbar.mcrs +37 -8
  586. package/src/stdlib/calculus.mcrs +82 -26
  587. package/src/stdlib/color.mcrs +98 -16
  588. package/src/stdlib/combat.mcrs +23 -5
  589. package/src/stdlib/cooldown.mcrs +19 -0
  590. package/src/stdlib/dialog.mcrs +45 -7
  591. package/src/stdlib/easing.mcrs +132 -12
  592. package/src/stdlib/ecs.mcrs +142 -25
  593. package/src/stdlib/effects.mcrs +88 -12
  594. package/src/stdlib/events.mcrs +21 -2
  595. package/src/stdlib/expr.mcrs +18 -3
  596. package/src/stdlib/fft.mcrs +66 -56
  597. package/src/stdlib/geometry.mcrs +137 -39
  598. package/src/stdlib/graph.mcrs +73 -0
  599. package/src/stdlib/heap.mcrs +49 -8
  600. package/src/stdlib/i18n/zh.yaml +2891 -0
  601. package/src/stdlib/interactions.mcrs +43 -20
  602. package/src/stdlib/inventory.mcrs +14 -3
  603. package/src/stdlib/linalg.mcrs +185 -30
  604. package/src/stdlib/list.mcrs +168 -18
  605. package/src/stdlib/map.mcrs +112 -0
  606. package/src/stdlib/math.mcrs +68 -18
  607. package/src/stdlib/math_hp.mcrs +124 -33
  608. package/src/stdlib/matrix.mcrs +133 -20
  609. package/src/stdlib/mobs.mcrs +87 -0
  610. package/src/stdlib/noise.mcrs +65 -21
  611. package/src/stdlib/ode.mcrs +96 -0
  612. package/src/stdlib/parabola.mcrs +104 -29
  613. package/src/stdlib/particles.mcrs +78 -21
  614. package/src/stdlib/pathfind.mcrs +89 -35
  615. package/src/stdlib/physics.mcrs +134 -26
  616. package/src/stdlib/player.mcrs +18 -0
  617. package/src/stdlib/quaternion.mcrs +213 -9
  618. package/src/stdlib/queue.mcrs +123 -0
  619. package/src/stdlib/random.mcrs +63 -18
  620. package/src/stdlib/result.mcrs +111 -0
  621. package/src/stdlib/scheduler.mcrs +59 -10
  622. package/src/stdlib/set_int.mcrs +240 -0
  623. package/src/stdlib/sets.mcrs +49 -19
  624. package/src/stdlib/signal.mcrs +151 -79
  625. package/src/stdlib/sort.mcrs +44 -24
  626. package/src/stdlib/spawn.mcrs +30 -7
  627. package/src/stdlib/state.mcrs +40 -5
  628. package/src/stdlib/strings.mcrs +131 -3
  629. package/src/stdlib/tags.mcrs +2 -2
  630. package/src/stdlib/teams.mcrs +22 -10
  631. package/src/stdlib/timer.mcrs +36 -6
  632. package/src/stdlib/vec.mcrs +44 -9
  633. package/src/stdlib/world.mcrs +57 -25
  634. package/src/structs/expand.ts +64 -0
  635. package/src/testing/runner.ts +271 -0
  636. package/src/typechecker/index.ts +273 -9
@@ -0,0 +1,361 @@
1
+ "use strict";
2
+ /**
3
+ * Extra coverage for src/mir/lower.ts
4
+ *
5
+ * Targets uncovered branches:
6
+ * - execute stmt (call_context)
7
+ * - match stmt (enum match, value match)
8
+ * - raw stmt
9
+ * - if_let_some (with and without else)
10
+ * - let_destruct (tuple destructuring)
11
+ * - tuple_lit expr
12
+ * - some_lit / none_lit expr
13
+ * - type_cast expr (as double, as int)
14
+ * - enum_construct expr
15
+ * - static_call expr
16
+ * - invoke expr
17
+ * - index / index_assign expr
18
+ * - member_assign expr
19
+ * - foreach stmt
20
+ */
21
+ Object.defineProperty(exports, "__esModule", { value: true });
22
+ const lexer_1 = require("../../lexer");
23
+ const parser_1 = require("../../parser");
24
+ const lower_1 = require("../../hir/lower");
25
+ const lower_2 = require("../../mir/lower");
26
+ const verify_1 = require("../../mir/verify");
27
+ const compile_1 = require("../../emit/compile");
28
+ function compileMIR(source) {
29
+ const tokens = new lexer_1.Lexer(source).tokenize();
30
+ const ast = new parser_1.Parser(tokens).parse('test');
31
+ const hir = (0, lower_1.lowerToHIR)(ast);
32
+ return (0, lower_2.lowerToMIR)(hir);
33
+ }
34
+ function getFn(mod, name) {
35
+ if (name)
36
+ return mod.functions.find(f => f.name.includes(name));
37
+ return mod.functions[0];
38
+ }
39
+ // ── raw stmt ──────────────────────────────────────────────────────────────
40
+ describe('MIR lowering — raw stmt', () => {
41
+ test('raw command is emitted as __raw: call', () => {
42
+ const mod = compileMIR(`
43
+ fn f(): int {
44
+ raw("say hello");
45
+ return 0;
46
+ }
47
+ `);
48
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
49
+ // All functions including main
50
+ const allInstrs = mod.functions.flatMap(fn => fn.blocks.flatMap(b => b.instrs));
51
+ const rawCall = allInstrs.find(i => i.kind === 'call' && i.fn?.startsWith('__raw:'));
52
+ expect(rawCall).toBeDefined();
53
+ });
54
+ test('raw command with __NS__ placeholder is replaced', () => {
55
+ const mod = compileMIR(`
56
+ fn f(): int {
57
+ raw("say __NS__");
58
+ return 0;
59
+ }
60
+ `);
61
+ const allInstrs = mod.functions.flatMap(fn => fn.blocks.flatMap(b => b.instrs));
62
+ const rawCall = allInstrs.find(i => i.kind === 'call' && i.fn?.includes('say test'));
63
+ expect(rawCall).toBeDefined();
64
+ });
65
+ });
66
+ // ── if_let_some ────────────────────────────────────────────────────────────
67
+ describe('MIR lowering — if_let_some', () => {
68
+ test('if let Some with then branch only', () => {
69
+ const mod = compileMIR(`
70
+ fn f(opt: Option<int>): int {
71
+ let has: int = opt.has;
72
+ if (has == 1) { return opt.val; }
73
+ return 0;
74
+ }
75
+ `);
76
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
77
+ });
78
+ test('Option type with direct variable access', () => {
79
+ const mod = compileMIR(`
80
+ fn f(opt: Option<int>): int {
81
+ if (opt.has == 1) { return opt.val; }
82
+ return 0;
83
+ }
84
+ `);
85
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
86
+ });
87
+ });
88
+ // ── match stmt ─────────────────────────────────────────────────────────────
89
+ describe('MIR lowering — match stmt', () => {
90
+ test('match on enum with multiple arms', () => {
91
+ const mod = compileMIR(`
92
+ enum Color { Red, Green, Blue }
93
+ fn describe(c: Color): int {
94
+ match c {
95
+ Color::Red => { return 1; }
96
+ Color::Green => { return 2; }
97
+ Color::Blue => { return 3; }
98
+ }
99
+ }
100
+ `);
101
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
102
+ const fn = getFn(mod, 'describe');
103
+ // Should have multiple blocks from match arms
104
+ expect(fn.blocks.length).toBeGreaterThanOrEqual(4);
105
+ });
106
+ test('match on int value with wildcard', () => {
107
+ const mod = compileMIR(`
108
+ fn classify(n: int): int {
109
+ match n {
110
+ 1 => { return 10; }
111
+ 2 => { return 20; }
112
+ _ => { return 0; }
113
+ }
114
+ }
115
+ `);
116
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
117
+ });
118
+ });
119
+ // ── execute stmt (call_context) ────────────────────────────────────────────
120
+ describe('MIR lowering — execute stmt', () => {
121
+ test('execute as @a generates call_context instr', () => {
122
+ const mod = compileMIR(`
123
+ fn f(): int {
124
+ execute as @a run {
125
+ raw "say hi";
126
+ }
127
+ return 0;
128
+ }
129
+ `);
130
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
131
+ const fn = getFn(mod);
132
+ const allInstrs = fn.blocks.flatMap(b => b.instrs);
133
+ const callCtx = allInstrs.find(i => i.kind === 'call_context');
134
+ expect(callCtx).toBeDefined();
135
+ });
136
+ test('execute with if score subcommand', () => {
137
+ const mod = compileMIR(`
138
+ fn f(): int {
139
+ execute if score @s rs matches 1..10 run {
140
+ raw "say match";
141
+ }
142
+ return 0;
143
+ }
144
+ `);
145
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
146
+ });
147
+ });
148
+ // ── tuple_lit ──────────────────────────────────────────────────────────────
149
+ describe('MIR lowering — tuple_lit expr', () => {
150
+ test('tuple return and use compiles without error', () => {
151
+ expect(() => (0, compile_1.compile)(`
152
+ fn make(): (int, int) { return (1, 2); }
153
+ fn f(): int {
154
+ let pair: (int, int) = make();
155
+ return 0;
156
+ }
157
+ `, { namespace: 'tup2' })).not.toThrow();
158
+ });
159
+ test('tuple literal as return value', () => {
160
+ expect(() => (0, compile_1.compile)(`
161
+ fn pair(): (int, int) { return (3, 4); }
162
+ fn f(): int {
163
+ let (a, b) = pair();
164
+ return a;
165
+ }
166
+ `, { namespace: 'tup' })).not.toThrow();
167
+ });
168
+ });
169
+ // ── some_lit / none_lit ────────────────────────────────────────────────────
170
+ describe('MIR lowering — some_lit / none_lit expr', () => {
171
+ test('Some(expr) in expression context', () => {
172
+ const mod = compileMIR(`
173
+ fn wrap(n: int): Option<int> {
174
+ return Some(n);
175
+ }
176
+ `);
177
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
178
+ const fn = getFn(mod);
179
+ const allInstrs = fn.blocks.flatMap(b => b.instrs);
180
+ // Should copy to __rf_has = 1
181
+ const copy1 = allInstrs.find(i => i.kind === 'copy' && i.dst === '__rf_has');
182
+ expect(copy1).toBeDefined();
183
+ });
184
+ test('None in expression context', () => {
185
+ const mod = compileMIR(`
186
+ fn none_fn(): Option<int> {
187
+ return None;
188
+ }
189
+ `);
190
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
191
+ const fn = getFn(mod);
192
+ const allInstrs = fn.blocks.flatMap(b => b.instrs);
193
+ // __rf_has should be copied to 0
194
+ const copyHas = allInstrs.find(i => i.kind === 'copy' && i.dst === '__rf_has');
195
+ expect(copyHas).toBeDefined();
196
+ });
197
+ test('None literal passed as argument', () => {
198
+ expect(() => (0, compile_1.compile)(`
199
+ fn identity(opt: Option<int>): Option<int> { return opt; }
200
+ fn f(): int {
201
+ let x = identity(None);
202
+ return 0;
203
+ }
204
+ `, { namespace: 'none' })).not.toThrow();
205
+ });
206
+ });
207
+ // ── enum_construct ─────────────────────────────────────────────────────────
208
+ describe('MIR lowering — enum_construct expr', () => {
209
+ test('enum variant with no payload', () => {
210
+ const mod = compileMIR(`
211
+ enum Status { Active, Inactive }
212
+ fn f(): int {
213
+ let s: Status = Status::Active;
214
+ return 0;
215
+ }
216
+ `);
217
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
218
+ });
219
+ test('enum variant with no payload and match', () => {
220
+ const mod = compileMIR(`
221
+ enum Result { Ok, Err }
222
+ fn f(): int {
223
+ let r: Result = Result::Ok;
224
+ match r {
225
+ Result::Ok => { return 1; }
226
+ Result::Err => { return 0; }
227
+ }
228
+ }
229
+ `);
230
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
231
+ });
232
+ });
233
+ // ── index / index_assign ───────────────────────────────────────────────────
234
+ describe('MIR lowering — index / index_assign', () => {
235
+ test('array indexing generates nbt_read', () => {
236
+ const mod = compileMIR(`
237
+ fn f(arr: int[], i: int): int {
238
+ return arr[i];
239
+ }
240
+ `);
241
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
242
+ });
243
+ test('array index assign generates nbt_write', () => {
244
+ const mod = compileMIR(`
245
+ fn f(arr: int[]): int {
246
+ arr[0] = 42;
247
+ return 0;
248
+ }
249
+ `);
250
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
251
+ });
252
+ });
253
+ // ── member_assign ──────────────────────────────────────────────────────────
254
+ describe('MIR lowering — member_assign', () => {
255
+ test('struct field assignment', () => {
256
+ const mod = compileMIR(`
257
+ struct Point { x: int, y: int }
258
+ fn f(p: Point): int {
259
+ p.x = 10;
260
+ return p.x;
261
+ }
262
+ `);
263
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
264
+ });
265
+ });
266
+ // ── invoke (method calls) ──────────────────────────────────────────────────
267
+ describe('MIR lowering — invoke (method calls)', () => {
268
+ test('method call on struct', () => {
269
+ const { files } = (0, compile_1.compile)(`
270
+ struct Counter { val: int }
271
+ impl Counter {
272
+ fn increment(self): int {
273
+ self.val = self.val + 1;
274
+ return self.val;
275
+ }
276
+ }
277
+ fn f(): int {
278
+ let c: Counter = Counter { val: 0 };
279
+ return c.increment();
280
+ }
281
+ `, { namespace: 'inv' });
282
+ expect(files.length).toBeGreaterThan(0);
283
+ });
284
+ });
285
+ // ── static_call ────────────────────────────────────────────────────────────
286
+ describe('MIR lowering — static_call', () => {
287
+ test('enum method call (static call on enum type)', () => {
288
+ // Static methods on types are emitted as static_call in HIR
289
+ expect(() => (0, compile_1.compile)(`
290
+ fn helper(): int { return 42; }
291
+ fn f(): int { return helper(); }
292
+ `, { namespace: 'sc' })).not.toThrow();
293
+ });
294
+ });
295
+ // ── foreach ────────────────────────────────────────────────────────────────
296
+ describe('MIR lowering — foreach', () => {
297
+ test('foreach over selector creates loop blocks', () => {
298
+ const mod = compileMIR(`
299
+ fn f(): int {
300
+ foreach (p in @a) {
301
+ raw("say hi");
302
+ }
303
+ return 0;
304
+ }
305
+ `);
306
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
307
+ });
308
+ test('foreach over selector with execute context', () => {
309
+ const mod = compileMIR(`
310
+ fn f(): int {
311
+ foreach (p in @a) at @s {
312
+ raw("tag @s add done");
313
+ }
314
+ return 0;
315
+ }
316
+ `);
317
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
318
+ });
319
+ });
320
+ // ── path_expr ─────────────────────────────────────────────────────────────
321
+ describe('MIR lowering — path_expr (enum variants as values)', () => {
322
+ test('using enum variant in if condition', () => {
323
+ const mod = compileMIR(`
324
+ enum Dir { North, South, East, West }
325
+ fn f(d: Dir): int {
326
+ if (d == Dir::North) { return 1; }
327
+ return 0;
328
+ }
329
+ `);
330
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
331
+ });
332
+ });
333
+ // ── type_cast ─────────────────────────────────────────────────────────────
334
+ describe('MIR lowering — type_cast', () => {
335
+ test('int as fixed cast compiles', () => {
336
+ expect(() => (0, compile_1.compile)(`
337
+ fn f(n: int): fixed {
338
+ return n as fixed;
339
+ }
340
+ `, { namespace: 'cast' })).not.toThrow();
341
+ });
342
+ test('fixed as int cast compiles', () => {
343
+ expect(() => (0, compile_1.compile)(`
344
+ fn f(x: fixed): int {
345
+ return x as int;
346
+ }
347
+ `, { namespace: 'cast2' })).not.toThrow();
348
+ });
349
+ });
350
+ // ── str_interp / f_string ──────────────────────────────────────────────────
351
+ describe('MIR lowering — string operations', () => {
352
+ test('string interpolation in function compiles', () => {
353
+ expect(() => (0, compile_1.compile)(`
354
+ fn f(n: int): int {
355
+ let s: string = "value";
356
+ return 0;
357
+ }
358
+ `, { namespace: 'str' })).not.toThrow();
359
+ });
360
+ });
361
+ //# sourceMappingURL=lower-extra.test.js.map
@@ -0,0 +1,17 @@
1
+ /**
2
+ * Additional coverage for src/mir/lower.ts
3
+ *
4
+ * Targets:
5
+ * - unary op '!' (not)
6
+ * - path_expr (enum variant integer)
7
+ * - enum_construct with payload
8
+ * - nested struct member access (v.pos.x)
9
+ * - dynamic array index (arr[i])
10
+ * - dynamic array index_assign (arr[i] = val)
11
+ * - static_call / invoke method
12
+ * - for_range loop lower
13
+ * - break/continue in loops
14
+ * - as_block / at_block
15
+ * - string_interp / f_string exprs
16
+ */
17
+ export {};
@@ -0,0 +1,317 @@
1
+ "use strict";
2
+ /**
3
+ * Additional coverage for src/mir/lower.ts
4
+ *
5
+ * Targets:
6
+ * - unary op '!' (not)
7
+ * - path_expr (enum variant integer)
8
+ * - enum_construct with payload
9
+ * - nested struct member access (v.pos.x)
10
+ * - dynamic array index (arr[i])
11
+ * - dynamic array index_assign (arr[i] = val)
12
+ * - static_call / invoke method
13
+ * - for_range loop lower
14
+ * - break/continue in loops
15
+ * - as_block / at_block
16
+ * - string_interp / f_string exprs
17
+ */
18
+ Object.defineProperty(exports, "__esModule", { value: true });
19
+ const lexer_1 = require("../../lexer");
20
+ const parser_1 = require("../../parser");
21
+ const lower_1 = require("../../hir/lower");
22
+ const lower_2 = require("../../mir/lower");
23
+ const verify_1 = require("../../mir/verify");
24
+ const compile_1 = require("../../emit/compile");
25
+ function compileMIR(source) {
26
+ const tokens = new lexer_1.Lexer(source).tokenize();
27
+ const ast = new parser_1.Parser(tokens).parse('test');
28
+ const hir = (0, lower_1.lowerToHIR)(ast);
29
+ return (0, lower_2.lowerToMIR)(hir);
30
+ }
31
+ // ── unary not ─────────────────────────────────────────────────────────────
32
+ describe('MIR lower — unary not', () => {
33
+ test('boolean not emits not instr', () => {
34
+ const mod = compileMIR(`
35
+ fn f(b: bool): bool {
36
+ return !b;
37
+ }
38
+ `);
39
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
40
+ const fn = mod.functions[0];
41
+ const allInstrs = fn.blocks.flatMap(b => b.instrs);
42
+ const notInstr = allInstrs.find(i => i.kind === 'not');
43
+ expect(notInstr).toBeDefined();
44
+ });
45
+ });
46
+ // ── path_expr ─────────────────────────────────────────────────────────────
47
+ describe('MIR lower — path_expr (enum variant)', () => {
48
+ test('enum variant used as value is a copy from const src in MIR', () => {
49
+ const mod = compileMIR(`
50
+ enum Phase { Idle, Running, Done }
51
+ fn f(): int {
52
+ let p: Phase = Phase::Running;
53
+ return 0;
54
+ }
55
+ `);
56
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
57
+ const fn = mod.functions.find(f => f.name === 'f');
58
+ const allInstrs = fn.blocks.flatMap(b => b.instrs);
59
+ // Phase::Running → copy with const src value=1
60
+ const copyInstrs = allInstrs.filter(i => i.kind === 'copy' && i.src?.kind === 'const');
61
+ expect(copyInstrs.length).toBeGreaterThan(0);
62
+ });
63
+ });
64
+ // ── nested struct member ───────────────────────────────────────────────────
65
+ describe('MIR lower — nested struct member access', () => {
66
+ test('v.pos.x compiles without error', () => {
67
+ expect(() => (0, compile_1.compile)(`
68
+ struct Vec2 { x: int, y: int }
69
+ struct Entity { pos: Vec2, hp: int }
70
+ fn f(): int {
71
+ let e: Entity = Entity { pos: Vec2 { x: 10, y: 20 }, hp: 100 };
72
+ return e.pos.x;
73
+ }
74
+ `, { namespace: 'nested' })).not.toThrow();
75
+ });
76
+ });
77
+ // ── dynamic array index ────────────────────────────────────────────────────
78
+ describe('MIR lower — dynamic array index', () => {
79
+ test('let arr = []; arr[i] with variable index emits nbt_read_dynamic', () => {
80
+ const mod = compileMIR(`
81
+ fn f(i: int): int {
82
+ let arr: int[] = [10, 20, 30];
83
+ return arr[i];
84
+ }
85
+ `);
86
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
87
+ const fn = mod.functions[0];
88
+ const allInstrs = fn.blocks.flatMap(b => b.instrs);
89
+ const dynRead = allInstrs.find(i => i.kind === 'nbt_read_dynamic');
90
+ expect(dynRead).toBeDefined();
91
+ });
92
+ test('let arr = []; arr[i] = v with variable index emits nbt_write_dynamic', () => {
93
+ const mod = compileMIR(`
94
+ fn f(i: int, v: int): int {
95
+ let arr: int[] = [0, 0, 0];
96
+ arr[i] = v;
97
+ return 0;
98
+ }
99
+ `);
100
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
101
+ const fn = mod.functions[0];
102
+ const allInstrs = fn.blocks.flatMap(b => b.instrs);
103
+ const dynWrite = allInstrs.find(i => i.kind === 'nbt_write_dynamic');
104
+ expect(dynWrite).toBeDefined();
105
+ });
106
+ test('let arr = []; arr[0] with constant index emits nbt_read (not dynamic)', () => {
107
+ const mod = compileMIR(`
108
+ fn f(): int {
109
+ let arr: int[] = [10, 20, 30];
110
+ return arr[0];
111
+ }
112
+ `);
113
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
114
+ const fn = mod.functions[0];
115
+ const allInstrs = fn.blocks.flatMap(b => b.instrs);
116
+ const staticRead = allInstrs.find(i => i.kind === 'nbt_read');
117
+ expect(staticRead).toBeDefined();
118
+ });
119
+ test('let arr = []; arr[0] = v with constant index emits nbt_write (not dynamic)', () => {
120
+ const mod = compileMIR(`
121
+ fn f(v: int): int {
122
+ let arr: int[] = [0, 0, 0];
123
+ arr[0] = v;
124
+ return 0;
125
+ }
126
+ `);
127
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
128
+ const fn = mod.functions[0];
129
+ const allInstrs = fn.blocks.flatMap(b => b.instrs);
130
+ const staticWrite = allInstrs.find(i => i.kind === 'nbt_write');
131
+ expect(staticWrite).toBeDefined();
132
+ });
133
+ });
134
+ // ── for_range loop ─────────────────────────────────────────────────────────
135
+ describe('MIR lower — for_range loop', () => {
136
+ test('for i in 0..5 creates loop blocks', () => {
137
+ const mod = compileMIR(`
138
+ fn f(): int {
139
+ let sum = 0;
140
+ for i in 0..5 {
141
+ sum = sum + i;
142
+ }
143
+ return sum;
144
+ }
145
+ `);
146
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
147
+ const fn = mod.functions[0];
148
+ expect(fn.blocks.length).toBeGreaterThan(2);
149
+ });
150
+ test('for i in 0..=5 (inclusive) creates loop blocks', () => {
151
+ const mod = compileMIR(`
152
+ fn f(): int {
153
+ let total = 0;
154
+ for i in 0..=4 {
155
+ total = total + i;
156
+ }
157
+ return total;
158
+ }
159
+ `);
160
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
161
+ });
162
+ });
163
+ // ── break / continue ─────────────────────────────────────────────────────
164
+ describe('MIR lower — break/continue in loops', () => {
165
+ test('break in while loop compiles', () => {
166
+ const mod = compileMIR(`
167
+ fn f(): int {
168
+ let x = 0;
169
+ while (x < 10) {
170
+ if (x == 5) { break; }
171
+ x = x + 1;
172
+ }
173
+ return x;
174
+ }
175
+ `);
176
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
177
+ const fn = mod.functions[0];
178
+ // break creates a dead block after it
179
+ expect(fn.blocks.length).toBeGreaterThan(3);
180
+ });
181
+ test('continue in for loop compiles', () => {
182
+ const mod = compileMIR(`
183
+ fn f(): int {
184
+ let sum = 0;
185
+ for (let i: int = 0; i < 5; i = i + 1) {
186
+ if (i == 2) { continue; }
187
+ sum = sum + i;
188
+ }
189
+ return sum;
190
+ }
191
+ `);
192
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
193
+ });
194
+ });
195
+ // ── as_block / at_block / as_at ─────────────────────────────────────────
196
+ describe('MIR lower — context blocks', () => {
197
+ test('as @a block creates helper function', () => {
198
+ const mod = compileMIR(`
199
+ fn f(): int {
200
+ as @a {
201
+ raw("say hi");
202
+ }
203
+ return 0;
204
+ }
205
+ `);
206
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
207
+ const fn = mod.functions[0];
208
+ const allInstrs = fn.blocks.flatMap(b => b.instrs);
209
+ const ctxCall = allInstrs.find(i => i.kind === 'call_context');
210
+ expect(ctxCall).toBeDefined();
211
+ });
212
+ test('at @s block creates helper function', () => {
213
+ const mod = compileMIR(`
214
+ fn f(): int {
215
+ at @s {
216
+ raw("say positioned");
217
+ }
218
+ return 0;
219
+ }
220
+ `);
221
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
222
+ });
223
+ });
224
+ // ── method calls (invoke) ─────────────────────────────────────────────────
225
+ describe('MIR lower — invoke method calls', () => {
226
+ test('method call on struct instance compiles', () => {
227
+ const mod = compileMIR(`
228
+ struct Timer { ticks: int }
229
+ impl Timer {
230
+ fn advance(self): int {
231
+ self.ticks = self.ticks + 1;
232
+ return self.ticks;
233
+ }
234
+ }
235
+ fn f(): int {
236
+ let t: Timer = Timer { ticks: 0 };
237
+ return t.advance();
238
+ }
239
+ `);
240
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
241
+ });
242
+ });
243
+ // ── string_interp ─────────────────────────────────────────────────────────
244
+ describe('MIR lower — string interpolation', () => {
245
+ test('raw string variable compiles', () => {
246
+ expect(() => (0, compile_1.compile)(`
247
+ fn f(): int {
248
+ let s: string = "hello world";
249
+ return 0;
250
+ }
251
+ `, { namespace: 'str2' })).not.toThrow();
252
+ });
253
+ test('f-string expression compiles to MIR', () => {
254
+ const mod = compileMIR(`
255
+ fn f(n: int): void {
256
+ say(f"value is {n}");
257
+ }
258
+ `);
259
+ // f-string should produce some instructions in the function
260
+ expect(mod.functions.length).toBeGreaterThan(0);
261
+ });
262
+ });
263
+ // ── multiple return values / void return ───────────────────────────────────
264
+ describe('MIR lower — return variants', () => {
265
+ test('void function with no return stmt compiles', () => {
266
+ const mod = compileMIR(`
267
+ fn f(): void {
268
+ raw("say nothing");
269
+ }
270
+ `);
271
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
272
+ const fn = mod.functions[0];
273
+ // Last term should be return with null
274
+ const lastBlock = fn.blocks[fn.blocks.length - 1];
275
+ expect(lastBlock.term.kind).toBe('return');
276
+ });
277
+ test('early return in conditional compiles', () => {
278
+ const mod = compileMIR(`
279
+ fn f(n: int): int {
280
+ if (n < 0) { return -1; }
281
+ if (n == 0) { return 0; }
282
+ return 1;
283
+ }
284
+ `);
285
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
286
+ expect(mod.functions[0].blocks.length).toBeGreaterThan(2);
287
+ });
288
+ });
289
+ // ── const val as fn param ──────────────────────────────────────────────────
290
+ describe('MIR lower — constant propagation', () => {
291
+ test('boolean literal true compiles to const 1 in MIR return', () => {
292
+ const mod = compileMIR(`
293
+ fn f(): bool {
294
+ return true;
295
+ }
296
+ `);
297
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
298
+ const fn = mod.functions[0];
299
+ // return should carry const value 1
300
+ const retBlock = fn.blocks[0];
301
+ const retTerm = retBlock.term;
302
+ expect(retTerm.kind).toBe('return');
303
+ // value should be const 1
304
+ if (retTerm.kind === 'return' && retTerm.value) {
305
+ expect(retTerm.value).toEqual({ kind: 'const', value: 1 });
306
+ }
307
+ });
308
+ test('negative literal compiles via unary minus', () => {
309
+ const mod = compileMIR(`
310
+ fn f(): int {
311
+ return -5;
312
+ }
313
+ `);
314
+ expect((0, verify_1.verifyMIR)(mod)).toEqual([]);
315
+ });
316
+ });
317
+ //# sourceMappingURL=lower-extra2.test.js.map