agentic-lang 0.2.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 (146) hide show
  1. package/COMMUNITY.md +220 -0
  2. package/CONTRIBUTING.md +194 -0
  3. package/FINAL_REPORT.md +398 -0
  4. package/FOR_OTHER_LLMS.md +286 -0
  5. package/IMPROVEMENTS.md +319 -0
  6. package/LAUNCH_GUIDE.md +388 -0
  7. package/LICENSE +21 -0
  8. package/NPM_PUBLISH.md +257 -0
  9. package/PROJECT_COMPLETE.md +414 -0
  10. package/PROJECT_OVERVIEW.md +265 -0
  11. package/PROJECT_TREE.txt +228 -0
  12. package/PUBLISHING_GUIDE.md +426 -0
  13. package/PUBLISH_NOW.md +337 -0
  14. package/QUICKSTART.md +207 -0
  15. package/README.md +195 -0
  16. package/README_ENHANCED.md +329 -0
  17. package/READY_TO_LAUNCH.txt +56 -0
  18. package/REFACTOR_PLAN.md +179 -0
  19. package/ROADMAP.md +201 -0
  20. package/SUMMARY.md +315 -0
  21. package/bin/agentic.js +3 -0
  22. package/blog/001-introducing-agentic.md +382 -0
  23. package/blog/002-confidence-driven-development.md +490 -0
  24. package/blog/003-formal-verification.md +427 -0
  25. package/blog/004-multi-agent-production.md +436 -0
  26. package/dist/cli.d.ts +7 -0
  27. package/dist/cli.d.ts.map +1 -0
  28. package/dist/cli.js +151 -0
  29. package/dist/cli.js.map +1 -0
  30. package/dist/diagnostics/diagnostic.d.ts +115 -0
  31. package/dist/diagnostics/diagnostic.d.ts.map +1 -0
  32. package/dist/diagnostics/diagnostic.js +101 -0
  33. package/dist/diagnostics/diagnostic.js.map +1 -0
  34. package/dist/diagnostics/formatter.d.ts +36 -0
  35. package/dist/diagnostics/formatter.d.ts.map +1 -0
  36. package/dist/diagnostics/formatter.js +263 -0
  37. package/dist/diagnostics/formatter.js.map +1 -0
  38. package/dist/effects/effect-system.d.ts +64 -0
  39. package/dist/effects/effect-system.d.ts.map +1 -0
  40. package/dist/effects/effect-system.js +197 -0
  41. package/dist/effects/effect-system.js.map +1 -0
  42. package/dist/generator/typescript-generator.d.ts +31 -0
  43. package/dist/generator/typescript-generator.d.ts.map +1 -0
  44. package/dist/generator/typescript-generator.js +308 -0
  45. package/dist/generator/typescript-generator.js.map +1 -0
  46. package/dist/index.d.ts +19 -0
  47. package/dist/index.d.ts.map +1 -0
  48. package/dist/index.js +60 -0
  49. package/dist/index.js.map +1 -0
  50. package/dist/lean4/exporter.d.ts +24 -0
  51. package/dist/lean4/exporter.d.ts.map +1 -0
  52. package/dist/lean4/exporter.js +142 -0
  53. package/dist/lean4/exporter.js.map +1 -0
  54. package/dist/lsp/server.d.ts +6 -0
  55. package/dist/lsp/server.d.ts.map +1 -0
  56. package/dist/lsp/server.js +131 -0
  57. package/dist/lsp/server.js.map +1 -0
  58. package/dist/parser/lexer.d.ts +79 -0
  59. package/dist/parser/lexer.d.ts.map +1 -0
  60. package/dist/parser/lexer.js +296 -0
  61. package/dist/parser/lexer.js.map +1 -0
  62. package/dist/parser/parser-enhanced.d.ts +12 -0
  63. package/dist/parser/parser-enhanced.d.ts.map +1 -0
  64. package/dist/parser/parser-enhanced.js +206 -0
  65. package/dist/parser/parser-enhanced.js.map +1 -0
  66. package/dist/parser/parser.d.ts +34 -0
  67. package/dist/parser/parser.d.ts.map +1 -0
  68. package/dist/parser/parser.js +507 -0
  69. package/dist/parser/parser.js.map +1 -0
  70. package/dist/property-tests/generator-enhanced.d.ts +27 -0
  71. package/dist/property-tests/generator-enhanced.d.ts.map +1 -0
  72. package/dist/property-tests/generator-enhanced.js +209 -0
  73. package/dist/property-tests/generator-enhanced.js.map +1 -0
  74. package/dist/property-tests/generator-fixed.d.ts +2 -0
  75. package/dist/property-tests/generator-fixed.d.ts.map +1 -0
  76. package/dist/property-tests/generator-fixed.js +7 -0
  77. package/dist/property-tests/generator-fixed.js.map +1 -0
  78. package/dist/property-tests/generator.d.ts +28 -0
  79. package/dist/property-tests/generator.d.ts.map +1 -0
  80. package/dist/property-tests/generator.js +284 -0
  81. package/dist/property-tests/generator.js.map +1 -0
  82. package/dist/refinements/refinement-types.d.ts +96 -0
  83. package/dist/refinements/refinement-types.d.ts.map +1 -0
  84. package/dist/refinements/refinement-types.js +234 -0
  85. package/dist/refinements/refinement-types.js.map +1 -0
  86. package/dist/repl.d.ts +21 -0
  87. package/dist/repl.d.ts.map +1 -0
  88. package/dist/repl.js +317 -0
  89. package/dist/repl.js.map +1 -0
  90. package/dist/runtime/agents.d.ts +97 -0
  91. package/dist/runtime/agents.d.ts.map +1 -0
  92. package/dist/runtime/agents.js +258 -0
  93. package/dist/runtime/agents.js.map +1 -0
  94. package/dist/runtime/index.d.ts +98 -0
  95. package/dist/runtime/index.d.ts.map +1 -0
  96. package/dist/runtime/index.js +253 -0
  97. package/dist/runtime/index.js.map +1 -0
  98. package/dist/types-extended.d.ts +197 -0
  99. package/dist/types-extended.d.ts.map +1 -0
  100. package/dist/types-extended.js +7 -0
  101. package/dist/types-extended.js.map +1 -0
  102. package/dist/types.d.ts +129 -0
  103. package/dist/types.d.ts.map +1 -0
  104. package/dist/types.js +6 -0
  105. package/dist/types.js.map +1 -0
  106. package/dist/verification/z3-engine.d.ts +75 -0
  107. package/dist/verification/z3-engine.d.ts.map +1 -0
  108. package/dist/verification/z3-engine.js +234 -0
  109. package/dist/verification/z3-engine.js.map +1 -0
  110. package/examples/advanced-features.agentic +98 -0
  111. package/examples/annotations.agentic +37 -0
  112. package/examples/auth.agentic +53 -0
  113. package/examples/enterprise-example.agentic +360 -0
  114. package/examples/minimal.agentic +3 -0
  115. package/examples/minimal.ts +7 -0
  116. package/examples/ml-pipeline.agentic +350 -0
  117. package/examples/multi-agent-example.agentic +212 -0
  118. package/examples/onboarding-tutorial.agentic +263 -0
  119. package/examples/production-api.agentic +304 -0
  120. package/examples/real-world-chatbot.agentic +351 -0
  121. package/examples/result-handling.agentic +34 -0
  122. package/examples/runtime.ts +24 -0
  123. package/examples/showcase.agentic +22 -0
  124. package/examples/showcase.ts +28 -0
  125. package/examples/simple-test.agentic +4 -0
  126. package/examples/simple-test.ts +7 -0
  127. package/examples/simple.agentic +20 -0
  128. package/examples/test2.agentic +4 -0
  129. package/examples/test2.ts +9 -0
  130. package/examples/test3.agentic +4 -0
  131. package/examples/test3.ts +9 -0
  132. package/package.json +70 -0
  133. package/playground/index.html +221 -0
  134. package/playground/playground.js +291 -0
  135. package/registry/package-registry.ts +319 -0
  136. package/scripts/build.js +50 -0
  137. package/scripts/validate-confidence-mutation.ts +112 -0
  138. package/stdlib/async/promise.agentic +216 -0
  139. package/stdlib/database/pool.agentic +235 -0
  140. package/stdlib/file/io.agentic +194 -0
  141. package/stdlib/http/client.agentic +168 -0
  142. package/video-scripts/001-agentic-in-100-seconds.md +175 -0
  143. package/vscode-extension/README.md +67 -0
  144. package/vscode-extension/language-configuration.json +31 -0
  145. package/vscode-extension/package.json +46 -0
  146. package/vscode-extension/syntaxes/agentic.tmLanguage.json +134 -0
@@ -0,0 +1,296 @@
1
+ "use strict";
2
+ /**
3
+ * Simple regex-based lexer for Agentic language
4
+ * For MVP - full Tree-sitter parser can be added later
5
+ */
6
+ Object.defineProperty(exports, "__esModule", { value: true });
7
+ exports.Lexer = exports.TokenType = void 0;
8
+ var TokenType;
9
+ (function (TokenType) {
10
+ // Keywords
11
+ TokenType["FUNC"] = "FUNC";
12
+ TokenType["RETURN"] = "RETURN";
13
+ TokenType["IF"] = "IF";
14
+ TokenType["ELSE"] = "ELSE";
15
+ TokenType["MATCH"] = "MATCH";
16
+ TokenType["OR"] = "OR";
17
+ TokenType["ERROR"] = "ERROR";
18
+ // Literals
19
+ TokenType["NUMBER"] = "NUMBER";
20
+ TokenType["STRING"] = "STRING";
21
+ TokenType["BOOLEAN"] = "BOOLEAN";
22
+ TokenType["NULL"] = "NULL";
23
+ // Identifiers
24
+ TokenType["IDENTIFIER"] = "IDENTIFIER";
25
+ // Operators
26
+ TokenType["ARROW"] = "ARROW";
27
+ TokenType["FAT_ARROW"] = "FAT_ARROW";
28
+ TokenType["PIPE"] = "PIPE";
29
+ TokenType["DOT"] = "DOT";
30
+ TokenType["COMMA"] = "COMMA";
31
+ TokenType["COLON"] = "COLON";
32
+ TokenType["SEMICOLON"] = "SEMICOLON";
33
+ TokenType["PLUS"] = "PLUS";
34
+ TokenType["MINUS"] = "MINUS";
35
+ TokenType["STAR"] = "STAR";
36
+ TokenType["SLASH"] = "SLASH";
37
+ TokenType["PERCENT"] = "PERCENT";
38
+ // Comparison
39
+ TokenType["EQ"] = "EQ";
40
+ TokenType["NEQ"] = "NEQ";
41
+ TokenType["LT"] = "LT";
42
+ TokenType["GT"] = "GT";
43
+ TokenType["LTE"] = "LTE";
44
+ TokenType["GTE"] = "GTE";
45
+ // Delimiters
46
+ TokenType["LPAREN"] = "LPAREN";
47
+ TokenType["RPAREN"] = "RPAREN";
48
+ TokenType["LBRACE"] = "LBRACE";
49
+ TokenType["RBRACE"] = "RBRACE";
50
+ TokenType["LBRACKET"] = "LBRACKET";
51
+ TokenType["RBRACKET"] = "RBRACKET";
52
+ // Annotations
53
+ TokenType["AT"] = "AT";
54
+ // Special
55
+ TokenType["NEWLINE"] = "NEWLINE";
56
+ TokenType["EOF"] = "EOF";
57
+ TokenType["UNKNOWN"] = "UNKNOWN";
58
+ })(TokenType || (exports.TokenType = TokenType = {}));
59
+ const KEYWORDS = {
60
+ func: TokenType.FUNC,
61
+ return: TokenType.RETURN,
62
+ if: TokenType.IF,
63
+ else: TokenType.ELSE,
64
+ match: TokenType.MATCH,
65
+ or: TokenType.OR,
66
+ error: TokenType.ERROR,
67
+ true: TokenType.BOOLEAN,
68
+ false: TokenType.BOOLEAN,
69
+ null: TokenType.NULL,
70
+ };
71
+ class Lexer {
72
+ constructor(source) {
73
+ this.pos = 0;
74
+ this.line = 1;
75
+ this.column = 1;
76
+ this.tokens = [];
77
+ this.source = source;
78
+ }
79
+ tokenize() {
80
+ this.tokens = [];
81
+ while (this.pos < this.source.length) {
82
+ this.skipWhitespace();
83
+ if (this.pos >= this.source.length)
84
+ break;
85
+ // Skip comments
86
+ if (this.peek() === '/' && this.peek(1) === '/') {
87
+ this.skipLineComment();
88
+ continue;
89
+ }
90
+ if (this.peek() === '/' && this.peek(1) === '*') {
91
+ this.skipBlockComment();
92
+ continue;
93
+ }
94
+ const token = this.nextToken();
95
+ if (token.type !== TokenType.NEWLINE) {
96
+ this.tokens.push(token);
97
+ }
98
+ }
99
+ this.tokens.push(this.createToken(TokenType.EOF, ''));
100
+ return this.tokens;
101
+ }
102
+ nextToken() {
103
+ const char = this.peek();
104
+ // Annotations
105
+ if (char === '@') {
106
+ return this.scanAnnotation();
107
+ }
108
+ // Strings
109
+ if (char === '"' || char === "'") {
110
+ return this.scanString();
111
+ }
112
+ // Numbers
113
+ if (this.isDigit(char)) {
114
+ return this.scanNumber();
115
+ }
116
+ // Identifiers and keywords
117
+ if (this.isAlpha(char) || char === '_') {
118
+ return this.scanIdentifier();
119
+ }
120
+ // Operators and delimiters
121
+ return this.scanOperator();
122
+ }
123
+ scanAnnotation() {
124
+ const start = this.pos;
125
+ this.advance(); // consume @
126
+ if (this.isAlpha(this.peek())) {
127
+ while (this.isAlphaNumeric(this.peek())) {
128
+ this.advance();
129
+ }
130
+ }
131
+ const value = this.source.substring(start, this.pos);
132
+ return this.createToken(TokenType.AT, value);
133
+ }
134
+ scanString() {
135
+ const quote = this.peek();
136
+ this.advance(); // consume opening quote
137
+ const start = this.pos;
138
+ while (this.peek() !== quote && !this.isAtEnd()) {
139
+ if (this.peek() === '\\') {
140
+ this.advance(); // skip escape
141
+ }
142
+ this.advance();
143
+ }
144
+ const value = this.source.substring(start, this.pos);
145
+ this.advance(); // consume closing quote
146
+ return this.createToken(TokenType.STRING, value);
147
+ }
148
+ scanNumber() {
149
+ const start = this.pos;
150
+ while (this.isDigit(this.peek())) {
151
+ this.advance();
152
+ }
153
+ if (this.peek() === '.' && this.isDigit(this.peek(1))) {
154
+ this.advance(); // consume .
155
+ while (this.isDigit(this.peek())) {
156
+ this.advance();
157
+ }
158
+ }
159
+ const value = this.source.substring(start, this.pos);
160
+ return this.createToken(TokenType.NUMBER, value);
161
+ }
162
+ scanIdentifier() {
163
+ const start = this.pos;
164
+ while (this.isAlphaNumeric(this.peek())) {
165
+ this.advance();
166
+ }
167
+ const value = this.source.substring(start, this.pos);
168
+ const type = KEYWORDS[value] || TokenType.IDENTIFIER;
169
+ return this.createToken(type, value);
170
+ }
171
+ scanOperator() {
172
+ const char = this.peek();
173
+ const next = this.peek(1);
174
+ // Two-character operators
175
+ if (char === '-' && next === '>') {
176
+ this.advance();
177
+ this.advance();
178
+ return this.createToken(TokenType.ARROW, '->');
179
+ }
180
+ if (char === '=' && next === '>') {
181
+ this.advance();
182
+ this.advance();
183
+ return this.createToken(TokenType.FAT_ARROW, '=>');
184
+ }
185
+ if (char === '=' && next === '=') {
186
+ this.advance();
187
+ this.advance();
188
+ return this.createToken(TokenType.EQ, '==');
189
+ }
190
+ if (char === '!' && next === '=') {
191
+ this.advance();
192
+ this.advance();
193
+ return this.createToken(TokenType.NEQ, '!=');
194
+ }
195
+ if (char === '<' && next === '=') {
196
+ this.advance();
197
+ this.advance();
198
+ return this.createToken(TokenType.LTE, '<=');
199
+ }
200
+ if (char === '>' && next === '=') {
201
+ this.advance();
202
+ this.advance();
203
+ return this.createToken(TokenType.GTE, '>=');
204
+ }
205
+ // Single-character operators
206
+ const singleChars = {
207
+ '(': TokenType.LPAREN,
208
+ ')': TokenType.RPAREN,
209
+ '{': TokenType.LBRACE,
210
+ '}': TokenType.RBRACE,
211
+ '[': TokenType.LBRACKET,
212
+ ']': TokenType.RBRACKET,
213
+ ',': TokenType.COMMA,
214
+ '.': TokenType.DOT,
215
+ ':': TokenType.COLON,
216
+ ';': TokenType.SEMICOLON,
217
+ '|': TokenType.PIPE,
218
+ '+': TokenType.PLUS,
219
+ '-': TokenType.MINUS,
220
+ '*': TokenType.STAR,
221
+ '/': TokenType.SLASH,
222
+ '%': TokenType.PERCENT,
223
+ '<': TokenType.LT,
224
+ '>': TokenType.GT,
225
+ '\n': TokenType.NEWLINE,
226
+ };
227
+ const type = singleChars[char];
228
+ if (type) {
229
+ this.advance();
230
+ return this.createToken(type, char);
231
+ }
232
+ // Unknown
233
+ this.advance();
234
+ return this.createToken(TokenType.UNKNOWN, char);
235
+ }
236
+ skipWhitespace() {
237
+ while (!this.isAtEnd() && /\s/.test(this.peek()) && this.peek() !== '\n') {
238
+ this.advance();
239
+ }
240
+ }
241
+ skipLineComment() {
242
+ while (this.peek() !== '\n' && !this.isAtEnd()) {
243
+ this.advance();
244
+ }
245
+ }
246
+ skipBlockComment() {
247
+ this.advance(); // /
248
+ this.advance(); // *
249
+ while (!this.isAtEnd()) {
250
+ if (this.peek() === '*' && this.peek(1) === '/') {
251
+ this.advance();
252
+ this.advance();
253
+ break;
254
+ }
255
+ this.advance();
256
+ }
257
+ }
258
+ peek(offset = 0) {
259
+ const index = this.pos + offset;
260
+ return index < this.source.length ? this.source[index] : '\0';
261
+ }
262
+ advance() {
263
+ const char = this.source[this.pos++];
264
+ if (char === '\n') {
265
+ this.line++;
266
+ this.column = 1;
267
+ }
268
+ else {
269
+ this.column++;
270
+ }
271
+ return char;
272
+ }
273
+ isAtEnd() {
274
+ return this.pos >= this.source.length;
275
+ }
276
+ isDigit(char) {
277
+ return /[0-9]/.test(char);
278
+ }
279
+ isAlpha(char) {
280
+ return /[a-zA-Z_]/.test(char);
281
+ }
282
+ isAlphaNumeric(char) {
283
+ return this.isAlpha(char) || this.isDigit(char);
284
+ }
285
+ createToken(type, value) {
286
+ return {
287
+ type,
288
+ value,
289
+ line: this.line,
290
+ column: this.column - value.length,
291
+ offset: this.pos - value.length,
292
+ };
293
+ }
294
+ }
295
+ exports.Lexer = Lexer;
296
+ //# sourceMappingURL=lexer.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"lexer.js","sourceRoot":"","sources":["../../src/parser/lexer.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAEH,IAAY,SAwDX;AAxDD,WAAY,SAAS;IACnB,WAAW;IACX,0BAAa,CAAA;IACb,8BAAiB,CAAA;IACjB,sBAAS,CAAA;IACT,0BAAa,CAAA;IACb,4BAAe,CAAA;IACf,sBAAS,CAAA;IACT,4BAAe,CAAA;IAEf,WAAW;IACX,8BAAiB,CAAA;IACjB,8BAAiB,CAAA;IACjB,gCAAmB,CAAA;IACnB,0BAAa,CAAA;IAEb,cAAc;IACd,sCAAyB,CAAA;IAEzB,YAAY;IACZ,4BAAe,CAAA;IACf,oCAAuB,CAAA;IACvB,0BAAa,CAAA;IACb,wBAAW,CAAA;IACX,4BAAe,CAAA;IACf,4BAAe,CAAA;IACf,oCAAuB,CAAA;IACvB,0BAAa,CAAA;IACb,4BAAe,CAAA;IACf,0BAAa,CAAA;IACb,4BAAe,CAAA;IACf,gCAAmB,CAAA;IAEnB,aAAa;IACb,sBAAS,CAAA;IACT,wBAAW,CAAA;IACX,sBAAS,CAAA;IACT,sBAAS,CAAA;IACT,wBAAW,CAAA;IACX,wBAAW,CAAA;IAEX,aAAa;IACb,8BAAiB,CAAA;IACjB,8BAAiB,CAAA;IACjB,8BAAiB,CAAA;IACjB,8BAAiB,CAAA;IACjB,kCAAqB,CAAA;IACrB,kCAAqB,CAAA;IAErB,cAAc;IACd,sBAAS,CAAA;IAET,UAAU;IACV,gCAAmB,CAAA;IACnB,wBAAW,CAAA;IACX,gCAAmB,CAAA;AACrB,CAAC,EAxDW,SAAS,yBAAT,SAAS,QAwDpB;AAUD,MAAM,QAAQ,GAA8B;IAC1C,IAAI,EAAE,SAAS,CAAC,IAAI;IACpB,MAAM,EAAE,SAAS,CAAC,MAAM;IACxB,EAAE,EAAE,SAAS,CAAC,EAAE;IAChB,IAAI,EAAE,SAAS,CAAC,IAAI;IACpB,KAAK,EAAE,SAAS,CAAC,KAAK;IACtB,EAAE,EAAE,SAAS,CAAC,EAAE;IAChB,KAAK,EAAE,SAAS,CAAC,KAAK;IACtB,IAAI,EAAE,SAAS,CAAC,OAAO;IACvB,KAAK,EAAE,SAAS,CAAC,OAAO;IACxB,IAAI,EAAE,SAAS,CAAC,IAAI;CACrB,CAAC;AAEF,MAAa,KAAK;IAOhB,YAAY,MAAc;QALlB,QAAG,GAAG,CAAC,CAAC;QACR,SAAI,GAAG,CAAC,CAAC;QACT,WAAM,GAAG,CAAC,CAAC;QACX,WAAM,GAAY,EAAE,CAAC;QAG3B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED,QAAQ;QACN,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;QAEjB,OAAO,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACrC,IAAI,CAAC,cAAc,EAAE,CAAC;YAEtB,IAAI,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM;gBAAE,MAAM;YAE1C,gBAAgB;YAChB,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAChD,IAAI,CAAC,eAAe,EAAE,CAAC;gBACvB,SAAS;YACX,CAAC;YAED,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAChD,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBACxB,SAAS;YACX,CAAC;YAED,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;YAC/B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,EAAE,CAAC;gBACrC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACtD,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAEO,SAAS;QACf,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAEzB,cAAc;QACd,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,OAAO,IAAI,CAAC,cAAc,EAAE,CAAC;QAC/B,CAAC;QAED,UAAU;QACV,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,OAAO,IAAI,CAAC,UAAU,EAAE,CAAC;QAC3B,CAAC;QAED,UAAU;QACV,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,OAAO,IAAI,CAAC,UAAU,EAAE,CAAC;QAC3B,CAAC;QAED,2BAA2B;QAC3B,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACvC,OAAO,IAAI,CAAC,cAAc,EAAE,CAAC;QAC/B,CAAC;QAED,2BAA2B;QAC3B,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC;IAC7B,CAAC;IAEO,cAAc;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC;QACvB,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,YAAY;QAE5B,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBACxC,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACrD,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC;IAEO,UAAU;QAChB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,wBAAwB;QAExC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC;QACvB,OAAO,IAAI,CAAC,IAAI,EAAE,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YAChD,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBACzB,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,cAAc;YAChC,CAAC;YACD,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACrD,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,wBAAwB;QAExC,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACnD,CAAC;IAEO,UAAU;QAChB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC;QAEvB,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YACjC,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtD,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,YAAY;YAC5B,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBACjC,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACrD,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACnD,CAAC;IAEO,cAAc;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC;QAEvB,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YACxC,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACrD,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC;QAErD,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACvC,CAAC;IAEO,YAAY;QAClB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE1B,0BAA0B;QAC1B,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACjD,CAAC;QAED,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACrD,CAAC;QAED,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC9C,CAAC;QAED,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC/C,CAAC;QAED,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC/C,CAAC;QAED,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC/C,CAAC;QAED,6BAA6B;QAC7B,MAAM,WAAW,GAA8B;YAC7C,GAAG,EAAE,SAAS,CAAC,MAAM;YACrB,GAAG,EAAE,SAAS,CAAC,MAAM;YACrB,GAAG,EAAE,SAAS,CAAC,MAAM;YACrB,GAAG,EAAE,SAAS,CAAC,MAAM;YACrB,GAAG,EAAE,SAAS,CAAC,QAAQ;YACvB,GAAG,EAAE,SAAS,CAAC,QAAQ;YACvB,GAAG,EAAE,SAAS,CAAC,KAAK;YACpB,GAAG,EAAE,SAAS,CAAC,GAAG;YAClB,GAAG,EAAE,SAAS,CAAC,KAAK;YACpB,GAAG,EAAE,SAAS,CAAC,SAAS;YACxB,GAAG,EAAE,SAAS,CAAC,IAAI;YACnB,GAAG,EAAE,SAAS,CAAC,IAAI;YACnB,GAAG,EAAE,SAAS,CAAC,KAAK;YACpB,GAAG,EAAE,SAAS,CAAC,IAAI;YACnB,GAAG,EAAE,SAAS,CAAC,KAAK;YACpB,GAAG,EAAE,SAAS,CAAC,OAAO;YACtB,GAAG,EAAE,SAAS,CAAC,EAAE;YACjB,GAAG,EAAE,SAAS,CAAC,EAAE;YACjB,IAAI,EAAE,SAAS,CAAC,OAAO;SACxB,CAAC;QAEF,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACtC,CAAC;QAED,UAAU;QACV,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACnD,CAAC;IAEO,cAAc;QACpB,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YACzE,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;IACH,CAAC;IAEO,eAAe;QACrB,OAAO,IAAI,CAAC,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;IACH,CAAC;IAEO,gBAAgB;QACtB,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI;QACpB,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI;QAEpB,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YACvB,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAChD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACf,IAAI,CAAC,OAAO,EAAE,CAAC;gBACf,MAAM;YACR,CAAC;YACD,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;IACH,CAAC;IAEO,IAAI,CAAC,MAAM,GAAG,CAAC;QACrB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC;QAChC,OAAO,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAChE,CAAC;IAEO,OAAO;QACb,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QACrC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QAClB,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,OAAO;QACb,OAAO,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,CAAC;IAEO,OAAO,CAAC,IAAY;QAC1B,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAEO,OAAO,CAAC,IAAY;QAC1B,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IAEO,cAAc,CAAC,IAAY;QACjC,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC;IAEO,WAAW,CAAC,IAAe,EAAE,KAAa;QAChD,OAAO;YACL,IAAI;YACJ,KAAK;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,MAAM,EAAE,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM;YAClC,MAAM,EAAE,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,MAAM;SAChC,CAAC;IACJ,CAAC;CACF;AAhRD,sBAgRC"}
@@ -0,0 +1,12 @@
1
+ /**
2
+ * Enhanced parser methods for match expressions and error recovery
3
+ * These can be merged into parser.ts
4
+ */
5
+ import * as AST from '../types';
6
+ export declare function parseExpression_Enhanced(parser: any): AST.ASTNode;
7
+ export declare function parseMatchExpression(parser: any, discriminant: AST.ASTNode): AST.MatchExpression;
8
+ export declare function parseErrorRecovery(parser: any, expression: AST.ASTNode): AST.ErrorRecovery;
9
+ export declare function parseContextBlock(parser: any): AST.ContextBlock;
10
+ export declare function parseContextValue(parser: any): any;
11
+ export declare function parseAnnotation_Enhanced(parser: any): AST.Annotation;
12
+ //# sourceMappingURL=parser-enhanced.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"parser-enhanced.d.ts","sourceRoot":"","sources":["../../src/parser/parser-enhanced.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAIhC,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,GAAG,GAAG,GAAG,CAAC,OAAO,CAcjE;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,CAAC,OAAO,GAAG,GAAG,CAAC,eAAe,CAsChG;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,CAAC,OAAO,GAAG,GAAG,CAAC,aAAa,CA8B1F;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,GAAG,GAAG,GAAG,CAAC,YAAY,CA6B/D;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,GAAG,GAAG,GAAG,CAsClD;AAGD,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,GAAG,GAAG,GAAG,CAAC,UAAU,CAiDpE"}
@@ -0,0 +1,206 @@
1
+ "use strict";
2
+ /**
3
+ * Enhanced parser methods for match expressions and error recovery
4
+ * These can be merged into parser.ts
5
+ */
6
+ Object.defineProperty(exports, "__esModule", { value: true });
7
+ exports.parseExpression_Enhanced = parseExpression_Enhanced;
8
+ exports.parseMatchExpression = parseMatchExpression;
9
+ exports.parseErrorRecovery = parseErrorRecovery;
10
+ exports.parseContextBlock = parseContextBlock;
11
+ exports.parseContextValue = parseContextValue;
12
+ exports.parseAnnotation_Enhanced = parseAnnotation_Enhanced;
13
+ const lexer_1 = require("./lexer");
14
+ // Add these methods to the Parser class
15
+ function parseExpression_Enhanced(parser) {
16
+ let expr = parser.parseBinaryExpression();
17
+ // Check for match expression
18
+ if (parser.check(lexer_1.TokenType.MATCH)) {
19
+ return parseMatchExpression(parser, expr);
20
+ }
21
+ // Check for error recovery: expr or error { ... }
22
+ if (parser.check(lexer_1.TokenType.OR)) {
23
+ return parseErrorRecovery(parser, expr);
24
+ }
25
+ return expr;
26
+ }
27
+ function parseMatchExpression(parser, discriminant) {
28
+ parser.consume(lexer_1.TokenType.MATCH);
29
+ parser.consume(lexer_1.TokenType.LBRACE);
30
+ const cases = [];
31
+ while (!parser.check(lexer_1.TokenType.RBRACE) && !parser.isAtEnd()) {
32
+ const pattern = parser.consume(lexer_1.TokenType.IDENTIFIER).value; // Ok, Err, _
33
+ let binding;
34
+ if (parser.match(lexer_1.TokenType.LPAREN)) {
35
+ binding = parser.consume(lexer_1.TokenType.IDENTIFIER).value;
36
+ parser.consume(lexer_1.TokenType.RPAREN);
37
+ }
38
+ parser.consume(lexer_1.TokenType.ARROW);
39
+ // Parse body - can be expression or block
40
+ let body;
41
+ if (parser.check(lexer_1.TokenType.LBRACE)) {
42
+ body = parser.parseBlockStatement();
43
+ }
44
+ else {
45
+ body = parser.parseExpression();
46
+ }
47
+ cases.push({ pattern, binding, body });
48
+ // Optional comma between cases
49
+ parser.match(lexer_1.TokenType.COMMA);
50
+ }
51
+ parser.consume(lexer_1.TokenType.RBRACE);
52
+ return {
53
+ type: 'MatchExpression',
54
+ discriminant,
55
+ cases,
56
+ };
57
+ }
58
+ function parseErrorRecovery(parser, expression) {
59
+ parser.consume(lexer_1.TokenType.OR);
60
+ parser.consume(lexer_1.TokenType.ERROR);
61
+ parser.consume(lexer_1.TokenType.LBRACE);
62
+ // Parse optional error binding
63
+ let binding = 'e';
64
+ // Parse @context annotation if present
65
+ let contextBlock = {};
66
+ if (parser.check(lexer_1.TokenType.AT)) {
67
+ contextBlock = parseContextBlock(parser);
68
+ }
69
+ // Parse error action (usually a return statement or block)
70
+ let errorAction;
71
+ if (parser.check(lexer_1.TokenType.RETURN)) {
72
+ errorAction = parser.parseReturnStatement();
73
+ }
74
+ else {
75
+ errorAction = parser.parseStatement() || { type: 'BlockStatement', body: [] };
76
+ }
77
+ parser.consume(lexer_1.TokenType.RBRACE);
78
+ return {
79
+ type: 'ErrorRecovery',
80
+ binding,
81
+ contextBlock,
82
+ errorAction,
83
+ };
84
+ }
85
+ function parseContextBlock(parser) {
86
+ // Expect @context
87
+ parser.consume(lexer_1.TokenType.AT);
88
+ const contextToken = parser.consume(lexer_1.TokenType.IDENTIFIER);
89
+ if (contextToken.value !== 'context') {
90
+ throw new Error(`Expected @context, got @${contextToken.value}`);
91
+ }
92
+ parser.consume(lexer_1.TokenType.LBRACE);
93
+ const context = {};
94
+ // Parse key-value pairs
95
+ while (!parser.check(lexer_1.TokenType.RBRACE) && !parser.isAtEnd()) {
96
+ const keyToken = parser.consume(lexer_1.TokenType.IDENTIFIER);
97
+ parser.consume(lexer_1.TokenType.COLON);
98
+ // Parse value (simplified - just capture until comma or closing brace)
99
+ const value = parseContextValue(parser);
100
+ context[keyToken.value] = value;
101
+ parser.match(lexer_1.TokenType.COMMA);
102
+ }
103
+ parser.consume(lexer_1.TokenType.RBRACE);
104
+ return context;
105
+ }
106
+ function parseContextValue(parser) {
107
+ // Simplified context value parsing
108
+ if (parser.check(lexer_1.TokenType.STRING)) {
109
+ return parser.advance().value;
110
+ }
111
+ if (parser.check(lexer_1.TokenType.NUMBER)) {
112
+ return parseFloat(parser.advance().value);
113
+ }
114
+ if (parser.check(lexer_1.TokenType.BOOLEAN)) {
115
+ return parser.advance().value === 'true';
116
+ }
117
+ if (parser.check(lexer_1.TokenType.LBRACE)) {
118
+ // Parse object
119
+ parser.consume(lexer_1.TokenType.LBRACE);
120
+ const obj = {};
121
+ while (!parser.check(lexer_1.TokenType.RBRACE) && !parser.isAtEnd()) {
122
+ const key = parser.consume(lexer_1.TokenType.IDENTIFIER).value;
123
+ parser.consume(lexer_1.TokenType.COLON);
124
+ obj[key] = parseContextValue(parser);
125
+ parser.match(lexer_1.TokenType.COMMA);
126
+ }
127
+ parser.consume(lexer_1.TokenType.RBRACE);
128
+ return obj;
129
+ }
130
+ if (parser.check(lexer_1.TokenType.LBRACKET)) {
131
+ // Parse array
132
+ parser.consume(lexer_1.TokenType.LBRACKET);
133
+ const arr = [];
134
+ while (!parser.check(lexer_1.TokenType.RBRACKET) && !parser.isAtEnd()) {
135
+ arr.push(parseContextValue(parser));
136
+ parser.match(lexer_1.TokenType.COMMA);
137
+ }
138
+ parser.consume(lexer_1.TokenType.RBRACKET);
139
+ return arr;
140
+ }
141
+ // Default: identifier or literal
142
+ return parser.advance().value;
143
+ }
144
+ // Enhanced annotation parsing
145
+ function parseAnnotation_Enhanced(parser) {
146
+ // Consume the @ token
147
+ const atToken = parser.advance();
148
+ // Extract annotation name
149
+ let name = '';
150
+ if (atToken.value.startsWith('@')) {
151
+ const parts = atToken.value.match(/@(\w+)/);
152
+ name = parts ? parts[1] : atToken.value.substring(1);
153
+ }
154
+ else {
155
+ name = parser.consume(lexer_1.TokenType.IDENTIFIER).value;
156
+ }
157
+ const args = {};
158
+ if (parser.match(lexer_1.TokenType.LPAREN)) {
159
+ // Parse annotation arguments properly
160
+ if (!parser.check(lexer_1.TokenType.RPAREN)) {
161
+ // Try to parse as positional or named arguments
162
+ // For @confidence(0.90) we expect a single number
163
+ // For @needs(database: Database) we expect key: value pairs
164
+ const firstToken = parser.peek();
165
+ // Check if this looks like a named parameter (identifier followed by colon)
166
+ const isNamed = firstToken.type === lexer_1.TokenType.IDENTIFIER &&
167
+ parser.peekNext()?.type === lexer_1.TokenType.COLON;
168
+ if (isNamed) {
169
+ // Parse named parameters
170
+ do {
171
+ const paramName = parser.consume(lexer_1.TokenType.IDENTIFIER).value;
172
+ parser.consume(lexer_1.TokenType.COLON);
173
+ const paramValue = parseAnnotationValue(parser);
174
+ args[paramName] = paramValue;
175
+ } while (parser.match(lexer_1.TokenType.COMMA));
176
+ }
177
+ else {
178
+ // Parse positional parameter (single value)
179
+ const value = parseAnnotationValue(parser);
180
+ args['value'] = value;
181
+ }
182
+ }
183
+ parser.consume(lexer_1.TokenType.RPAREN);
184
+ }
185
+ return {
186
+ name,
187
+ args,
188
+ };
189
+ }
190
+ function parseAnnotationValue(parser) {
191
+ if (parser.check(lexer_1.TokenType.NUMBER)) {
192
+ return parseFloat(parser.advance().value);
193
+ }
194
+ if (parser.check(lexer_1.TokenType.STRING)) {
195
+ return parser.advance().value;
196
+ }
197
+ if (parser.check(lexer_1.TokenType.BOOLEAN)) {
198
+ return parser.advance().value === 'true';
199
+ }
200
+ if (parser.check(lexer_1.TokenType.IDENTIFIER)) {
201
+ // Could be a type reference
202
+ return parser.advance().value;
203
+ }
204
+ throw new Error(`Unexpected token in annotation: ${parser.peek().type}`);
205
+ }
206
+ //# sourceMappingURL=parser-enhanced.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"parser-enhanced.js","sourceRoot":"","sources":["../../src/parser/parser-enhanced.ts"],"names":[],"mappings":";AAAA;;;GAGG;;AAOH,4DAcC;AAED,oDAsCC;AAED,gDA8BC;AAED,8CA6BC;AAED,8CAsCC;AAGD,4DAiDC;AAtND,mCAAkD;AAGlD,wCAAwC;AAExC,SAAgB,wBAAwB,CAAC,MAAW;IAClD,IAAI,IAAI,GAAG,MAAM,CAAC,qBAAqB,EAAE,CAAC;IAE1C,6BAA6B;IAC7B,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAClC,OAAO,oBAAoB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC5C,CAAC;IAED,kDAAkD;IAClD,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,EAAE,CAAC,EAAE,CAAC;QAC/B,OAAO,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAgB,oBAAoB,CAAC,MAAW,EAAE,YAAyB;IACzE,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,MAAM,CAAC,CAAC;IAEjC,MAAM,KAAK,GAAoB,EAAE,CAAC;IAElC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QAC5D,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,CAAC,aAAa;QAEzE,IAAI,OAA2B,CAAC;QAChC,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC;YACrD,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,MAAM,CAAC,CAAC;QACnC,CAAC;QAED,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,KAAK,CAAC,CAAC;QAEhC,0CAA0C;QAC1C,IAAI,IAAiB,CAAC;QACtB,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,IAAI,GAAG,MAAM,CAAC,mBAAmB,EAAE,CAAC;QACtC,CAAC;aAAM,CAAC;YACN,IAAI,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;QAClC,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAEvC,+BAA+B;QAC/B,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,MAAM,CAAC,CAAC;IAEjC,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,YAAY;QACZ,KAAK;KACN,CAAC;AACJ,CAAC;AAED,SAAgB,kBAAkB,CAAC,MAAW,EAAE,UAAuB;IACrE,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,EAAE,CAAC,CAAC;IAC7B,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,MAAM,CAAC,CAAC;IAEjC,+BAA+B;IAC/B,IAAI,OAAO,GAAG,GAAG,CAAC;IAElB,uCAAuC;IACvC,IAAI,YAAY,GAAqB,EAAE,CAAC;IACxC,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,EAAE,CAAC,EAAE,CAAC;QAC/B,YAAY,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC3C,CAAC;IAED,2DAA2D;IAC3D,IAAI,WAAwB,CAAC;IAC7B,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,WAAW,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAC;IAC9C,CAAC;SAAM,CAAC;QACN,WAAW,GAAG,MAAM,CAAC,cAAc,EAAE,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IAChF,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,MAAM,CAAC,CAAC;IAEjC,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,OAAO;QACP,YAAY;QACZ,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,SAAgB,iBAAiB,CAAC,MAAW;IAC3C,kBAAkB;IAClB,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,EAAE,CAAC,CAAC;IAC7B,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,UAAU,CAAC,CAAC;IAE1D,IAAI,YAAY,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,2BAA2B,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC;IACnE,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,MAAM,CAAC,CAAC;IAEjC,MAAM,OAAO,GAAqB,EAAE,CAAC;IAErC,wBAAwB;IACxB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QAC5D,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,UAAU,CAAC,CAAC;QACtD,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,KAAK,CAAC,CAAC;QAEhC,uEAAuE;QACvE,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAEvC,OAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;QAEzC,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,MAAM,CAAC,CAAC;IAEjC,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAgB,iBAAiB,CAAC,MAAW;IAC3C,mCAAmC;IACnC,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;IAChC,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,OAAO,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QACpC,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,KAAK,MAAM,CAAC;IAC3C,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,eAAe;QACf,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,MAAM,CAAC,CAAC;QACjC,MAAM,GAAG,GAAQ,EAAE,CAAC;QACpB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5D,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC;YACvD,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,KAAK,CAAC,CAAC;YAChC,GAAG,CAAC,GAAG,CAAC,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACrC,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC;QACD,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,MAAM,CAAC,CAAC;QACjC,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,cAAc;QACd,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,QAAQ,CAAC,CAAC;QACnC,MAAM,GAAG,GAAU,EAAE,CAAC;QACtB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YAC9D,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC;YACpC,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC;QACD,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,QAAQ,CAAC,CAAC;QACnC,OAAO,GAAG,CAAC;IACb,CAAC;IAED,iCAAiC;IACjC,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;AAChC,CAAC;AAED,8BAA8B;AAC9B,SAAgB,wBAAwB,CAAC,MAAW;IAClD,sBAAsB;IACtB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;IAEjC,0BAA0B;IAC1B,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC5C,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC;SAAM,CAAC;QACN,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC;IACpD,CAAC;IAED,MAAM,IAAI,GAAwB,EAAE,CAAC;IAErC,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,sCAAsC;QACtC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YACpC,gDAAgD;YAChD,kDAAkD;YAClD,4DAA4D;YAE5D,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;YAEjC,4EAA4E;YAC5E,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,KAAK,iBAAS,CAAC,UAAU;gBACxC,MAAM,CAAC,QAAQ,EAAE,EAAE,IAAI,KAAK,iBAAS,CAAC,KAAK,CAAC;YAE5D,IAAI,OAAO,EAAE,CAAC;gBACZ,yBAAyB;gBACzB,GAAG,CAAC;oBACF,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC;oBAC7D,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,KAAK,CAAC,CAAC;oBAChC,MAAM,UAAU,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;oBAChD,IAAI,CAAC,SAAS,CAAC,GAAG,UAAU,CAAC;gBAC/B,CAAC,QAAQ,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,EAAE;YAC1C,CAAC;iBAAM,CAAC;gBACN,4CAA4C;gBAC5C,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;gBAC3C,IAAI,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC;YACxB,CAAC;QACH,CAAC;QACD,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IAED,OAAO;QACL,IAAI;QACJ,IAAI;KACL,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAW;IACvC,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,OAAO,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;IAChC,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QACpC,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,KAAK,MAAM,CAAC;IAC3C,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,UAAU,CAAC,EAAE,CAAC;QACvC,4BAA4B;QAC5B,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;IAChC,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,mCAAmC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;AAC3E,CAAC"}
@@ -0,0 +1,34 @@
1
+ /**
2
+ * Recursive descent parser for Agentic language
3
+ * Converts tokens into AST
4
+ */
5
+ import * as AST from '../types';
6
+ export declare class Parser {
7
+ private tokens;
8
+ private current;
9
+ parse(source: string): AST.ASTNode[];
10
+ private parseStatement;
11
+ private parseFunctionDeclaration;
12
+ private parseParameterList;
13
+ private parseTypeAnnotation;
14
+ private parseBlockStatement;
15
+ private parseReturnStatement;
16
+ private parseIfStatement;
17
+ private parseVariableOrExpression;
18
+ private parseExpression;
19
+ private parseBinaryExpression;
20
+ private parsePrimaryExpression;
21
+ private parseAnnotation;
22
+ private parseAnnotationValue;
23
+ private match;
24
+ private check;
25
+ private advance;
26
+ private isAtEnd;
27
+ private peek;
28
+ private peekNext;
29
+ private previous;
30
+ private consume;
31
+ private parseMatchExpression;
32
+ private parseErrorRecovery;
33
+ }
34
+ //# sourceMappingURL=parser.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/parser/parser.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAEhC,qBAAa,MAAM;IACjB,OAAO,CAAC,MAAM,CAAe;IAC7B,OAAO,CAAC,OAAO,CAAK;IAEpB,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,GAAG,CAAC,OAAO,EAAE;IAiBpC,OAAO,CAAC,cAAc;IA6BtB,OAAO,CAAC,wBAAwB;IA2BhC,OAAO,CAAC,kBAAkB;IAwB1B,OAAO,CAAC,mBAAmB;IA0C3B,OAAO,CAAC,mBAAmB;IAoB3B,OAAO,CAAC,oBAAoB;IAe5B,OAAO,CAAC,gBAAgB;IAwBxB,OAAO,CAAC,yBAAyB;IAqBjC,OAAO,CAAC,eAAe;IAIvB,OAAO,CAAC,qBAAqB;IAuC7B,OAAO,CAAC,sBAAsB;IA6F9B,OAAO,CAAC,eAAe;IA4DvB,OAAO,CAAC,oBAAoB;IA6B5B,OAAO,CAAC,KAAK;IAUb,OAAO,CAAC,KAAK;IAKb,OAAO,CAAC,OAAO;IAKf,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,IAAI;IAIZ,OAAO,CAAC,QAAQ;IAKhB,OAAO,CAAC,QAAQ;IAIhB,OAAO,CAAC,OAAO;IAQf,OAAO,CAAC,oBAAoB;IAuD5B,OAAO,CAAC,kBAAkB;CAwD3B"}