@aster-cloud/aster-lang-ts 1.2.2 → 1.2.4

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 (96) hide show
  1. package/CHANGELOG.md +93 -0
  2. package/dist/src/config/semantic.d.ts +8 -0
  3. package/dist/src/config/semantic.d.ts.map +1 -1
  4. package/dist/src/config/semantic.js +13 -0
  5. package/dist/src/config/semantic.js.map +1 -1
  6. package/dist/src/core/interpreter.d.ts.map +1 -1
  7. package/dist/src/core/interpreter.js +84 -16
  8. package/dist/src/core/interpreter.js.map +1 -1
  9. package/dist/src/core/resolve-typed-references.d.ts.map +1 -1
  10. package/dist/src/core/resolve-typed-references.js +18 -1
  11. package/dist/src/core/resolve-typed-references.js.map +1 -1
  12. package/dist/src/frontend/resolution-choice.d.ts +2 -0
  13. package/dist/src/frontend/resolution-choice.d.ts.map +1 -1
  14. package/dist/src/frontend/resolution-choice.js +33 -2
  15. package/dist/src/frontend/resolution-choice.js.map +1 -1
  16. package/dist/src/frontend/resolve-declarations.js +2 -2
  17. package/dist/src/frontend/resolve-declarations.js.map +1 -1
  18. package/dist/src/lsp/completion.d.ts +7 -2
  19. package/dist/src/lsp/completion.d.ts.map +1 -1
  20. package/dist/src/lsp/completion.js +11 -4
  21. package/dist/src/lsp/completion.js.map +1 -1
  22. package/dist/src/lsp/member-completion.d.ts +38 -3
  23. package/dist/src/lsp/member-completion.d.ts.map +1 -1
  24. package/dist/src/lsp/member-completion.js +124 -24
  25. package/dist/src/lsp/member-completion.js.map +1 -1
  26. package/dist/src/lsp/server.js +4 -1
  27. package/dist/src/lsp/server.js.map +1 -1
  28. package/dist/src/typecheck/browser.d.ts.map +1 -1
  29. package/dist/src/typecheck/browser.js +3 -3
  30. package/dist/src/typecheck/browser.js.map +1 -1
  31. package/dist/src/typecheck/context.d.ts +1 -1
  32. package/dist/src/typecheck/context.d.ts.map +1 -1
  33. package/dist/src/typecheck/context.js +35 -5
  34. package/dist/src/typecheck/context.js.map +1 -1
  35. package/dist/src/typecheck/expression.d.ts.map +1 -1
  36. package/dist/src/typecheck/expression.js +78 -19
  37. package/dist/src/typecheck/expression.js.map +1 -1
  38. package/dist/src/typecheck/module.d.ts.map +1 -1
  39. package/dist/src/typecheck/module.js +3 -3
  40. package/dist/src/typecheck/module.js.map +1 -1
  41. package/dist/src/typecheck/pattern.js +2 -2
  42. package/dist/src/typecheck/pattern.js.map +1 -1
  43. package/dist/src/typecheck/pure.d.ts +15 -0
  44. package/dist/src/typecheck/pure.d.ts.map +1 -1
  45. package/dist/src/typecheck/pure.js +83 -0
  46. package/dist/src/typecheck/pure.js.map +1 -1
  47. package/dist/src/typecheck/statement.d.ts.map +1 -1
  48. package/dist/src/typecheck/statement.js +4 -2
  49. package/dist/src/typecheck/statement.js.map +1 -1
  50. package/dist/src/typecheck/symbol_table.d.ts +10 -1
  51. package/dist/src/typecheck/symbol_table.d.ts.map +1 -1
  52. package/dist/src/typecheck/symbol_table.js +15 -0
  53. package/dist/src/typecheck/symbol_table.js.map +1 -1
  54. package/dist/src/typecheck/utils.d.ts +1 -1
  55. package/dist/src/typecheck/utils.d.ts.map +1 -1
  56. package/dist/src/typecheck/utils.js +1 -1
  57. package/dist/src/typecheck/utils.js.map +1 -1
  58. package/dist/test/integration/lsp/lsp-member-completion.test.js +43 -4
  59. package/dist/test/integration/lsp/lsp-member-completion.test.js.map +1 -1
  60. package/dist/test/integration/lsp/package-exports.test.d.ts +2 -0
  61. package/dist/test/integration/lsp/package-exports.test.d.ts.map +1 -0
  62. package/dist/test/integration/lsp/package-exports.test.js +30 -0
  63. package/dist/test/integration/lsp/package-exports.test.js.map +1 -0
  64. package/dist/test/unit/canonicalizer/possessive-anchor.test.js +25 -28
  65. package/dist/test/unit/canonicalizer/possessive-anchor.test.js.map +1 -1
  66. package/dist/test/unit/core/caseless-pattern-name.test.d.ts +2 -0
  67. package/dist/test/unit/core/caseless-pattern-name.test.d.ts.map +1 -0
  68. package/dist/test/unit/core/caseless-pattern-name.test.js +114 -0
  69. package/dist/test/unit/core/caseless-pattern-name.test.js.map +1 -0
  70. package/dist/test/unit/formatter-corpus-roundtrip.test.js +44 -3
  71. package/dist/test/unit/formatter-corpus-roundtrip.test.js.map +1 -1
  72. package/dist/test/unit/frontend/resolution-choice.test.d.ts +2 -0
  73. package/dist/test/unit/frontend/resolution-choice.test.d.ts.map +1 -0
  74. package/dist/test/unit/frontend/resolution-choice.test.js +90 -0
  75. package/dist/test/unit/frontend/resolution-choice.test.js.map +1 -0
  76. package/dist/test/unit/interpreter/scope-writeback.test.d.ts +2 -0
  77. package/dist/test/unit/interpreter/scope-writeback.test.d.ts.map +1 -0
  78. package/dist/test/unit/interpreter/scope-writeback.test.js +154 -0
  79. package/dist/test/unit/interpreter/scope-writeback.test.js.map +1 -0
  80. package/dist/test/unit/lsp/member-completion.test.d.ts +2 -0
  81. package/dist/test/unit/lsp/member-completion.test.d.ts.map +1 -0
  82. package/dist/test/unit/lsp/member-completion.test.js +203 -0
  83. package/dist/test/unit/lsp/member-completion.test.js.map +1 -0
  84. package/dist/test/unit/rule-call-checks.test.d.ts +2 -0
  85. package/dist/test/unit/rule-call-checks.test.d.ts.map +1 -0
  86. package/dist/test/unit/rule-call-checks.test.js +269 -0
  87. package/dist/test/unit/rule-call-checks.test.js.map +1 -0
  88. package/dist/test/unit/rule-function-values.test.d.ts +2 -0
  89. package/dist/test/unit/rule-function-values.test.d.ts.map +1 -0
  90. package/dist/test/unit/rule-function-values.test.js +89 -0
  91. package/dist/test/unit/rule-function-values.test.js.map +1 -0
  92. package/dist/test/unit/typecheck/assign-mutability.test.d.ts +2 -0
  93. package/dist/test/unit/typecheck/assign-mutability.test.d.ts.map +1 -0
  94. package/dist/test/unit/typecheck/assign-mutability.test.js +144 -0
  95. package/dist/test/unit/typecheck/assign-mutability.test.js.map +1 -0
  96. package/package.json +5 -1
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@aster-cloud/aster-lang-ts",
3
- "version": "1.2.2",
3
+ "version": "1.2.4",
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",
@@ -78,6 +78,10 @@
78
78
  "types": "./dist/src/lsp/diagnostics.d.ts",
79
79
  "import": "./dist/src/lsp/diagnostics.js"
80
80
  },
81
+ "./lsp/completion": {
82
+ "types": "./dist/src/lsp/completion.d.ts",
83
+ "import": "./dist/src/lsp/completion.js"
84
+ },
81
85
  "./browser": {
82
86
  "types": "./dist/src/browser.d.ts",
83
87
  "import": "./dist/src/browser.js"