@aster-cloud/aster-lang-ts 0.1.0 → 0.1.1

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 (125) hide show
  1. package/dist/scripts/aster.js +5 -5
  2. package/dist/scripts/aster.js.map +1 -1
  3. package/dist/scripts/emit-classfiles.js +1 -1
  4. package/dist/scripts/emit-classfiles.js.map +1 -1
  5. package/dist/scripts/emit-core.js +1 -1
  6. package/dist/scripts/emit-core.js.map +1 -1
  7. package/dist/scripts/golden.js +5 -5
  8. package/dist/scripts/golden.js.map +1 -1
  9. package/dist/scripts/lsp-build-index.js +1 -1
  10. package/dist/scripts/lsp-build-index.js.map +1 -1
  11. package/dist/scripts/perf-benchmark.js +1 -1
  12. package/dist/scripts/perf-benchmark.js.map +1 -1
  13. package/dist/scripts/perf-diagnostics.js +1 -1
  14. package/dist/scripts/perf-diagnostics.js.map +1 -1
  15. package/dist/scripts/profile-medium-project.js +1 -1
  16. package/dist/scripts/profile-medium-project.js.map +1 -1
  17. package/dist/scripts/repl.js +1 -1
  18. package/dist/scripts/repl.js.map +1 -1
  19. package/dist/scripts/typecheck-cli.js +1 -1
  20. package/dist/scripts/typecheck-cli.js.map +1 -1
  21. package/dist/scripts/update-eff-violation-expected.js +1 -1
  22. package/dist/scripts/update-eff-violation-expected.js.map +1 -1
  23. package/dist/scripts/verify-capabilities.js +1 -1
  24. package/dist/scripts/verify-capabilities.js.map +1 -1
  25. package/dist/src/ai/validator.d.ts.map +1 -1
  26. package/dist/src/ai/validator.js +13 -1
  27. package/dist/src/ai/validator.js.map +1 -1
  28. package/dist/src/browser.d.ts +4 -0
  29. package/dist/src/browser.d.ts.map +1 -1
  30. package/dist/src/browser.js +25 -12
  31. package/dist/src/browser.js.map +1 -1
  32. package/dist/src/cli/policy-converter.js +1 -1
  33. package/dist/src/cli/policy-converter.js.map +1 -1
  34. package/dist/src/core/index.d.ts +2 -0
  35. package/dist/src/core/index.d.ts.map +1 -1
  36. package/dist/src/core/index.js +1 -0
  37. package/dist/src/core/index.js.map +1 -1
  38. package/dist/src/core/interpreter.d.ts +37 -0
  39. package/dist/src/core/interpreter.d.ts.map +1 -0
  40. package/dist/src/core/interpreter.js +454 -0
  41. package/dist/src/core/interpreter.js.map +1 -0
  42. package/dist/src/diagnostics/diagnostics.d.ts +5 -0
  43. package/dist/src/diagnostics/diagnostics.d.ts.map +1 -1
  44. package/dist/src/diagnostics/diagnostics.js +13 -0
  45. package/dist/src/diagnostics/diagnostics.js.map +1 -1
  46. package/dist/src/formatter.js +1 -1
  47. package/dist/src/formatter.js.map +1 -1
  48. package/dist/src/index.d.ts +1 -0
  49. package/dist/src/index.d.ts.map +1 -1
  50. package/dist/src/index.js.map +1 -1
  51. package/dist/src/jvm/emitter.js +3 -3
  52. package/dist/src/jvm/emitter.js.map +1 -1
  53. package/dist/src/lsp/completion.js +1 -1
  54. package/dist/src/lsp/completion.js.map +1 -1
  55. package/dist/src/lsp/navigation/definition.js +1 -1
  56. package/dist/src/lsp/navigation/definition.js.map +1 -1
  57. package/dist/src/lsp/navigation/document-symbol.js +1 -1
  58. package/dist/src/lsp/navigation/document-symbol.js.map +1 -1
  59. package/dist/src/lsp/navigation/hover.js +1 -1
  60. package/dist/src/lsp/navigation/hover.js.map +1 -1
  61. package/dist/src/lsp/server.js +2 -2
  62. package/dist/src/lsp/server.js.map +1 -1
  63. package/dist/src/lsp/tokens.js +2 -2
  64. package/dist/src/lsp/tokens.js.map +1 -1
  65. package/dist/src/lsp/workspace/document-indexer.js +1 -1
  66. package/dist/src/lsp/workspace/document-indexer.js.map +1 -1
  67. package/dist/src/parser/decl-parser.d.ts +5 -9
  68. package/dist/src/parser/decl-parser.d.ts.map +1 -1
  69. package/dist/src/parser/decl-parser.js +84 -56
  70. package/dist/src/parser/decl-parser.js.map +1 -1
  71. package/dist/src/parser.d.ts +18 -5
  72. package/dist/src/parser.d.ts.map +1 -1
  73. package/dist/src/parser.js +5 -5
  74. package/dist/src/parser.js.map +1 -1
  75. package/dist/test/benchmark.js +8 -8
  76. package/dist/test/benchmark.js.map +1 -1
  77. package/dist/test/compiler/depends-on.test.js +1 -1
  78. package/dist/test/compiler/depends-on.test.js.map +1 -1
  79. package/dist/test/compiler/workflow-emitter-helpers.js +1 -1
  80. package/dist/test/compiler/workflow-emitter-helpers.js.map +1 -1
  81. package/dist/test/e2e/runner/golden-runner.js +3 -3
  82. package/dist/test/e2e/runner/golden-runner.js.map +1 -1
  83. package/dist/test/integration/compliance/compliance-smoke.test.js +1 -1
  84. package/dist/test/integration/compliance/compliance-smoke.test.js.map +1 -1
  85. package/dist/test/integration/lsp/lsp-completion.test.js +1 -1
  86. package/dist/test/integration/lsp/lsp-completion.test.js.map +1 -1
  87. package/dist/test/integration/lsp/lsp-diagnostics.test.js +1 -1
  88. package/dist/test/integration/lsp/lsp-diagnostics.test.js.map +1 -1
  89. package/dist/test/integration/lsp/lsp-modules.test.js +1 -1
  90. package/dist/test/integration/lsp/lsp-modules.test.js.map +1 -1
  91. package/dist/test/integration/lsp/lsp-navigation.test.js +1 -1
  92. package/dist/test/integration/lsp/lsp-navigation.test.js.map +1 -1
  93. package/dist/test/integration/pipeline/pipeline.test.js +4 -4
  94. package/dist/test/integration/pipeline/pipeline.test.js.map +1 -1
  95. package/dist/test/property/lsp-props.test.js +2 -2
  96. package/dist/test/property/lsp-props.test.js.map +1 -1
  97. package/dist/test/property/property.test.js +15 -15
  98. package/dist/test/property/property.test.js.map +1 -1
  99. package/dist/test/regression/type-checker-golden.test.js +1 -1
  100. package/dist/test/regression/type-checker-golden.test.js.map +1 -1
  101. package/dist/test/type-checker/cross-module-packages.test.js +1 -1
  102. package/dist/test/type-checker/cross-module-packages.test.js.map +1 -1
  103. package/dist/test/unit/async/async-discipline.test.js +1 -1
  104. package/dist/test/unit/async/async-discipline.test.js.map +1 -1
  105. package/dist/test/unit/async/async-schedule.test.js +1 -1
  106. package/dist/test/unit/async/async-schedule.test.js.map +1 -1
  107. package/dist/test/unit/interpreter/interpreter.test.d.ts +2 -0
  108. package/dist/test/unit/interpreter/interpreter.test.d.ts.map +1 -0
  109. package/dist/test/unit/interpreter/interpreter.test.js +507 -0
  110. package/dist/test/unit/interpreter/interpreter.test.js.map +1 -0
  111. package/dist/test/unit/keyword-translator.test.js +4 -4
  112. package/dist/test/unit/keyword-translator.test.js.map +1 -1
  113. package/dist/test/unit/lowering/lowering.test.js +1 -1
  114. package/dist/test/unit/lowering/lowering.test.js.map +1 -1
  115. package/dist/test/unit/parser/parser.test.js +39 -37
  116. package/dist/test/unit/parser/parser.test.js.map +1 -1
  117. package/dist/test/unit/typecheck/async-discipline-extended.test.js +1 -1
  118. package/dist/test/unit/typecheck/async-discipline-extended.test.js.map +1 -1
  119. package/dist/test/unit/typecheck/effects-and-capabilities.test.js +4 -4
  120. package/dist/test/unit/typecheck/effects-and-capabilities.test.js.map +1 -1
  121. package/dist/test/unit/typecheck/type-inference.test.js +1 -1
  122. package/dist/test/unit/typecheck/type-inference.test.js.map +1 -1
  123. package/dist/test/unit/typecheck/typecheck-advanced.test.js +1 -1
  124. package/dist/test/unit/typecheck/typecheck-advanced.test.js.map +1 -1
  125. package/package.json +6 -3
package/dist/test/unit/async/async-discipline.test.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"async-discipline.test.js","sourceRoot":"","sources":["../../../../test/unit/async/async-discipline.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAI5D,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC;;;;;;CAMjC,CAAC,CAAC;AAEH,SAAS,wBAAwB,CAAC,MAAc;IAC9C,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAc,CAAC;QACvC,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAC9B,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAG,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;IACpE,CAAC;AACH,CAAC;AAED,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;IACtB,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,MAAM,GAAG;;;;;;;;;;;CAWpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,kDAAqC,CAAC,CAAC;YAE9G,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,uBAAuB,CAAC,CAAC;YACxD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,qBAAqB,CAAC,CAAC;YAClF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC;QAC/E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;CAmBpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,kDAAqC,CAAC,CAAC;YAE9G,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,uBAAuB,CAAC,CAAC;YACxD,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACxD,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;YACnE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;YACrE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;QACvE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,MAAM,GAAG;;;;;;;;CAQpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,kDAAqC,CAAC,CAAC;YAE9G,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,uBAAuB,CAAC,CAAC;YACxD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,qBAAqB,CAAC,CAAC;YAClF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;QACnF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,MAAM,GAAG;;;;;;;;CAQpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,kDAAqC,CAAC,CAAC;YAE9G,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,uBAAuB,CAAC,CAAC;YACxD,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACxD,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;YACnE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;YACrE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;QACvE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;QAC3B,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,MAAM,GAAG;;;;;;;;;;;;;CAapB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,iDAAoC,CAAC,CAAC;YAE7G,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,kBAAkB,CAAC,CAAC;YACnD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,qBAAqB,CAAC,CAAC;YAClF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;YAClF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;QACzE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,MAAM,GAAG;;;;;;;;;;;;;;CAcpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,iDAAoC,CAAC,CAAC;YAE7G,qBAAqB;YACrB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,6BAA6B,CAAC,CAAC;YAC9D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;QAC1B,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;YACnC,MAAM,MAAM,GAAG;;;;;;;;;;;;;CAapB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,gDAAmC,CAAC,CAAC;YAEhH,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;YACpD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,qBAAqB,CAAC,CAAC;YACpF,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;YACpF,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;QAC3E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;YAC1B,MAAM,MAAM,GAAG;;;;;;;;;;;;;;CAcpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,gDAAmC,CAAC,CAAC;YAEhH,qBAAqB;YACrB,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,4BAA4B,CAAC,CAAC;YAC/D,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC;QAC5E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE;QACpB,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,MAAM,GAAG;;;;;;;;;;;;CAYpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACzC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAiB,CAAC,CACnE,CAAC;YAEF,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,gBAAgB,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;CAoBpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACzC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAiB,CAAC,CACnE,CAAC;YAEF,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,gBAAgB,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;CAqBpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACzC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAiB,CAAC,CACnE,CAAC;YAEF,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,kBAAkB,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE;QACpB,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE;YACpB,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;CAmBpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YAErD,kCAAkC;YAClC,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kDAAqC,CAAC,CAAC;YAC5F,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,uBAAuB,CAAC,CAAC;YAChE,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;YAEpF,kCAAkC;YAClC,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kDAAqC,CAAC,CAAC;YAC5F,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,uBAAuB,CAAC,CAAC;YAChE,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;YAEpF,4BAA4B;YAC5B,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,CAAC;YAC3F,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,kBAAkB,CAAC,CAAC;YAC3D,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC;YAElF,2BAA2B;YAC3B,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,gDAAmC,CAAC,CAAC;YACzF,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;YACzD,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC;QACnF,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,MAAM,GAAG;;;;;;;;;;;;CAYpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,mDAAsC,CAAC,CAAC;YAE9F,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,uBAAuB,CAAC,CAAC;YACjE,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAC1F,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,MAAM,MAAM,GAAG;;;;;;;;;;;;;CAapB,CAAC;YACI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,mDAAsC,CAAC,CAAC;YAE9F,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,kBAAkB,CAAC,CAAC;YAC5D,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAC1F,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;CAepB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,CAAC;YAC3F,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,mDAAsC,CAAC,CAAC;YAE9F,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,yBAAyB,CAAC,CAAC;YAClE,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,kBAAkB,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;CAepB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,CAAC;YAE3F,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,uBAAuB,CAAC,CAAC;YAChE,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;YACvF,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC;QAC9E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;YACxC,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;CAepB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kDAAqC,CAAC,CAAC;YAEzF,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,0BAA0B,CAAC,CAAC;YAChE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC;QACpF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,MAAM,MAAM,GAAG;;;;;;;;;;;;;;CAcpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,CAAC;YAE3F,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,yBAAyB,CAAC,CAAC;YAClE,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;YACvF,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC;QAC9E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;QAC1B,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;CAepB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,CAAC;YAC3F,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,mDAAsC,CAAC,CAAC;YAE9F,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,qBAAqB,CAAC,CAAC;YAC9D,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,6BAA6B,CAAC,CAAC;YACvE,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAC1F,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
1
+ {"version":3,"file":"async-discipline.test.js","sourceRoot":"","sources":["../../../../test/unit/async/async-discipline.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAI5D,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC;;;;;;CAMjC,CAAC,CAAC;AAEH,SAAS,wBAAwB,CAAC,MAAc;IAC9C,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAgB,CAAC;QAC3C,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAC9B,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAG,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;IACpE,CAAC;AACH,CAAC;AAED,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;IACtB,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,MAAM,GAAG;;;;;;;;;;;CAWpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,kDAAqC,CAAC,CAAC;YAE9G,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,uBAAuB,CAAC,CAAC;YACxD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,qBAAqB,CAAC,CAAC;YAClF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC;QAC/E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;CAmBpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,kDAAqC,CAAC,CAAC;YAE9G,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,uBAAuB,CAAC,CAAC;YACxD,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACxD,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;YACnE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;YACrE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;QACvE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,MAAM,GAAG;;;;;;;;CAQpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,kDAAqC,CAAC,CAAC;YAE9G,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,uBAAuB,CAAC,CAAC;YACxD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,qBAAqB,CAAC,CAAC;YAClF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;QACnF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,MAAM,GAAG;;;;;;;;CAQpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,kDAAqC,CAAC,CAAC;YAE9G,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,uBAAuB,CAAC,CAAC;YACxD,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACxD,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;YACnE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;YACrE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;QACvE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;QAC3B,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,MAAM,GAAG;;;;;;;;;;;;;CAapB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,iDAAoC,CAAC,CAAC;YAE7G,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,kBAAkB,CAAC,CAAC;YACnD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,qBAAqB,CAAC,CAAC;YAClF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;YAClF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;QACzE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,MAAM,GAAG;;;;;;;;;;;;;;CAcpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,iDAAoC,CAAC,CAAC;YAE7G,qBAAqB;YACrB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,6BAA6B,CAAC,CAAC;YAC9D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;QAC1B,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;YACnC,MAAM,MAAM,GAAG;;;;;;;;;;;;;CAapB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,gDAAmC,CAAC,CAAC;YAEhH,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;YACpD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,qBAAqB,CAAC,CAAC;YACpF,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;YACpF,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;QAC3E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;YAC1B,MAAM,MAAM,GAAG;;;;;;;;;;;;;;CAcpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,gDAAmC,CAAC,CAAC;YAEhH,qBAAqB;YACrB,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,4BAA4B,CAAC,CAAC;YAC/D,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC;QAC5E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE;QACpB,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,MAAM,GAAG;;;;;;;;;;;;CAYpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACzC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAiB,CAAC,CACnE,CAAC;YAEF,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,gBAAgB,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;CAoBpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACzC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAiB,CAAC,CACnE,CAAC;YAEF,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,gBAAgB,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;CAqBpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACzC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAiB,CAAC,CACnE,CAAC;YAEF,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,kBAAkB,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE;QACpB,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE;YACpB,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;CAmBpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YAErD,kCAAkC;YAClC,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kDAAqC,CAAC,CAAC;YAC5F,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,uBAAuB,CAAC,CAAC;YAChE,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;YAEpF,kCAAkC;YAClC,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kDAAqC,CAAC,CAAC;YAC5F,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,uBAAuB,CAAC,CAAC;YAChE,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;YAEpF,4BAA4B;YAC5B,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,CAAC;YAC3F,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,kBAAkB,CAAC,CAAC;YAC3D,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC;YAElF,2BAA2B;YAC3B,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,gDAAmC,CAAC,CAAC;YACzF,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;YACzD,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC;QACnF,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,MAAM,GAAG;;;;;;;;;;;;CAYpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,mDAAsC,CAAC,CAAC;YAE9F,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,uBAAuB,CAAC,CAAC;YACjE,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAC1F,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,MAAM,MAAM,GAAG;;;;;;;;;;;;;CAapB,CAAC;YACI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,mDAAsC,CAAC,CAAC;YAE9F,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,kBAAkB,CAAC,CAAC;YAC5D,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAC1F,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;CAepB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,CAAC;YAC3F,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,mDAAsC,CAAC,CAAC;YAE9F,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,yBAAyB,CAAC,CAAC;YAClE,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,kBAAkB,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;CAepB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,CAAC;YAE3F,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,uBAAuB,CAAC,CAAC;YAChE,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;YACvF,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC;QAC9E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;YACxC,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;CAepB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kDAAqC,CAAC,CAAC;YAEzF,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,0BAA0B,CAAC,CAAC;YAChE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC;QACpF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,MAAM,MAAM,GAAG;;;;;;;;;;;;;;CAcpB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,CAAC;YAE3F,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,yBAAyB,CAAC,CAAC;YAClE,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;YACvF,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC;QAC9E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;QAC1B,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;CAepB,CAAC;YAEI,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,CAAC;YAC3F,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,mDAAsC,CAAC,CAAC;YAE9F,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,qBAAqB,CAAC,CAAC;YAC9D,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,6BAA6B,CAAC,CAAC;YACvE,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAC1F,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
package/dist/test/unit/async/async-schedule.test.js CHANGED
@@ -14,7 +14,7 @@ function compileAndGetDiagnostics(source) {
14
14
  try {
15
15
  const canonical = canonicalize(source);
16
16
  const tokens = lex(canonical);
17
- const ast = parse(tokens);
17
+ const ast = parse(tokens).ast;
18
18
  const core = lowerModule(ast);
19
19
  return typecheckModule(core);
20
20
  }
package/dist/test/unit/async/async-schedule.test.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"async-schedule.test.js","sourceRoot":"","sources":["../../../../test/unit/async/async-schedule.test.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAI5D,SAAS,wBAAwB,CAAC,MAAc;IAC9C,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAc,CAAC;QACvC,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAC9B,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAG,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;IACpE,CAAC;AACH,CAAC;AAED,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,MAAM,GAAG;;;;;;;;;;;;;CAalB,CAAC;QAEE,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,mDAAsC,CAAC,CAAC;QAE/G,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,+BAA+B,CAAC,CAAC;QAChE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,MAAM,GAAG;;;;;;;;;;;;CAYlB,CAAC;QAEE,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,mDAAsC,CAAC,CAAC;QAE/G,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,+BAA+B,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,MAAM,GAAG;;;;;;;;;;;;CAYlB,CAAC;QAEE,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,mDAAsC,CAAC,CAAC;QAE/G,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,mBAAmB,CAAC,CAAC;QACpD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;CAgBlB,CAAC;QAEE,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,CAAC;QAE5F,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,qBAAqB,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;CAmBlB,CAAC;QAEE,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,CAAC;QAE5F,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,2BAA2B,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,MAAM,GAAG;;;;;;;;;;;;;;CAclB,CAAC;QAEE,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,CAAC;QAE5F,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,qBAAqB,CAAC,CAAC;QAC/D,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,kBAAkB,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
1
+ {"version":3,"file":"async-schedule.test.js","sourceRoot":"","sources":["../../../../test/unit/async/async-schedule.test.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAI5D,SAAS,wBAAwB,CAAC,MAAc;IAC9C,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAgB,CAAC;QAC3C,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAC9B,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAG,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;IACpE,CAAC;AACH,CAAC;AAED,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,MAAM,GAAG;;;;;;;;;;;;;CAalB,CAAC;QAEE,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,mDAAsC,CAAC,CAAC;QAE/G,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,+BAA+B,CAAC,CAAC;QAChE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,MAAM,GAAG;;;;;;;;;;;;CAYlB,CAAC;QAEE,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,mDAAsC,CAAC,CAAC;QAE/G,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,+BAA+B,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,MAAM,GAAG;;;;;;;;;;;;CAYlB,CAAC;QAEE,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,mDAAsC,CAAC,CAAC;QAE/G,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,mBAAmB,CAAC,CAAC;QACpD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;CAgBlB,CAAC;QAEE,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,CAAC;QAE5F,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,qBAAqB,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;CAmBlB,CAAC;QAEE,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,CAAC;QAE5F,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,2BAA2B,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,MAAM,GAAG;;;;;;;;;;;;;;CAclB,CAAC;QAEE,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,CAAC;QAE5F,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,qBAAqB,CAAC,CAAC;QAC/D,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,kBAAkB,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
package/dist/test/unit/interpreter/interpreter.test.d.ts ADDED
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=interpreter.test.d.ts.map
package/dist/test/unit/interpreter/interpreter.test.d.ts.map ADDED
@@ -0,0 +1 @@
1
+ {"version":3,"file":"interpreter.test.d.ts","sourceRoot":"","sources":["../../../../test/unit/interpreter/interpreter.test.ts"],"names":[],"mappings":""}
package/dist/test/unit/interpreter/interpreter.test.js ADDED
@@ -0,0 +1,507 @@
1
+ import { describe, it } from 'node:test';
2
+ import assert from 'node:assert/strict';
3
+ import { evaluate } from '../../../src/core/interpreter.js';
4
+ // ============================================================================
5
+ // 辅助函数：构造 Core IR 节点
6
+ // ============================================================================
7
+ function mkModule(decls) {
8
+ return { kind: 'Module', name: 'test', decls };
9
+ }
10
+ function mkFunc(name, params, body) {
11
+ return {
12
+ kind: 'Func',
13
+ name,
14
+ typeParams: [],
15
+ params,
16
+ ret: { kind: 'TypeName', name: 'Int' },
17
+ effects: [],
18
+ effectCaps: [],
19
+ effectCapsExplicit: false,
20
+ body: { kind: 'Block', statements: body },
21
+ };
22
+ }
23
+ function mkParam(name) {
24
+ return { name, type: { kind: 'TypeName', name: 'Int' } };
25
+ }
26
+ function mkInt(value) {
27
+ return { kind: 'Int', value };
28
+ }
29
+ function mkDouble(value) {
30
+ return { kind: 'Double', value };
31
+ }
32
+ function mkBool(value) {
33
+ return { kind: 'Bool', value };
34
+ }
35
+ function mkStr(value) {
36
+ return { kind: 'String', value };
37
+ }
38
+ function mkName(name) {
39
+ return { kind: 'Name', name };
40
+ }
41
+ function mkCall(op, args) {
42
+ return { kind: 'Call', target: mkName(op), args };
43
+ }
44
+ function mkReturn(expr) {
45
+ return { kind: 'Return', expr };
46
+ }
47
+ function mkLet(name, expr) {
48
+ return { kind: 'Let', name, expr };
49
+ }
50
+ function mkIf(cond, thenStmts, elseStmts) {
51
+ return {
52
+ kind: 'If',
53
+ cond,
54
+ thenBlock: { kind: 'Block', statements: thenStmts },
55
+ elseBlock: elseStmts ? { kind: 'Block', statements: elseStmts } : null,
56
+ };
57
+ }
58
+ function mkConstruct(typeName, fields) {
59
+ return { kind: 'Construct', typeName, fields };
60
+ }
61
+ // ============================================================================
62
+ // 测试
63
+ // ============================================================================
64
+ describe('Core IR 解释器', () => {
65
+ describe('字面量求值', () => {
66
+ it('返回整数字面量', () => {
67
+ const mod = mkModule([mkFunc('f', [], [mkReturn(mkInt(42))])]);
68
+ const result = evaluate(mod, 'f', {});
69
+ assert.ok(result.success);
70
+ assert.equal(result.value, 42);
71
+ });
72
+ it('返回浮点数字面量', () => {
73
+ const mod = mkModule([mkFunc('f', [], [mkReturn(mkDouble(3.14))])]);
74
+ const result = evaluate(mod, 'f', {});
75
+ assert.ok(result.success);
76
+ assert.equal(result.value, 3.14);
77
+ });
78
+ it('返回布尔字面量', () => {
79
+ const mod = mkModule([mkFunc('f', [], [mkReturn(mkBool(true))])]);
80
+ const result = evaluate(mod, 'f', {});
81
+ assert.ok(result.success);
82
+ assert.equal(result.value, true);
83
+ });
84
+ it('返回字符串字面量', () => {
85
+ const mod = mkModule([mkFunc('f', [], [mkReturn(mkStr('hello'))])]);
86
+ const result = evaluate(mod, 'f', {});
87
+ assert.ok(result.success);
88
+ assert.equal(result.value, 'hello');
89
+ });
90
+ it('返回 null', () => {
91
+ const mod = mkModule([mkFunc('f', [], [mkReturn({ kind: 'Null' })])]);
92
+ const result = evaluate(mod, 'f', {});
93
+ assert.ok(result.success);
94
+ assert.equal(result.value, null);
95
+ });
96
+ });
97
+ describe('算术运算', () => {
98
+ it('加法', () => {
99
+ const mod = mkModule([
100
+ mkFunc('f', [mkParam('a'), mkParam('b')], [
101
+ mkReturn(mkCall('+', [mkName('a'), mkName('b')])),
102
+ ]),
103
+ ]);
104
+ const result = evaluate(mod, 'f', { a: 10, b: 20 });
105
+ assert.ok(result.success);
106
+ assert.equal(result.value, 30);
107
+ });
108
+ it('减法', () => {
109
+ const mod = mkModule([
110
+ mkFunc('f', [mkParam('a'), mkParam('b')], [
111
+ mkReturn(mkCall('-', [mkName('a'), mkName('b')])),
112
+ ]),
113
+ ]);
114
+ const result = evaluate(mod, 'f', { a: 50, b: 20 });
115
+ assert.ok(result.success);
116
+ assert.equal(result.value, 30);
117
+ });
118
+ it('乘法', () => {
119
+ const mod = mkModule([
120
+ mkFunc('f', [mkParam('a'), mkParam('b')], [
121
+ mkReturn(mkCall('*', [mkName('a'), mkName('b')])),
122
+ ]),
123
+ ]);
124
+ const result = evaluate(mod, 'f', { a: 6, b: 7 });
125
+ assert.ok(result.success);
126
+ assert.equal(result.value, 42);
127
+ });
128
+ it('除法', () => {
129
+ const mod = mkModule([
130
+ mkFunc('f', [mkParam('a'), mkParam('b')], [
131
+ mkReturn(mkCall('/', [mkName('a'), mkName('b')])),
132
+ ]),
133
+ ]);
134
+ const result = evaluate(mod, 'f', { a: 100, b: 4 });
135
+ assert.ok(result.success);
136
+ assert.equal(result.value, 25);
137
+ });
138
+ it('除以零返回错误', () => {
139
+ const mod = mkModule([
140
+ mkFunc('f', [mkParam('a')], [
141
+ mkReturn(mkCall('/', [mkName('a'), mkInt(0)])),
142
+ ]),
143
+ ]);
144
+ const result = evaluate(mod, 'f', { a: 10 });
145
+ assert.ok(!result.success);
146
+ assert.ok(result.error?.includes('Division by zero'));
147
+ });
148
+ it('字符串拼接', () => {
149
+ const mod = mkModule([
150
+ mkFunc('f', [mkParam('a'), mkParam('b')], [
151
+ mkReturn(mkCall('+', [mkName('a'), mkName('b')])),
152
+ ]),
153
+ ]);
154
+ const result = evaluate(mod, 'f', { a: 'Hello, ', b: 'World' });
155
+ assert.ok(result.success);
156
+ assert.equal(result.value, 'Hello, World');
157
+ });
158
+ });
159
+ describe('比较运算', () => {
160
+ it('大于', () => {
161
+ const mod = mkModule([
162
+ mkFunc('f', [mkParam('a')], [
163
+ mkReturn(mkCall('>', [mkName('a'), mkInt(100)])),
164
+ ]),
165
+ ]);
166
+ assert.equal(evaluate(mod, 'f', { a: 150 }).value, true);
167
+ assert.equal(evaluate(mod, 'f', { a: 50 }).value, false);
168
+ });
169
+ it('小于', () => {
170
+ const mod = mkModule([
171
+ mkFunc('f', [mkParam('a')], [
172
+ mkReturn(mkCall('<', [mkName('a'), mkInt(100)])),
173
+ ]),
174
+ ]);
175
+ assert.equal(evaluate(mod, 'f', { a: 50 }).value, true);
176
+ assert.equal(evaluate(mod, 'f', { a: 150 }).value, false);
177
+ });
178
+ it('大于等于', () => {
179
+ const mod = mkModule([
180
+ mkFunc('f', [mkParam('a')], [
181
+ mkReturn(mkCall('>=', [mkName('a'), mkInt(100)])),
182
+ ]),
183
+ ]);
184
+ assert.equal(evaluate(mod, 'f', { a: 100 }).value, true);
185
+ assert.equal(evaluate(mod, 'f', { a: 99 }).value, false);
186
+ });
187
+ it('小于等于', () => {
188
+ const mod = mkModule([
189
+ mkFunc('f', [mkParam('a')], [
190
+ mkReturn(mkCall('<=', [mkName('a'), mkInt(100)])),
191
+ ]),
192
+ ]);
193
+ assert.equal(evaluate(mod, 'f', { a: 100 }).value, true);
194
+ assert.equal(evaluate(mod, 'f', { a: 101 }).value, false);
195
+ });
196
+ it('等于', () => {
197
+ const mod = mkModule([
198
+ mkFunc('f', [mkParam('a')], [
199
+ mkReturn(mkCall('==', [mkName('a'), mkStr('gold')])),
200
+ ]),
201
+ ]);
202
+ assert.equal(evaluate(mod, 'f', { a: 'gold' }).value, true);
203
+ assert.equal(evaluate(mod, 'f', { a: 'silver' }).value, false);
204
+ });
205
+ });
206
+ describe('逻辑运算', () => {
207
+ it('and 短路求值', () => {
208
+ const mod = mkModule([
209
+ mkFunc('f', [mkParam('a'), mkParam('b')], [
210
+ mkReturn(mkCall('and', [
211
+ mkCall('>', [mkName('a'), mkInt(10)]),
212
+ mkCall('>', [mkName('b'), mkInt(20)]),
213
+ ])),
214
+ ]),
215
+ ]);
216
+ assert.equal(evaluate(mod, 'f', { a: 15, b: 25 }).value, true);
217
+ assert.equal(evaluate(mod, 'f', { a: 5, b: 25 }).value, false);
218
+ assert.equal(evaluate(mod, 'f', { a: 15, b: 15 }).value, false);
219
+ });
220
+ it('or 短路求值', () => {
221
+ const mod = mkModule([
222
+ mkFunc('f', [mkParam('a'), mkParam('b')], [
223
+ mkReturn(mkCall('or', [
224
+ mkCall('>', [mkName('a'), mkInt(100)]),
225
+ mkCall('>', [mkName('b'), mkInt(100)]),
226
+ ])),
227
+ ]),
228
+ ]);
229
+ assert.equal(evaluate(mod, 'f', { a: 150, b: 0 }).value, true);
230
+ assert.equal(evaluate(mod, 'f', { a: 0, b: 150 }).value, true);
231
+ assert.equal(evaluate(mod, 'f', { a: 0, b: 0 }).value, false);
232
+ });
233
+ it('not', () => {
234
+ const mod = mkModule([
235
+ mkFunc('f', [mkParam('a')], [
236
+ mkReturn(mkCall('not', [mkName('a')])),
237
+ ]),
238
+ ]);
239
+ assert.equal(evaluate(mod, 'f', { a: true }).value, false);
240
+ assert.equal(evaluate(mod, 'f', { a: false }).value, true);
241
+ });
242
+ });
243
+ describe('条件分支', () => {
244
+ it('If-then 分支（true）', () => {
245
+ const mod = mkModule([
246
+ mkFunc('f', [mkParam('amount')], [
247
+ mkIf(mkCall('>', [mkName('amount'), mkInt(100)]), [mkReturn(mkCall('*', [mkName('amount'), mkDouble(0.9)]))], null),
248
+ mkReturn(mkName('amount')),
249
+ ]),
250
+ ]);
251
+ const result = evaluate(mod, 'f', { amount: 200 });
252
+ assert.ok(result.success);
253
+ assert.equal(result.value, 180);
254
+ });
255
+ it('If-then 分支（false → 默认 Return）', () => {
256
+ const mod = mkModule([
257
+ mkFunc('f', [mkParam('amount')], [
258
+ mkIf(mkCall('>', [mkName('amount'), mkInt(100)]), [mkReturn(mkCall('*', [mkName('amount'), mkDouble(0.9)]))], null),
259
+ mkReturn(mkName('amount')),
260
+ ]),
261
+ ]);
262
+ const result = evaluate(mod, 'f', { amount: 50 });
263
+ assert.ok(result.success);
264
+ assert.equal(result.value, 50);
265
+ });
266
+ it('If-else 分支', () => {
267
+ const mod = mkModule([
268
+ mkFunc('f', [mkParam('x')], [
269
+ mkIf(mkCall('>', [mkName('x'), mkInt(0)]), [mkReturn(mkStr('positive'))], [mkReturn(mkStr('non-positive'))]),
270
+ ]),
271
+ ]);
272
+ assert.equal(evaluate(mod, 'f', { x: 5 }).value, 'positive');
273
+ assert.equal(evaluate(mod, 'f', { x: -1 }).value, 'non-positive');
274
+ });
275
+ });
276
+ describe('Let 绑定', () => {
277
+ it('绑定中间变量并使用', () => {
278
+ const mod = mkModule([
279
+ mkFunc('f', [mkParam('a'), mkParam('b')], [
280
+ mkLet('sum', mkCall('+', [mkName('a'), mkName('b')])),
281
+ mkReturn(mkCall('*', [mkName('sum'), mkInt(2)])),
282
+ ]),
283
+ ]);
284
+ const result = evaluate(mod, 'f', { a: 3, b: 4 });
285
+ assert.ok(result.success);
286
+ assert.equal(result.value, 14);
287
+ });
288
+ });
289
+ describe('字段访问（dot notation）', () => {
290
+ it('访问 struct 字段', () => {
291
+ const mod = mkModule([
292
+ mkFunc('f', [mkParam('applicant')], [
293
+ mkReturn(mkName('applicant.creditScore')),
294
+ ]),
295
+ ]);
296
+ const result = evaluate(mod, 'f', {
297
+ applicant: { creditScore: 750, income: 50000, age: 30 },
298
+ });
299
+ assert.ok(result.success);
300
+ assert.equal(result.value, 750);
301
+ });
302
+ it('struct 字段用于比较', () => {
303
+ const mod = mkModule([
304
+ mkFunc('f', [mkParam('applicant')], [
305
+ mkIf(mkCall('<', [mkName('applicant.creditScore'), mkInt(600)]), [mkReturn(mkBool(false))], null),
306
+ mkReturn(mkBool(true)),
307
+ ]),
308
+ ]);
309
+ assert.equal(evaluate(mod, 'f', { applicant: { creditScore: 500 } }).value, false);
310
+ assert.equal(evaluate(mod, 'f', { applicant: { creditScore: 700 } }).value, true);
311
+ });
312
+ });
313
+ describe('Construct 表达式', () => {
314
+ it('构造 struct 并返回', () => {
315
+ const mod = mkModule([
316
+ mkFunc('f', [mkParam('value')], [
317
+ mkReturn(mkConstruct('Quote', [
318
+ { name: 'premium', expr: mkCall('*', [mkName('value'), mkDouble(0.05)]) },
319
+ { name: 'deductible', expr: mkInt(1000) },
320
+ ])),
321
+ ]),
322
+ ]);
323
+ const result = evaluate(mod, 'f', { value: 20000 });
324
+ assert.ok(result.success);
325
+ const obj = result.value;
326
+ assert.equal(obj.__type, 'Quote');
327
+ assert.equal(obj.premium, 1000);
328
+ assert.equal(obj.deductible, 1000);
329
+ });
330
+ });
331
+ describe('函数调用（递归）', () => {
332
+ it('调用模块内另一个函数', () => {
333
+ const mod = mkModule([
334
+ mkFunc('helper', [mkParam('x')], [
335
+ mkReturn(mkCall('*', [mkName('x'), mkInt(2)])),
336
+ ]),
337
+ mkFunc('main', [mkParam('a')], [
338
+ mkReturn(mkCall('helper', [mkName('a')])),
339
+ ]),
340
+ ]);
341
+ const result = evaluate(mod, 'main', { a: 21 });
342
+ assert.ok(result.success);
343
+ assert.equal(result.value, 42);
344
+ });
345
+ });
346
+ describe('错误处理', () => {
347
+ it('函数不存在', () => {
348
+ const mod = mkModule([mkFunc('f', [], [mkReturn(mkInt(1))])]);
349
+ const result = evaluate(mod, 'nonexistent', {});
350
+ assert.ok(!result.success);
351
+ assert.ok(result.error?.includes('not found'));
352
+ });
353
+ it('缺少参数', () => {
354
+ const mod = mkModule([mkFunc('f', [mkParam('x')], [mkReturn(mkName('x'))])]);
355
+ const result = evaluate(mod, 'f', {});
356
+ assert.ok(!result.success);
357
+ assert.ok(result.error?.includes("Missing required parameter 'x'"));
358
+ });
359
+ it('未定义变量', () => {
360
+ const mod = mkModule([mkFunc('f', [], [mkReturn(mkName('unknown'))])]);
361
+ const result = evaluate(mod, 'f', {});
362
+ assert.ok(!result.success);
363
+ assert.ok(result.error?.includes("Undefined variable 'unknown'"));
364
+ });
365
+ it('类型不匹配', () => {
366
+ const mod = mkModule([
367
+ mkFunc('f', [mkParam('a')], [
368
+ mkReturn(mkCall('+', [mkName('a'), mkInt(1)])),
369
+ ]),
370
+ ]);
371
+ const result = evaluate(mod, 'f', { a: true });
372
+ assert.ok(!result.success);
373
+ assert.ok(result.error?.includes('Type mismatch'));
374
+ });
375
+ it('返回执行耗时', () => {
376
+ const mod = mkModule([mkFunc('f', [], [mkReturn(mkInt(1))])]);
377
+ const result = evaluate(mod, 'f', {});
378
+ assert.ok(result.success);
379
+ assert.ok(typeof result.executionTimeMs === 'number');
380
+ assert.ok(result.executionTimeMs >= 0);
381
+ });
382
+ });
383
+ describe('端到端：Eligibility Check 场景', () => {
384
+ // 模拟编译后的 Core IR：
385
+ // Rule checkEligibility given applicant as Applicant, produce Bool:
386
+ // If applicant.creditScore < 600 Return false.
387
+ // If applicant.income < 30000 Return false.
388
+ // If applicant.age < 18 Return false.
389
+ // Return true.
390
+ it('合格申请人通过', () => {
391
+ const mod = mkModule([
392
+ mkFunc('checkEligibility', [mkParam('applicant')], [
393
+ mkIf(mkCall('<', [mkName('applicant.creditScore'), mkInt(600)]), [mkReturn(mkBool(false))], null),
394
+ mkIf(mkCall('<', [mkName('applicant.income'), mkInt(30000)]), [mkReturn(mkBool(false))], null),
395
+ mkIf(mkCall('<', [mkName('applicant.age'), mkInt(18)]), [mkReturn(mkBool(false))], null),
396
+ mkReturn(mkBool(true)),
397
+ ]),
398
+ ]);
399
+ const goodApplicant = {
400
+ applicant: { creditScore: 750, income: 50000, age: 30 },
401
+ };
402
+ const result = evaluate(mod, 'checkEligibility', goodApplicant);
403
+ assert.ok(result.success);
404
+ assert.equal(result.value, true);
405
+ });
406
+ it('低信用分被拒绝', () => {
407
+ const mod = mkModule([
408
+ mkFunc('checkEligibility', [mkParam('applicant')], [
409
+ mkIf(mkCall('<', [mkName('applicant.creditScore'), mkInt(600)]), [mkReturn(mkBool(false))], null),
410
+ mkIf(mkCall('<', [mkName('applicant.income'), mkInt(30000)]), [mkReturn(mkBool(false))], null),
411
+ mkIf(mkCall('<', [mkName('applicant.age'), mkInt(18)]), [mkReturn(mkBool(false))], null),
412
+ mkReturn(mkBool(true)),
413
+ ]),
414
+ ]);
415
+ const badApplicant = {
416
+ applicant: { creditScore: 400, income: 50000, age: 30 },
417
+ };
418
+ const result = evaluate(mod, 'checkEligibility', badApplicant);
419
+ assert.ok(result.success);
420
+ assert.equal(result.value, false);
421
+ });
422
+ });
423
+ describe('端到端：Pricing + Construct 场景', () => {
424
+ // 模拟：
425
+ // Rule calculateQuote given vehicle, produce Quote:
426
+ // If vehicle.year < 2015
427
+ // Return Quote with premium = vehicle.value * 5 / 100, deductible = 1000.
428
+ // Return Quote with premium = vehicle.value * 3 / 100, deductible = 500.
429
+ it('旧车辆返回高保费', () => {
430
+ const mod = mkModule([
431
+ mkFunc('calculateQuote', [mkParam('vehicle')], [
432
+ mkIf(mkCall('<', [mkName('vehicle.year'), mkInt(2015)]), [
433
+ mkReturn(mkConstruct('Quote', [
434
+ { name: 'premium', expr: mkCall('/', [
435
+ mkCall('*', [mkName('vehicle.value'), mkInt(5)]),
436
+ mkInt(100),
437
+ ]) },
438
+ { name: 'deductible', expr: mkInt(1000) },
439
+ ])),
440
+ ], null),
441
+ mkReturn(mkConstruct('Quote', [
442
+ { name: 'premium', expr: mkCall('/', [
443
+ mkCall('*', [mkName('vehicle.value'), mkInt(3)]),
444
+ mkInt(100),
445
+ ]) },
446
+ { name: 'deductible', expr: mkInt(500) },
447
+ ])),
448
+ ]),
449
+ ]);
450
+ const result = evaluate(mod, 'calculateQuote', {
451
+ vehicle: { make: 'Toyota', year: 2010, value: 20000 },
452
+ });
453
+ assert.ok(result.success);
454
+ const quote = result.value;
455
+ assert.equal(quote.premium, 1000);
456
+ assert.equal(quote.deductible, 1000);
457
+ });
458
+ it('新车辆返回低保费', () => {
459
+ const mod = mkModule([
460
+ mkFunc('calculateQuote', [mkParam('vehicle')], [
461
+ mkIf(mkCall('<', [mkName('vehicle.year'), mkInt(2015)]), [
462
+ mkReturn(mkConstruct('Quote', [
463
+ { name: 'premium', expr: mkCall('/', [
464
+ mkCall('*', [mkName('vehicle.value'), mkInt(5)]),
465
+ mkInt(100),
466
+ ]) },
467
+ { name: 'deductible', expr: mkInt(1000) },
468
+ ])),
469
+ ], null),
470
+ mkReturn(mkConstruct('Quote', [
471
+ { name: 'premium', expr: mkCall('/', [
472
+ mkCall('*', [mkName('vehicle.value'), mkInt(3)]),
473
+ mkInt(100),
474
+ ]) },
475
+ { name: 'deductible', expr: mkInt(500) },
476
+ ])),
477
+ ]),
478
+ ]);
479
+ const result = evaluate(mod, 'calculateQuote', {
480
+ vehicle: { make: 'Tesla', year: 2023, value: 40000 },
481
+ });
482
+ assert.ok(result.success);
483
+ const quote = result.value;
484
+ assert.equal(quote.premium, 1200);
485
+ assert.equal(quote.deductible, 500);
486
+ });
487
+ });
488
+ describe('Ok/Err/Some/None 包装', () => {
489
+ it('Ok 包装', () => {
490
+ const mod = mkModule([
491
+ mkFunc('f', [], [mkReturn({ kind: 'Ok', expr: mkInt(42) })]),
492
+ ]);
493
+ const result = evaluate(mod, 'f', {});
494
+ assert.ok(result.success);
495
+ assert.deepEqual(result.value, { __type: 'Ok', value: 42 });
496
+ });
497
+ it('None 返回 null', () => {
498
+ const mod = mkModule([
499
+ mkFunc('f', [], [mkReturn({ kind: 'None' })]),
500
+ ]);
501
+ const result = evaluate(mod, 'f', {});
502
+ assert.ok(result.success);
503
+ assert.equal(result.value, null);
504
+ });
505
+ });
506
+ });
507
+ //# sourceMappingURL=interpreter.test.js.map