freelang-v4 4.3.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 (261) hide show
  1. package/README.md +548 -0
  2. package/dist/ast.d.ts +367 -0
  3. package/dist/ast.js +4 -0
  4. package/dist/ast.js.map +1 -0
  5. package/dist/async-basic.test.d.ts +1 -0
  6. package/dist/async-basic.test.js +88 -0
  7. package/dist/async-basic.test.js.map +1 -0
  8. package/dist/async-jest.test.d.ts +1 -0
  9. package/dist/async-jest.test.js +99 -0
  10. package/dist/async-jest.test.js.map +1 -0
  11. package/dist/channel-jest.test.d.ts +1 -0
  12. package/dist/channel-jest.test.js +148 -0
  13. package/dist/channel-jest.test.js.map +1 -0
  14. package/dist/checker-jest.test.d.ts +1 -0
  15. package/dist/checker-jest.test.js +160 -0
  16. package/dist/checker-jest.test.js.map +1 -0
  17. package/dist/checker.d.ts +149 -0
  18. package/dist/checker.js +1565 -0
  19. package/dist/checker.js.map +1 -0
  20. package/dist/checker.test.d.ts +1 -0
  21. package/dist/checker.test.js +217 -0
  22. package/dist/checker.test.js.map +1 -0
  23. package/dist/compiler-jest.test.d.ts +1 -0
  24. package/dist/compiler-jest.test.js +233 -0
  25. package/dist/compiler-jest.test.js.map +1 -0
  26. package/dist/compiler.d.ts +127 -0
  27. package/dist/compiler.js +1588 -0
  28. package/dist/compiler.js.map +1 -0
  29. package/dist/compiler.test.d.ts +1 -0
  30. package/dist/compiler.test.js +313 -0
  31. package/dist/compiler.test.js.map +1 -0
  32. package/dist/db-100m-full.d.ts +5 -0
  33. package/dist/db-100m-full.js +78 -0
  34. package/dist/db-100m-full.js.map +1 -0
  35. package/dist/db-100m-no-index.d.ts +12 -0
  36. package/dist/db-100m-no-index.js +119 -0
  37. package/dist/db-100m-no-index.js.map +1 -0
  38. package/dist/db-100m-real.d.ts +5 -0
  39. package/dist/db-100m-real.js +131 -0
  40. package/dist/db-100m-real.js.map +1 -0
  41. package/dist/db-100m-streaming.d.ts +15 -0
  42. package/dist/db-100m-streaming.js +164 -0
  43. package/dist/db-100m-streaming.js.map +1 -0
  44. package/dist/db-100m-test.d.ts +5 -0
  45. package/dist/db-100m-test.js +111 -0
  46. package/dist/db-100m-test.js.map +1 -0
  47. package/dist/db-jest.test.d.ts +1 -0
  48. package/dist/db-jest.test.js +182 -0
  49. package/dist/db-jest.test.js.map +1 -0
  50. package/dist/db-runtime.d.ts +24 -0
  51. package/dist/db-runtime.js +204 -0
  52. package/dist/db-runtime.js.map +1 -0
  53. package/dist/db.d.ts +249 -0
  54. package/dist/db.js +593 -0
  55. package/dist/db.js.map +1 -0
  56. package/dist/file-io-jest.test.d.ts +1 -0
  57. package/dist/file-io-jest.test.js +225 -0
  58. package/dist/file-io-jest.test.js.map +1 -0
  59. package/dist/for-of-jest.test.d.ts +1 -0
  60. package/dist/for-of-jest.test.js +230 -0
  61. package/dist/for-of-jest.test.js.map +1 -0
  62. package/dist/for-of.test.d.ts +1 -0
  63. package/dist/for-of.test.js +305 -0
  64. package/dist/for-of.test.js.map +1 -0
  65. package/dist/function-literal-jest.test.d.ts +1 -0
  66. package/dist/function-literal-jest.test.js +180 -0
  67. package/dist/function-literal-jest.test.js.map +1 -0
  68. package/dist/function-literal.test.d.ts +1 -0
  69. package/dist/function-literal.test.js +245 -0
  70. package/dist/function-literal.test.js.map +1 -0
  71. package/dist/generics-jest.test.d.ts +1 -0
  72. package/dist/generics-jest.test.js +93 -0
  73. package/dist/generics-jest.test.js.map +1 -0
  74. package/dist/ir-gen.d.ts +15 -0
  75. package/dist/ir-gen.js +400 -0
  76. package/dist/ir-gen.js.map +1 -0
  77. package/dist/ir.d.ts +114 -0
  78. package/dist/ir.js +5 -0
  79. package/dist/ir.js.map +1 -0
  80. package/dist/lexer.d.ts +110 -0
  81. package/dist/lexer.js +467 -0
  82. package/dist/lexer.js.map +1 -0
  83. package/dist/lexer.test.d.ts +1 -0
  84. package/dist/lexer.test.js +426 -0
  85. package/dist/lexer.test.js.map +1 -0
  86. package/dist/main.d.ts +2 -0
  87. package/dist/main.js +241 -0
  88. package/dist/main.js.map +1 -0
  89. package/dist/module-jest.test.d.ts +1 -0
  90. package/dist/module-jest.test.js +123 -0
  91. package/dist/module-jest.test.js.map +1 -0
  92. package/dist/parser.d.ts +56 -0
  93. package/dist/parser.js +1060 -0
  94. package/dist/parser.js.map +1 -0
  95. package/dist/parser.test.d.ts +1 -0
  96. package/dist/parser.test.js +461 -0
  97. package/dist/parser.test.js.map +1 -0
  98. package/dist/pattern-matching-jest.test.d.ts +1 -0
  99. package/dist/pattern-matching-jest.test.js +158 -0
  100. package/dist/pattern-matching-jest.test.js.map +1 -0
  101. package/dist/pkg/init.d.ts +1 -0
  102. package/dist/pkg/init.js +118 -0
  103. package/dist/pkg/init.js.map +1 -0
  104. package/dist/pkg/install.d.ts +1 -0
  105. package/dist/pkg/install.js +77 -0
  106. package/dist/pkg/install.js.map +1 -0
  107. package/dist/pkg/registry.d.ts +23 -0
  108. package/dist/pkg/registry.js +106 -0
  109. package/dist/pkg/registry.js.map +1 -0
  110. package/dist/pkg/run.d.ts +1 -0
  111. package/dist/pkg/run.js +76 -0
  112. package/dist/pkg/run.js.map +1 -0
  113. package/dist/pkg/toml.d.ts +5 -0
  114. package/dist/pkg/toml.js +117 -0
  115. package/dist/pkg/toml.js.map +1 -0
  116. package/dist/repl.d.ts +15 -0
  117. package/dist/repl.js +197 -0
  118. package/dist/repl.js.map +1 -0
  119. package/dist/runtime/bytecode.d.ts +92 -0
  120. package/dist/runtime/bytecode.js +253 -0
  121. package/dist/runtime/bytecode.js.map +1 -0
  122. package/dist/runtime/value.d.ts +102 -0
  123. package/dist/runtime/value.js +302 -0
  124. package/dist/runtime/value.js.map +1 -0
  125. package/dist/runtime/vm.d.ts +65 -0
  126. package/dist/runtime/vm.js +293 -0
  127. package/dist/runtime/vm.js.map +1 -0
  128. package/dist/struct-instance-jest.test.d.ts +1 -0
  129. package/dist/struct-instance-jest.test.js +209 -0
  130. package/dist/struct-instance-jest.test.js.map +1 -0
  131. package/dist/struct-instance.test.d.ts +1 -0
  132. package/dist/struct-instance.test.js +291 -0
  133. package/dist/struct-instance.test.js.map +1 -0
  134. package/dist/struct-jest.test.d.ts +1 -0
  135. package/dist/struct-jest.test.js +176 -0
  136. package/dist/struct-jest.test.js.map +1 -0
  137. package/dist/struct.test.d.ts +1 -0
  138. package/dist/struct.test.js +231 -0
  139. package/dist/struct.test.js.map +1 -0
  140. package/dist/trait-jest.test.d.ts +1 -0
  141. package/dist/trait-jest.test.js +120 -0
  142. package/dist/trait-jest.test.js.map +1 -0
  143. package/dist/vm-jest.test.d.ts +1 -0
  144. package/dist/vm-jest.test.js +569 -0
  145. package/dist/vm-jest.test.js.map +1 -0
  146. package/dist/vm.d.ts +81 -0
  147. package/dist/vm.js +1956 -0
  148. package/dist/vm.js.map +1 -0
  149. package/dist/vm.test.d.ts +1 -0
  150. package/dist/vm.test.js +337 -0
  151. package/dist/vm.test.js.map +1 -0
  152. package/dist/web-repl/sandbox.d.ts +11 -0
  153. package/dist/web-repl/sandbox.js +76 -0
  154. package/dist/web-repl/sandbox.js.map +1 -0
  155. package/dist/web-repl/server.d.ts +1 -0
  156. package/dist/web-repl/server.js +111 -0
  157. package/dist/web-repl/server.js.map +1 -0
  158. package/dist/while-loop-jest.test.d.ts +1 -0
  159. package/dist/while-loop-jest.test.js +201 -0
  160. package/dist/while-loop-jest.test.js.map +1 -0
  161. package/dist/while-loop.test.d.ts +1 -0
  162. package/dist/while-loop.test.js +262 -0
  163. package/dist/while-loop.test.js.map +1 -0
  164. package/docs/EXPERIENCE.md +787 -0
  165. package/docs/README.md +175 -0
  166. package/docs/V1_V2_V3_ANALYSIS.md +107 -0
  167. package/docs/_config.yml +36 -0
  168. package/docs/api-reference.md +459 -0
  169. package/docs/architecture.md +470 -0
  170. package/docs/benchmarks.md +295 -0
  171. package/docs/comparison.md +454 -0
  172. package/docs/index.md +335 -0
  173. package/docs/language-completeness.md +228 -0
  174. package/docs/learning-guide.md +651 -0
  175. package/package.json +65 -0
  176. package/src/api/deploy_key.fl +294 -0
  177. package/src/api/issue.fl +302 -0
  178. package/src/api/org.fl +356 -0
  179. package/src/api/repo.fl +394 -0
  180. package/src/api/team.fl +299 -0
  181. package/src/api/user.fl +385 -0
  182. package/src/api/webhook.fl +273 -0
  183. package/src/ast.ts +158 -0
  184. package/src/async-basic.test.ts +94 -0
  185. package/src/async-jest.test.ts +107 -0
  186. package/src/channel-jest.test.ts +158 -0
  187. package/src/checker-jest.test.ts +189 -0
  188. package/src/checker.test.ts +279 -0
  189. package/src/checker.ts +1861 -0
  190. package/src/commands/analyze.fl +227 -0
  191. package/src/commands/auth.fl +315 -0
  192. package/src/commands/batch.fl +349 -0
  193. package/src/commands/config.fl +199 -0
  194. package/src/commands/deploy_key.fl +352 -0
  195. package/src/commands/issue.fl +275 -0
  196. package/src/commands/main.fl +492 -0
  197. package/src/commands/org.fl +425 -0
  198. package/src/commands/repo.fl +581 -0
  199. package/src/commands/team.fl +244 -0
  200. package/src/commands/user.fl +423 -0
  201. package/src/commands/webhook.fl +400 -0
  202. package/src/compiler-jest.test.ts +275 -0
  203. package/src/compiler.test.ts +375 -0
  204. package/src/compiler.ts +1770 -0
  205. package/src/config.fl +175 -0
  206. package/src/core/batch.fl +355 -0
  207. package/src/core/cache.fl +284 -0
  208. package/src/core/ensure.fl +324 -0
  209. package/src/db-100m-full.ts +96 -0
  210. package/src/db-100m-no-index.ts +133 -0
  211. package/src/db-100m-real.ts +152 -0
  212. package/src/db-100m-streaming.ts +154 -0
  213. package/src/db-100m-test.ts +136 -0
  214. package/src/db-jest.test.ts +161 -0
  215. package/src/db-runtime.ts +242 -0
  216. package/src/db.ts +676 -0
  217. package/src/errors.fl +134 -0
  218. package/src/for-of-jest.test.ts +246 -0
  219. package/src/for-of.test.ts +308 -0
  220. package/src/function-literal-jest.test.ts +193 -0
  221. package/src/function-literal.test.ts +248 -0
  222. package/src/generics-jest.test.ts +104 -0
  223. package/src/http/client.fl +327 -0
  224. package/src/ir-gen.ts +459 -0
  225. package/src/ir.ts +80 -0
  226. package/src/lexer.test.ts +499 -0
  227. package/src/lexer.ts +522 -0
  228. package/src/main.ts +223 -0
  229. package/src/models.fl +162 -0
  230. package/src/module-jest.test.ts +145 -0
  231. package/src/parser.test.ts +542 -0
  232. package/src/parser.ts +1211 -0
  233. package/src/pattern-matching-jest.test.ts +170 -0
  234. package/src/pkg/init.ts +91 -0
  235. package/src/pkg/install.ts +56 -0
  236. package/src/pkg/registry.ts +103 -0
  237. package/src/pkg/run.ts +49 -0
  238. package/src/pkg/toml.ts +129 -0
  239. package/src/repl.ts +190 -0
  240. package/src/runtime/bytecode.ts +291 -0
  241. package/src/runtime/value.ts +322 -0
  242. package/src/runtime/vm.ts +354 -0
  243. package/src/self-host/bootstrap.fl +68 -0
  244. package/src/self-host/interpreter.fl +361 -0
  245. package/src/self-host/lexer-simple.fl +22 -0
  246. package/src/self-host/lexer.fl +305 -0
  247. package/src/self-host/parser.fl +580 -0
  248. package/src/struct-instance-jest.test.ts +221 -0
  249. package/src/struct-instance.test.ts +293 -0
  250. package/src/struct-jest.test.ts +187 -0
  251. package/src/struct.test.ts +234 -0
  252. package/src/trait-jest.test.ts +136 -0
  253. package/src/vm-jest.test.ts +754 -0
  254. package/src/vm.ts +1976 -0
  255. package/src/web-repl/public/index.html +50 -0
  256. package/src/web-repl/public/main.js +105 -0
  257. package/src/web-repl/public/style.css +225 -0
  258. package/src/web-repl/sandbox.ts +88 -0
  259. package/src/web-repl/server.ts +97 -0
  260. package/src/while-loop-jest.test.ts +218 -0
  261. package/src/while-loop.test.ts +267 -0
package/dist/ast.d.ts ADDED
@@ -0,0 +1,367 @@
1
+ export type TypeAnnotation = {
2
+ kind: "i32";
3
+ } | {
4
+ kind: "i64";
5
+ } | {
6
+ kind: "f64";
7
+ } | {
8
+ kind: "bool";
9
+ } | {
10
+ kind: "string";
11
+ } | {
12
+ kind: "void";
13
+ } | {
14
+ kind: "array";
15
+ element: TypeAnnotation;
16
+ } | {
17
+ kind: "channel";
18
+ element: TypeAnnotation;
19
+ } | {
20
+ kind: "option";
21
+ element: TypeAnnotation;
22
+ } | {
23
+ kind: "result";
24
+ ok: TypeAnnotation;
25
+ err: TypeAnnotation;
26
+ } | {
27
+ kind: "promise";
28
+ element: TypeAnnotation;
29
+ } | {
30
+ kind: "struct_ref";
31
+ name: string;
32
+ } | {
33
+ kind: "fn";
34
+ params: TypeAnnotation[];
35
+ returnType: TypeAnnotation;
36
+ } | {
37
+ kind: "type_param";
38
+ name: string;
39
+ } | {
40
+ kind: "generic_ref";
41
+ name: string;
42
+ typeArgs: TypeAnnotation[];
43
+ } | {
44
+ kind: "trait_ref";
45
+ name: string;
46
+ } | {
47
+ kind: "self_type";
48
+ };
49
+ export type Pattern = {
50
+ kind: "ident";
51
+ name: string;
52
+ } | {
53
+ kind: "literal";
54
+ value: Expr;
55
+ } | {
56
+ kind: "ok";
57
+ inner: Pattern;
58
+ } | {
59
+ kind: "err";
60
+ inner: Pattern;
61
+ } | {
62
+ kind: "some";
63
+ inner: Pattern;
64
+ } | {
65
+ kind: "none";
66
+ } | {
67
+ kind: "wildcard";
68
+ } | {
69
+ kind: "struct";
70
+ name: string;
71
+ fields: {
72
+ name: string;
73
+ pattern: Pattern;
74
+ alias?: string;
75
+ }[];
76
+ rest: boolean;
77
+ } | {
78
+ kind: "array";
79
+ elements: Pattern[];
80
+ rest: boolean;
81
+ restIndex?: number;
82
+ } | {
83
+ kind: "tuple";
84
+ elements: Pattern[];
85
+ rest: boolean;
86
+ restIndex?: number;
87
+ };
88
+ export type MatchArm = {
89
+ pattern: Pattern;
90
+ guard?: Expr;
91
+ body: Expr;
92
+ };
93
+ export type FnParam = {
94
+ name: string;
95
+ type?: TypeAnnotation;
96
+ };
97
+ export type Expr = {
98
+ kind: "int_lit";
99
+ value: number;
100
+ line: number;
101
+ col: number;
102
+ } | {
103
+ kind: "float_lit";
104
+ value: number;
105
+ line: number;
106
+ col: number;
107
+ } | {
108
+ kind: "string_lit";
109
+ value: string;
110
+ line: number;
111
+ col: number;
112
+ } | {
113
+ kind: "bool_lit";
114
+ value: boolean;
115
+ line: number;
116
+ col: number;
117
+ } | {
118
+ kind: "ident";
119
+ name: string;
120
+ line: number;
121
+ col: number;
122
+ } | {
123
+ kind: "binary";
124
+ op: string;
125
+ left: Expr;
126
+ right: Expr;
127
+ line: number;
128
+ col: number;
129
+ } | {
130
+ kind: "unary";
131
+ op: string;
132
+ operand: Expr;
133
+ line: number;
134
+ col: number;
135
+ } | {
136
+ kind: "await";
137
+ expr: Expr;
138
+ line: number;
139
+ col: number;
140
+ } | {
141
+ kind: "call";
142
+ callee: Expr;
143
+ args: Expr[];
144
+ typeArgs?: TypeAnnotation[];
145
+ line: number;
146
+ col: number;
147
+ } | {
148
+ kind: "index";
149
+ object: Expr;
150
+ index: Expr;
151
+ line: number;
152
+ col: number;
153
+ } | {
154
+ kind: "field_access";
155
+ object: Expr;
156
+ field: string;
157
+ line: number;
158
+ col: number;
159
+ } | {
160
+ kind: "assign";
161
+ target: Expr;
162
+ value: Expr;
163
+ line: number;
164
+ col: number;
165
+ } | {
166
+ kind: "try";
167
+ operand: Expr;
168
+ line: number;
169
+ col: number;
170
+ } | {
171
+ kind: "if_expr";
172
+ condition: Expr;
173
+ then: Expr[];
174
+ else_: Expr[];
175
+ line: number;
176
+ col: number;
177
+ } | {
178
+ kind: "match_expr";
179
+ subject: Expr;
180
+ arms: MatchArm[];
181
+ line: number;
182
+ col: number;
183
+ } | {
184
+ kind: "array_lit";
185
+ elements: Expr[];
186
+ line: number;
187
+ col: number;
188
+ } | {
189
+ kind: "struct_lit";
190
+ structName: string;
191
+ fields: {
192
+ name: string;
193
+ value: Expr;
194
+ }[];
195
+ line: number;
196
+ col: number;
197
+ } | {
198
+ kind: "fn_lit";
199
+ params: FnParam[];
200
+ returnType?: TypeAnnotation;
201
+ body: Expr;
202
+ line: number;
203
+ col: number;
204
+ } | {
205
+ kind: "block_expr";
206
+ stmts: Stmt[];
207
+ expr: Expr | null;
208
+ line: number;
209
+ col: number;
210
+ } | {
211
+ kind: "chan_new";
212
+ element: TypeAnnotation;
213
+ line: number;
214
+ col: number;
215
+ } | {
216
+ kind: "chan_send";
217
+ chan: Expr;
218
+ value: Expr;
219
+ line: number;
220
+ col: number;
221
+ } | {
222
+ kind: "chan_recv";
223
+ chan: Expr;
224
+ line: number;
225
+ col: number;
226
+ };
227
+ export type Param = {
228
+ name: string;
229
+ type: TypeAnnotation;
230
+ };
231
+ export type StructField = {
232
+ name: string;
233
+ type: TypeAnnotation;
234
+ };
235
+ export type TraitMethod = {
236
+ name: string;
237
+ params: Param[];
238
+ returnType: TypeAnnotation;
239
+ line: number;
240
+ col: number;
241
+ };
242
+ export type ImplMethod = {
243
+ name: string;
244
+ params: Param[];
245
+ returnType: TypeAnnotation;
246
+ body: Stmt[];
247
+ line: number;
248
+ col: number;
249
+ };
250
+ export type ImportItem = {
251
+ name: string;
252
+ alias?: string;
253
+ };
254
+ export type ImportDecl = {
255
+ kind: "import_decl";
256
+ source: string;
257
+ items: ImportItem[];
258
+ default?: boolean;
259
+ line: number;
260
+ col: number;
261
+ };
262
+ export type ExportDecl = {
263
+ kind: "export_decl";
264
+ target: Stmt | string[];
265
+ line: number;
266
+ col: number;
267
+ };
268
+ export type Stmt = {
269
+ kind: "var_decl";
270
+ name: string;
271
+ mutable: boolean;
272
+ type: TypeAnnotation | null;
273
+ init: Expr;
274
+ line: number;
275
+ col: number;
276
+ } | {
277
+ kind: "fn_decl";
278
+ name: string;
279
+ isAsync: boolean;
280
+ typeParams: string[];
281
+ params: Param[];
282
+ returnType: TypeAnnotation;
283
+ body: Stmt[];
284
+ line: number;
285
+ col: number;
286
+ } | {
287
+ kind: "struct_decl";
288
+ name: string;
289
+ typeParams: string[];
290
+ fields: StructField[];
291
+ line: number;
292
+ col: number;
293
+ } | {
294
+ kind: "trait_decl";
295
+ name: string;
296
+ typeParams: string[];
297
+ methods: TraitMethod[];
298
+ line: number;
299
+ col: number;
300
+ } | {
301
+ kind: "impl_decl";
302
+ trait: string | null;
303
+ forType: TypeAnnotation;
304
+ typeParams: string[];
305
+ methods: ImplMethod[];
306
+ line: number;
307
+ col: number;
308
+ } | {
309
+ kind: "if_stmt";
310
+ condition: Expr;
311
+ then: Stmt[];
312
+ else_: Stmt[] | null;
313
+ line: number;
314
+ col: number;
315
+ } | {
316
+ kind: "match_stmt";
317
+ subject: Expr;
318
+ arms: MatchArm[];
319
+ line: number;
320
+ col: number;
321
+ } | {
322
+ kind: "for_stmt";
323
+ variable: string;
324
+ iterable: Expr;
325
+ body: Stmt[];
326
+ line: number;
327
+ col: number;
328
+ } | {
329
+ kind: "for_of_stmt";
330
+ variable: string;
331
+ iterable: Expr;
332
+ body: Stmt[];
333
+ line: number;
334
+ col: number;
335
+ } | {
336
+ kind: "while_stmt";
337
+ condition: Expr;
338
+ body: Stmt[];
339
+ line: number;
340
+ col: number;
341
+ } | {
342
+ kind: "break_stmt";
343
+ line: number;
344
+ col: number;
345
+ } | {
346
+ kind: "continue_stmt";
347
+ line: number;
348
+ col: number;
349
+ } | {
350
+ kind: "spawn_stmt";
351
+ body: Stmt[];
352
+ line: number;
353
+ col: number;
354
+ } | {
355
+ kind: "return_stmt";
356
+ value: Expr | null;
357
+ line: number;
358
+ col: number;
359
+ } | {
360
+ kind: "expr_stmt";
361
+ expr: Expr;
362
+ line: number;
363
+ col: number;
364
+ } | ImportDecl | ExportDecl;
365
+ export type Program = {
366
+ stmts: Stmt[];
367
+ };
package/dist/ast.js ADDED
@@ -0,0 +1,4 @@
1
+ "use strict";
2
+ // FreeLang v4 — AST 노드 정의
3
+ Object.defineProperty(exports, "__esModule", { value: true });
4
+ //# sourceMappingURL=ast.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"ast.js","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":";AAAA,0BAA0B"}
@@ -0,0 +1 @@
1
+ export {};
@@ -0,0 +1,88 @@
1
+ "use strict";
2
+ // FreeLang v4 — Async/Await 기본 기능 테스트
3
+ // 최소 3/5 테스트 통과를 목표로 함
4
+ Object.defineProperty(exports, "__esModule", { value: true });
5
+ const lexer_1 = require("./lexer");
6
+ const parser_1 = require("./parser");
7
+ const checker_1 = require("./checker");
8
+ const compiler_1 = require("./compiler");
9
+ describe("Async/Await Basic Implementation", () => {
10
+ function testParse(source) {
11
+ const lexer = new lexer_1.Lexer(source);
12
+ const { tokens, errors: lexErrors } = lexer.tokenize();
13
+ if (lexErrors.length > 0) {
14
+ throw new Error(`Lex: ${lexErrors[0].message}`);
15
+ }
16
+ const parser = new parser_1.Parser(tokens);
17
+ const { program, errors: parseErrors } = parser.parse();
18
+ if (parseErrors.length > 0) {
19
+ throw new Error(`Parse: ${parseErrors[0].message}`);
20
+ }
21
+ return program;
22
+ }
23
+ function testTypeCheck(program) {
24
+ const checker = new checker_1.TypeChecker();
25
+ const errors = checker.check(program);
26
+ return errors;
27
+ }
28
+ function testCompile(program) {
29
+ const compiler = new compiler_1.Compiler();
30
+ const chunk = compiler.compile(program);
31
+ return chunk;
32
+ }
33
+ // Test 1: async fn 선언 파싱
34
+ it("T1: Parse async fn declaration", () => {
35
+ const source = `async fn getValue(): Promise<i32> { return 42 }`;
36
+ const program = testParse(source);
37
+ expect(program.stmts.length).toBe(1);
38
+ const fnStmt = program.stmts[0];
39
+ expect(fnStmt.kind).toBe("fn_decl");
40
+ expect(fnStmt.isAsync).toBe(true);
41
+ expect(fnStmt.name).toBe("getValue");
42
+ });
43
+ // Test 2: Promise<T> 타입 파싱
44
+ it("T2: Parse Promise<T> type annotation", () => {
45
+ const source = `async fn getStr(): Promise<string> { return "ok" }`;
46
+ const program = testParse(source);
47
+ const fnStmt = program.stmts[0];
48
+ expect(fnStmt.returnType.kind).toBe("promise");
49
+ expect(fnStmt.returnType.element.kind).toBe("string");
50
+ });
51
+ // Test 3: await 식 파싱
52
+ it("T3: Parse await expression", () => {
53
+ const source = `async fn caller(): Promise<i32> { let x = await getValue(); return x }`;
54
+ const program = testParse(source);
55
+ const fnStmt = program.stmts[0];
56
+ const bodyHasAwait = fnStmt.body.some((stmt) => {
57
+ if (stmt.kind === "var_decl") {
58
+ return stmt.init.kind === "await";
59
+ }
60
+ return false;
61
+ });
62
+ expect(bodyHasAwait).toBe(true);
63
+ });
64
+ // Test 4: async fn 타입 검사 (Promise 자동 변환)
65
+ it("T4: Type check async fn returns Promise<T>", () => {
66
+ const source = `async fn getValue(): i32 { return 42 }`;
67
+ const program = testParse(source);
68
+ // 타입 체커는 async fn의 반환 타입을 Promise<T>로 자동 변환
69
+ const errors = testTypeCheck(program);
70
+ expect(errors.length).toBe(0);
71
+ });
72
+ // Test 5: await에 Promise 요구
73
+ it("T5: Type check await requires Promise", () => {
74
+ const source = `
75
+ async fn caller(): Promise<i32> {
76
+ let x = await getValue()
77
+ return x
78
+ }
79
+ fn getValue(): i32 { return 42 }
80
+ `;
81
+ const program = testParse(source);
82
+ const errors = testTypeCheck(program);
83
+ // await getValue()에서 getValue()는 i32를 반환하므로 에러
84
+ expect(errors.length).toBeGreaterThan(0);
85
+ expect(errors[0].message).toContain("await");
86
+ });
87
+ });
88
+ //# sourceMappingURL=async-basic.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"async-basic.test.js","sourceRoot":"","sources":["../src/async-basic.test.ts"],"names":[],"mappings":";AAAA,sCAAsC;AACtC,uBAAuB;;AAEvB,mCAAgC;AAChC,qCAAkC;AAClC,uCAAwC;AACxC,yCAAsC;AAEtC,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,SAAS,SAAS,CAAC,MAAc;QAC/B,MAAM,KAAK,GAAG,IAAI,aAAK,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;QACvD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,QAAQ,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAClD,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,eAAM,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QACxD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CAAC,UAAU,WAAW,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACtD,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,SAAS,aAAa,CAAC,OAAY;QACjC,MAAM,OAAO,GAAG,IAAI,qBAAW,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACtC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,SAAS,WAAW,CAAC,OAAY;QAC/B,MAAM,QAAQ,GAAG,IAAI,mBAAQ,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACxC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,yBAAyB;IACzB,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG,iDAAiD,CAAC;QACjE,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACpC,MAAM,CAAE,MAAc,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,CAAE,MAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,2BAA2B;IAC3B,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,oDAAoD,CAAC;QACpE,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAQ,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC/C,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,qBAAqB;IACrB,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,MAAM,GAAG,wEAAwE,CAAC;QACxF,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAQ,CAAC;QACvC,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAS,EAAE,EAAE;YAClD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC7B,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;YACpC,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,yCAAyC;IACzC,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,wCAAwC,CAAC;QACxD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QAClC,4CAA4C;QAC5C,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,4BAA4B;IAC5B,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG;;;;;;KAMd,CAAC;QACF,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;QACtC,+CAA+C;QAC/C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -0,0 +1 @@
1
+ export {};
@@ -0,0 +1,99 @@
1
+ "use strict";
2
+ // FreeLang v4 — Async/Await 기본 테스트
3
+ // Promise 기반 구현
4
+ Object.defineProperty(exports, "__esModule", { value: true });
5
+ const lexer_1 = require("./lexer");
6
+ const parser_1 = require("./parser");
7
+ const checker_1 = require("./checker");
8
+ const compiler_1 = require("./compiler");
9
+ describe("Async/Await Basic Support", () => {
10
+ function compile(source) {
11
+ const lexer = new lexer_1.Lexer(source);
12
+ const { tokens, errors: lexErrors } = lexer.tokenize();
13
+ if (lexErrors.length > 0) {
14
+ throw new Error(`Lex errors: ${lexErrors.map(e => e.message).join(", ")}`);
15
+ }
16
+ const parser = new parser_1.Parser(tokens);
17
+ const { program, errors: parseErrors } = parser.parse();
18
+ if (parseErrors.length > 0) {
19
+ throw new Error(`Parse errors: ${parseErrors.map(e => e.message).join(", ")}`);
20
+ }
21
+ const checker = new checker_1.TypeChecker();
22
+ const checkErrors = checker.check(program);
23
+ if (checkErrors.length > 0) {
24
+ throw new Error(`Type errors: ${checkErrors.map(e => e.message).join(", ")}`);
25
+ }
26
+ const compiler = new compiler_1.Compiler();
27
+ const chunk = compiler.compile(program);
28
+ return chunk;
29
+ }
30
+ // T1: 기본 async 함수 선언
31
+ test("T1: Basic async function declaration", () => {
32
+ const source = `
33
+ async fn simple(): Promise<i32> {
34
+ return 42
35
+ }
36
+ `;
37
+ expect(() => compile(source)).not.toThrow();
38
+ });
39
+ // T2: async 함수에서 값 반환
40
+ test("T2: Async function with return value", () => {
41
+ const source = `
42
+ async fn getValue(): Promise<string> {
43
+ return "hello"
44
+ }
45
+ `;
46
+ expect(() => compile(source)).not.toThrow();
47
+ });
48
+ // T3: await 식 파싱
49
+ test("T3: Await expression parsing", () => {
50
+ const source = `
51
+ async fn delayed(): Promise<i32> {
52
+ let x = await getValue()
53
+ return x
54
+ }
55
+
56
+ fn getValue(): i32 {
57
+ return 42
58
+ }
59
+ `;
60
+ // 이 테스트는 타입 체크 에러가 발생할 것으로 예상
61
+ // getValue는 Promise를 반환하지 않으므로
62
+ const lexer = new lexer_1.Lexer(source);
63
+ const { tokens } = lexer.tokenize();
64
+ const parser = new parser_1.Parser(tokens);
65
+ const { program } = parser.parse();
66
+ const checker = new checker_1.TypeChecker();
67
+ const errors = checker.check(program);
68
+ // await는 Promise 타입을 요구하므로 에러가 나야 함
69
+ expect(errors.length).toBeGreaterThan(0);
70
+ });
71
+ // T4: Promise 타입 호환성
72
+ test("T4: Promise type compatibility", () => {
73
+ const source = `
74
+ async fn asyncFunc(): Promise<i32> {
75
+ return 42
76
+ }
77
+
78
+ fn caller(): Promise<i32> {
79
+ return asyncFunc()
80
+ }
81
+ `;
82
+ expect(() => compile(source)).not.toThrow();
83
+ });
84
+ // T5: await로 Promise 언래핑
85
+ test("T5: Await unwraps Promise type", () => {
86
+ const source = `
87
+ async fn getValue(): Promise<i32> {
88
+ return 42
89
+ }
90
+
91
+ async fn caller(): Promise<i32> {
92
+ let result = await getValue()
93
+ return result
94
+ }
95
+ `;
96
+ expect(() => compile(source)).not.toThrow();
97
+ });
98
+ });
99
+ //# sourceMappingURL=async-jest.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"async-jest.test.js","sourceRoot":"","sources":["../src/async-jest.test.ts"],"names":[],"mappings":";AAAA,mCAAmC;AACnC,gBAAgB;;AAEhB,mCAAgC;AAChC,qCAAkC;AAClC,uCAAwC;AACxC,yCAAsC;AAEtC,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,SAAS,OAAO,CAAC,MAAc;QAC7B,MAAM,KAAK,GAAG,IAAI,aAAK,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;QACvD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,eAAe,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7E,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,eAAM,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QACxD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CAAC,iBAAiB,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjF,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,qBAAW,EAAE,CAAC;QAClC,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC3C,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CAAC,gBAAgB,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChF,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,mBAAQ,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACxC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,qBAAqB;IACrB,IAAI,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAChD,MAAM,MAAM,GAAG;;;;KAId,CAAC;QACF,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,sBAAsB;IACtB,IAAI,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAChD,MAAM,MAAM,GAAG;;;;KAId,CAAC;QACF,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,iBAAiB;IACjB,IAAI,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG;;;;;;;;;KASd,CAAC;QACF,8BAA8B;QAC9B,+BAA+B;QAC/B,MAAM,KAAK,GAAG,IAAI,aAAK,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,IAAI,eAAM,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QAEnC,MAAM,OAAO,GAAG,IAAI,qBAAW,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACtC,oCAAoC;QACpC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,qBAAqB;IACrB,IAAI,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAC1C,MAAM,MAAM,GAAG;;;;;;;;KAQd,CAAC;QACF,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,yBAAyB;IACzB,IAAI,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAC1C,MAAM,MAAM,GAAG;;;;;;;;;KASd,CAAC;QACF,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -0,0 +1 @@
1
+ export {};