@aster-cloud/aster-lang-ts 1.0.14 → 1.0.18

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 (118) hide show
  1. package/dist/scripts/generate_error_code_docs.js +19 -9
  2. package/dist/scripts/generate_error_code_docs.js.map +1 -1
  3. package/dist/scripts/generate_error_codes.js +84 -5
  4. package/dist/scripts/generate_error_codes.js.map +1 -1
  5. package/dist/scripts/verify-lexicon-sync.js +51 -0
  6. package/dist/scripts/verify-lexicon-sync.js.map +1 -1
  7. package/dist/src/cli/commands/search.js +17 -1
  8. package/dist/src/cli/commands/search.js.map +1 -1
  9. package/dist/src/config/effect_config.d.ts.map +1 -1
  10. package/dist/src/config/effect_config.js +6 -4
  11. package/dist/src/config/effect_config.js.map +1 -1
  12. package/dist/src/config/lexicons/diagnostic-messages.d.ts +2 -0
  13. package/dist/src/config/lexicons/diagnostic-messages.d.ts.map +1 -1
  14. package/dist/src/config/lexicons/diagnostic-messages.js +9 -3
  15. package/dist/src/config/lexicons/diagnostic-messages.js.map +1 -1
  16. package/dist/src/config/lexicons/type-inference-rules.d.ts.map +1 -1
  17. package/dist/src/config/lexicons/type-inference-rules.js +8 -1
  18. package/dist/src/config/lexicons/type-inference-rules.js.map +1 -1
  19. package/dist/src/config/semantic.d.ts +13 -0
  20. package/dist/src/config/semantic.d.ts.map +1 -1
  21. package/dist/src/config/semantic.js +22 -0
  22. package/dist/src/config/semantic.js.map +1 -1
  23. package/dist/src/config/token-kind.js +1 -1
  24. package/dist/src/config/token-kind.js.map +1 -1
  25. package/dist/src/core/interpreter.js +17 -0
  26. package/dist/src/core/interpreter.js.map +1 -1
  27. package/dist/src/diagnostics/diagnostics.d.ts +6 -0
  28. package/dist/src/diagnostics/diagnostics.d.ts.map +1 -1
  29. package/dist/src/diagnostics/diagnostics.js +20 -0
  30. package/dist/src/diagnostics/diagnostics.js.map +1 -1
  31. package/dist/src/diagnostics/error_codes.d.ts +4 -2
  32. package/dist/src/diagnostics/error_codes.d.ts.map +1 -1
  33. package/dist/src/diagnostics/error_codes.js +8 -4
  34. package/dist/src/diagnostics/error_codes.js.map +1 -1
  35. package/dist/src/effects/effect_inference.d.ts.map +1 -1
  36. package/dist/src/effects/effect_inference.js +62 -4
  37. package/dist/src/effects/effect_inference.js.map +1 -1
  38. package/dist/src/frontend/canonicalizer.d.ts.map +1 -1
  39. package/dist/src/frontend/canonicalizer.js +95 -51
  40. package/dist/src/frontend/canonicalizer.js.map +1 -1
  41. package/dist/src/frontend/lexer.d.ts.map +1 -1
  42. package/dist/src/frontend/lexer.js +41 -5
  43. package/dist/src/frontend/lexer.js.map +1 -1
  44. package/dist/src/manifest.d.ts +4 -1
  45. package/dist/src/manifest.d.ts.map +1 -1
  46. package/dist/src/manifest.js.map +1 -1
  47. package/dist/src/package/manifest-parser.d.ts.map +1 -1
  48. package/dist/src/package/manifest-parser.js +3 -2
  49. package/dist/src/package/manifest-parser.js.map +1 -1
  50. package/dist/src/package/package-installer.d.ts.map +1 -1
  51. package/dist/src/package/package-installer.js +24 -1
  52. package/dist/src/package/package-installer.js.map +1 -1
  53. package/dist/src/parser/type-inference.d.ts.map +1 -1
  54. package/dist/src/parser/type-inference.js +15 -3
  55. package/dist/src/parser/type-inference.js.map +1 -1
  56. package/dist/src/stability/stability_gate.d.ts +68 -0
  57. package/dist/src/stability/stability_gate.d.ts.map +1 -0
  58. package/dist/src/stability/stability_gate.js +242 -0
  59. package/dist/src/stability/stability_gate.js.map +1 -0
  60. package/dist/src/typecheck/context.d.ts +19 -0
  61. package/dist/src/typecheck/context.d.ts.map +1 -1
  62. package/dist/src/typecheck/context.js +1 -1
  63. package/dist/src/typecheck/context.js.map +1 -1
  64. package/dist/src/typecheck/effects.d.ts.map +1 -1
  65. package/dist/src/typecheck/effects.js +13 -15
  66. package/dist/src/typecheck/effects.js.map +1 -1
  67. package/dist/src/typecheck/module.d.ts.map +1 -1
  68. package/dist/src/typecheck/module.js +6 -1
  69. package/dist/src/typecheck/module.js.map +1 -1
  70. package/dist/src/typecheck/pure.d.ts.map +1 -1
  71. package/dist/src/typecheck/pure.js +11 -7
  72. package/dist/src/typecheck/pure.js.map +1 -1
  73. package/dist/src/typecheck/workflow.js +4 -4
  74. package/dist/src/typecheck/workflow.js.map +1 -1
  75. package/dist/test/cli/commands/search.test.js +33 -0
  76. package/dist/test/cli/commands/search.test.js.map +1 -1
  77. package/dist/test/unit/browser/typecheck-browser-unsupported.test.js +19 -44
  78. package/dist/test/unit/browser/typecheck-browser-unsupported.test.js.map +1 -1
  79. package/dist/test/unit/canonicalizer/cjk-punctuation.test.js +25 -0
  80. package/dist/test/unit/canonicalizer/cjk-punctuation.test.js.map +1 -1
  81. package/dist/test/unit/config/capability-parity.test.d.ts +19 -0
  82. package/dist/test/unit/config/capability-parity.test.d.ts.map +1 -0
  83. package/dist/test/unit/config/capability-parity.test.js +117 -0
  84. package/dist/test/unit/config/capability-parity.test.js.map +1 -0
  85. package/dist/test/unit/config/config-service.test.js +7 -3
  86. package/dist/test/unit/config/config-service.test.js.map +1 -1
  87. package/dist/test/unit/diagnostics/error-codes-parity.test.d.ts +15 -0
  88. package/dist/test/unit/diagnostics/error-codes-parity.test.d.ts.map +1 -0
  89. package/dist/test/unit/diagnostics/error-codes-parity.test.js +149 -0
  90. package/dist/test/unit/diagnostics/error-codes-parity.test.js.map +1 -0
  91. package/dist/test/unit/effect/effect-inference.test.js +43 -0
  92. package/dist/test/unit/effect/effect-inference.test.js.map +1 -1
  93. package/dist/test/unit/interpreter/interpreter.test.js +30 -0
  94. package/dist/test/unit/interpreter/interpreter.test.js.map +1 -1
  95. package/dist/test/unit/lexer/lexer.test.js +30 -0
  96. package/dist/test/unit/lexer/lexer.test.js.map +1 -1
  97. package/dist/test/unit/manifest-parser.test.js +4 -2
  98. package/dist/test/unit/manifest-parser.test.js.map +1 -1
  99. package/dist/test/unit/parser/entry-annotations.test.js +2 -2
  100. package/dist/test/unit/parser/entry-annotations.test.js.map +1 -1
  101. package/dist/test/unit/parser/type-inference.test.js +61 -0
  102. package/dist/test/unit/parser/type-inference.test.js.map +1 -1
  103. package/dist/test/unit/stability/stability-gate.parity.test.d.ts +2 -0
  104. package/dist/test/unit/stability/stability-gate.parity.test.d.ts.map +1 -0
  105. package/dist/test/unit/stability/stability-gate.parity.test.js +34 -0
  106. package/dist/test/unit/stability/stability-gate.parity.test.js.map +1 -0
  107. package/dist/test/unit/stability/stability-gate.test.d.ts +2 -0
  108. package/dist/test/unit/stability/stability-gate.test.d.ts.map +1 -0
  109. package/dist/test/unit/stability/stability-gate.test.js +210 -0
  110. package/dist/test/unit/stability/stability-gate.test.js.map +1 -0
  111. package/dist/test/unit/typecheck/effect-prefix-injection.test.d.ts +2 -0
  112. package/dist/test/unit/typecheck/effect-prefix-injection.test.d.ts.map +1 -0
  113. package/dist/test/unit/typecheck/effect-prefix-injection.test.js +71 -0
  114. package/dist/test/unit/typecheck/effect-prefix-injection.test.js.map +1 -0
  115. package/dist/test/unit/typecheck/effects-and-capabilities.test.js +21 -0
  116. package/dist/test/unit/typecheck/effects-and-capabilities.test.js.map +1 -1
  117. package/dist/test/unit/typecheck/regression-fixes.test.js +2 -2
  118. package/package.json +1 -1
package/dist/test/unit/typecheck/effects-and-capabilities.test.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"effects-and-capabilities.test.js","sourceRoot":"","sources":["../../../../test/unit/typecheck/effects-and-capabilities.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,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,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAK7F;;GAEG;AACH,SAAS,YAAY,CAAC,MAAc;IAClC,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC;IAC9B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAC9B,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED;;GAEG;AACH,SAAS,KAAK,CAAC,KAAqC;IAClD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;IACvB,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;;;CAOpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,0CAA6B,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;IACjG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;;;CAOpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,0CAA6B,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC;IACnG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;CAKpC,CAAC,CAAC;QACC,sDAAsD;QACtD,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kDAAqC,CAAC,EAClE,IAAI,EACJ,mBAAmB,CACpB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;CAKpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,+CAAkC,CAAC,EAC/D,IAAI,EACJ,sBAAsB,CACvB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC;QACzD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG;YACb,QAAQ,EAAE;gBACR,EAAE,EAAE;oBACF,IAAI,EAAE,CAAC,OAAO,CAAC;oBACf,GAAG,EAAE,EAAE;oBACP,KAAK,EAAE,EAAE;oBACT,OAAO,EAAE,EAAE;oBACX,IAAI,EAAE,EAAE;iBACT;gBACD,GAAG,EAAE,CAAC,UAAU,CAAC;gBACjB,EAAE,EAAE,EAAE;aACP;SACF,CAAC;QACF,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;QAE1D,MAAM,YAAY,GAAG;;;;;CAKxB,CAAC;QAEE,IAAI,CAAC;YACH,MAAM,MAAM,GAAG;gCACW,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,oCAAoC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;uBACtF,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,4BAA4B,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;yBACnE,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,oBAAoB,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;+BACvD,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,2BAA2B,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;mCAChE,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,uBAAuB,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;;iBAElF,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC;;;;;;;uBAOtB,4CAA+B;;;;;;CAMrD,CAAC;YACI,YAAY,CACV,OAAO,CAAC,QAAQ,EAChB,CAAC,qBAAqB,EAAE,QAAQ,EAAE,MAAM,CAAC,EACzC;gBACE,GAAG,EAAE;oBACH,GAAG,OAAO,CAAC,GAAG;oBACd,mBAAmB,EAAE,UAAU;iBAChC;aACF,CACF,CAAC;QACJ,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;CAKpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,2CAA8B,CAAC,EAC3D,IAAI,EACJ,cAAc,CACf,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;CAKpC,CAAC,CAAC;QACC,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,+CAAkC,CAAC,CAAC;QACpF,MAAM,CAAC,EAAE,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG;;;;;CAKlB,CAAC;QACE,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,GAAG,CAAC;QAC9B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAC9B,MAAM,QAAQ,GAAuB;YACnC,KAAK,EAAE;gBACL,IAAI,EAAE,CAAC,yCAAyC,CAAC;aAClD;SACF,CAAC;QACF,MAAM,WAAW,GAAG,+BAA+B,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACpE,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kDAAqC,CAAC,EAClE,IAAI,EACJ,YAAY,CACb,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,MAAM,GAAG;;;;;CAKlB,CAAC;QACE,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,GAAG,CAAC;QAC9B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAC9B,MAAM,YAAY,GAAE,CAAC,qCAAqC,CAAC,CAAC;QAC5D,MAAM,QAAQ,GAAuB;YACnC,KAAK,EAAE;gBACL,IAAI,EAAE,YAAY;gBAClB,GAAG,EAAE,YAAY;gBACjB,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE,YAAY;gBACnB,OAAO,EAAE,YAAY;gBACrB,OAAO,EAAE,YAAY;aACtB;SACF,CAAC;QACF,MAAM,WAAW,GAAG,+BAA+B,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACpE,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kDAAqC,CAAC,EAClE,KAAK,EACL,WAAW,CACZ,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
1
+ {"version":3,"file":"effects-and-capabilities.test.js","sourceRoot":"","sources":["../../../../test/unit/typecheck/effects-and-capabilities.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,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,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAK7F;;GAEG;AACH,SAAS,YAAY,CAAC,MAAc;IAClC,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC;IAC9B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAC9B,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED;;GAEG;AACH,SAAS,KAAK,CAAC,KAAqC;IAClD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;IACvB,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;;;CAOpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,0CAA6B,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;IACjG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;;;CAOpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,0CAA6B,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC;IACnG,CAAC,CAAC,CAAC;IAEH,iFAAiF;IACjF,iDAAiD;IACjD,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;CAKpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,wDAA2C,CAAC,EAAE,IAAI,EAC9E,0BAA0B,CAC3B,CAAC;QACF,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,uDAA0C,CAAC,EAAE,KAAK,EAC9E,kCAAkC,CACnC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;CAKpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,wDAA2C,CAAC,EAAE,KAAK,EAC/E,6CAA6C,CAC9C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;CAKpC,CAAC,CAAC;QACC,sDAAsD;QACtD,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kDAAqC,CAAC,EAClE,IAAI,EACJ,mBAAmB,CACpB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;CAKpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,+CAAkC,CAAC,EAC/D,IAAI,EACJ,sBAAsB,CACvB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC;QACzD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG;YACb,QAAQ,EAAE;gBACR,EAAE,EAAE;oBACF,IAAI,EAAE,CAAC,OAAO,CAAC;oBACf,GAAG,EAAE,EAAE;oBACP,KAAK,EAAE,EAAE;oBACT,OAAO,EAAE,EAAE;oBACX,IAAI,EAAE,EAAE;iBACT;gBACD,GAAG,EAAE,CAAC,UAAU,CAAC;gBACjB,EAAE,EAAE,EAAE;aACP;SACF,CAAC;QACF,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;QAE1D,MAAM,YAAY,GAAG;;;;;CAKxB,CAAC;QAEE,IAAI,CAAC;YACH,MAAM,MAAM,GAAG;gCACW,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,oCAAoC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;uBACtF,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,4BAA4B,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;yBACnE,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,oBAAoB,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;+BACvD,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,2BAA2B,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;mCAChE,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,uBAAuB,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;;iBAElF,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC;;;;;;;uBAOtB,4CAA+B;;;;;;CAMrD,CAAC;YACI,YAAY,CACV,OAAO,CAAC,QAAQ,EAChB,CAAC,qBAAqB,EAAE,QAAQ,EAAE,MAAM,CAAC,EACzC;gBACE,GAAG,EAAE;oBACH,GAAG,OAAO,CAAC,GAAG;oBACd,mBAAmB,EAAE,UAAU;iBAChC;aACF,CACF,CAAC;QACJ,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;CAKpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,2CAA8B,CAAC,EAC3D,IAAI,EACJ,cAAc,CACf,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;CAKpC,CAAC,CAAC;QACC,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,+CAAkC,CAAC,CAAC;QACpF,MAAM,CAAC,EAAE,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG;;;;;CAKlB,CAAC;QACE,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,GAAG,CAAC;QAC9B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAC9B,MAAM,QAAQ,GAAuB;YACnC,KAAK,EAAE;gBACL,IAAI,EAAE,CAAC,yCAAyC,CAAC;aAClD;SACF,CAAC;QACF,MAAM,WAAW,GAAG,+BAA+B,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACpE,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kDAAqC,CAAC,EAClE,IAAI,EACJ,YAAY,CACb,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,MAAM,GAAG;;;;;CAKlB,CAAC;QACE,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,GAAG,CAAC;QAC9B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAC9B,MAAM,YAAY,GAAE,CAAC,qCAAqC,CAAC,CAAC;QAC5D,MAAM,QAAQ,GAAuB;YACnC,KAAK,EAAE;gBACL,IAAI,EAAE,YAAY;gBAClB,GAAG,EAAE,YAAY;gBACjB,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE,YAAY;gBACnB,OAAO,EAAE,YAAY;gBACrB,OAAO,EAAE,YAAY;aACtB;SACF,CAAC;QACF,MAAM,WAAW,GAAG,+BAA+B,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACpE,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kDAAqC,CAAC,EAClE,KAAK,EACL,WAAW,CACZ,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
package/dist/test/unit/typecheck/regression-fixes.test.js CHANGED
@@ -53,7 +53,7 @@ describe('回归测试：重复符号检测', () => {
53
53
  defineSymbol(context, 'myVar', typeName('Text'), 'var', span);
54
54
  const diagnostics = context.diagnostics.getDiagnostics();
55
55
  assert.strictEqual(diagnostics.length, 1, '应产生一个诊断');
56
- assert.strictEqual(diagnostics[0]?.code, "E102" /* ErrorCode.DUPLICATE_SYMBOL */, '应为 DUPLICATE_SYMBOL 错误');
56
+ assert.strictEqual(diagnostics[0]?.code, "E104" /* ErrorCode.DUPLICATE_SYMBOL */, '应为 DUPLICATE_SYMBOL 错误');
57
57
  assert.strictEqual(diagnostics[0]?.severity, 'error');
58
58
  });
59
59
  it('不同作用域定义同名符号不应报错（遮蔽场景）', () => {
@@ -99,7 +99,7 @@ describe('回归测试：重复符号检测', () => {
99
99
  decls: [func],
100
100
  };
101
101
  const diagnostics = typecheckModule(mod);
102
- assert.ok(diagnostics.some(d => d.code === "E102" /* ErrorCode.DUPLICATE_SYMBOL */), '重复参数名应触发 DUPLICATE_SYMBOL 错误');
102
+ assert.ok(diagnostics.some(d => d.code === "E104" /* ErrorCode.DUPLICATE_SYMBOL */), '重复参数名应触发 DUPLICATE_SYMBOL 错误');
103
103
  });
104
104
  });
105
105
  describe('回归测试：补偿效应推断', () => {
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@aster-cloud/aster-lang-ts",
3
- "version": "1.0.14",
3
+ "version": "1.0.18",
4
4
  "description": "Aster CNL (Controlled Natural Language) TypeScript Compiler - Lexer, Parser, AST, Core IR, Type Checker",
5
5
  "type": "module",
6
6
  "main": "./dist/src/index.js",