@elaraai/east 0.0.1-beta.0 → 0.0.1-beta.10

package/dist/src/ast.d.ts

@@ -69,6 +69,14 @@ export type FunctionAST = {
     body: AST;
 };
 /** @internal */
+export type AsyncFunctionAST = {
+    ast_type: "AsyncFunction";
+    type: EastType;
+    location: Location;
+    parameters: VariableAST[];
+    body: AST;
+};
+/** @internal */
 export type CallAST = {
     ast_type: "Call";
     type: EastType;
@@ -77,6 +85,14 @@ export type CallAST = {
     arguments: AST[];
 };
 /** @internal */
+export type CallAsyncAST = {
+    ast_type: "CallAsync";
+    type: EastType;
+    location: Location;
+    function: AST;
+    arguments: AST[];
+};
+/** @internal */
 export type NewRefAST = {
     ast_type: "NewRef";
     type: EastType;
@@ -251,13 +267,8 @@ export type PlatformAST = {
     location: Location;
     name: string;
     arguments: AST[];
+    async: boolean;
 };
 /** @internal */
-export type AST = ErrorAST | TryCatchAST | ValueAST | AsAST | VariableAST | LetAST | AssignAST | FunctionAST | CallAST | NewRefAST | NewArrayAST | NewSetAST | NewDictAST | StructAST | GetFieldAST | VariantAST | BlockAST | IfElseAST | MatchAST | UnwrapRecursiveAST | WrapRecursiveAST | WhileAST | ForArrayAST | ForSetAST | ForDictAST | ReturnAST | ContinueAST | BreakAST | BuiltinAST | PlatformAST;
-/** Get the platform functions used inside an AST node. Useful to obtrain the potential effects performed by a function.
- *
- * @internal */
-export declare function getPlatforms(ast: AST): string[];
-/** @internal */
-export declare function _getPlatforms(ast: AST, platforms: Set<string>): void;
+export type AST = ErrorAST | TryCatchAST | ValueAST | AsAST | VariableAST | LetAST | AssignAST | FunctionAST | AsyncFunctionAST | CallAST | CallAsyncAST | NewRefAST | NewArrayAST | NewSetAST | NewDictAST | StructAST | GetFieldAST | VariantAST | BlockAST | IfElseAST | MatchAST | UnwrapRecursiveAST | WrapRecursiveAST | WhileAST | ForArrayAST | ForSetAST | ForDictAST | ReturnAST | ContinueAST | BreakAST | BuiltinAST | PlatformAST;
 //# sourceMappingURL=ast.d.ts.map

package/dist/src/ast.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/ast.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAY,KAAK,WAAW,EAAE,MAAM,eAAe,CAAC;AAC3D,OAAO,KAAK,EAAE,QAAQ,EAAgB,SAAS,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAQ9C,gBAAgB;AAChB,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,EAAE,SAAS,CAAC;IAChB,QAAQ,EAAE,QAAQ,CAAC;IACnB,OAAO,EAAE,GAAG,CAAC;CACd,CAAA;AAED,gBAAgB;AAChB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,UAAU,CAAC;IACrB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,QAAQ,EAAE,GAAG,CAAC;IACd,UAAU,EAAE,GAAG,CAAC;IAChB,OAAO,EAAE,WAAW,CAAC;IACrB,KAAK,EAAE,WAAW,CAAC;IACnB,YAAY,CAAC,EAAE,GAAG,CAAC;CACpB,CAAA;AAED,gBAAgB;AAChB,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,IAAI,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,UAAU,CAAC;CACtE,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,EAAE,IAAI,CAAC;IACf,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,GAAG,CAAC;CACZ,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,UAAU,CAAC;IACrB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,EAAE,KAAK,CAAC;IAChB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,QAAQ,EAAE,WAAW,CAAC;IACtB,KAAK,EAAE,GAAG,CAAC;CACZ,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,QAAQ,EAAE,WAAW,CAAC;IACtB,KAAK,EAAE,GAAG,CAAC;CACZ,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,UAAU,CAAC;IACrB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,UAAU,EAAE,WAAW,EAAE,CAAC;IAC1B,IAAI,EAAE,GAAG,CAAC;CACX,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,QAAQ,EAAE,GAAG,CAAC;IACd,SAAS,EAAE,GAAG,EAAE,CAAC;CAClB,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,GAAG,CAAC;CACZ,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,UAAU,CAAC;IACrB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,MAAM,EAAE,GAAG,EAAE,CAAC;CACf,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,MAAM,EAAE,GAAG,EAAE,CAAC;CACf,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,EAAE,SAAS,CAAC;IACpB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;CACtB,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CAC7B,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,UAAU,CAAC;IACrB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,GAAG,CAAC;CACb,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,EAAE,SAAS,CAAC;IACpB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,GAAG,CAAC;CACZ,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,UAAU,EAAE,GAAG,EAAE,CAAC;CACnB,CAAA;AAED,gBAAgB;AAChB,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,GAAG,EAAE;QACH,SAAS,EAAE,GAAG,CAAC;QACf,IAAI,EAAE,GAAG,CAAC;KACX,EAAE,CAAC;IACJ,SAAS,EAAE,GAAG,CAAC;CAChB,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,OAAO,EAAE,GAAG,CAAC;IACb,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,QAAQ,EAAE,WAAW,CAAC;QAAC,IAAI,EAAE,GAAG,CAAA;KAAE,CAAC,CAAC;CAC7D,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,GAAG,CAAC;CACZ,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,EAAE,eAAe,CAAC;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,GAAG,CAAC;CACZ,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,EAAE,QAAQ,CAAC;CACpB,CAAA;AAED,gBAAgB;AAChB,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,SAAS,EAAE,GAAG,CAAC;IACf,KAAK,EAAE,KAAK,CAAC;IACb,IAAI,EAAE,GAAG,CAAC;CACX,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,UAAU,CAAC;IACrB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,GAAG,CAAC;IACX,KAAK,EAAE,KAAK,CAAC;IACb,GAAG,EAAE,WAAW,CAAC;IACjB,KAAK,EAAE,WAAW,CAAC;IACnB,IAAI,EAAE,GAAG,CAAC;CACX,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,GAAG,EAAE,GAAG,CAAC;IACT,KAAK,EAAE,KAAK,CAAC;IACb,GAAG,EAAE,WAAW,CAAC;IACjB,IAAI,EAAE,GAAG,CAAC;CACX,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,EAAE,SAAS,CAAC;IACpB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,GAAG,CAAC;IACV,KAAK,EAAE,KAAK,CAAC;IACb,GAAG,EAAE,WAAW,CAAC;IACjB,KAAK,EAAE,WAAW,CAAC;IACnB,IAAI,EAAE,GAAG,CAAC;CACX,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,SAAS,CAAC;IAChB,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,GAAG,CAAC;CACZ,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,UAAU,CAAC;IACrB,IAAI,EAAE,SAAS,CAAC;IAChB,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,KAAK,CAAC;CACd,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,EAAE,SAAS,CAAC;IAChB,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,KAAK,CAAC;CACd,CAAC;AAEF,eAAe;AACf,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,EAAE,SAAS,CAAC;IACpB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,OAAO,EAAE,WAAW,CAAC;IACrB,eAAe,EAAE,QAAQ,EAAE,CAAC;IAC5B,SAAS,EAAE,GAAG,EAAE,CAAC;CAClB,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,UAAU,CAAC;IACrB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,GAAG,EAAE,CAAC;CAClB,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,GAAG,GAAG,QAAQ,GAAG,WAAW,GAAG,QAAQ,GAAG,KAAK,GAAG,WAAW,GAAG,MAAM,GAAG,SAAS,GAAG,WAAW,GAAG,OAAO,GAAG,SAAS,GAAG,WAAW,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,GAAG,WAAW,GAAG,UAAU,GAAG,QAAQ,GAAG,SAAS,GAAG,QAAQ,GAAG,kBAAkB,GAAG,gBAAgB,GAAG,QAAQ,GAAG,WAAW,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,GAAG,WAAW,GAAG,QAAQ,GAAG,UAAU,GAAG,WAAW,CAAC;AAE7Y;;eAEe;AACf,wBAAgB,YAAY,CAAC,GAAG,EAAE,GAAG,GAAG,MAAM,EAAE,CAI/C;AAED,gBAAgB;AAChB,wBAAgB,aAAa,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,QAwH7D"}
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/ast.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAChE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAQ9C,gBAAgB;AAChB,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,EAAE,SAAS,CAAC;IAChB,QAAQ,EAAE,QAAQ,CAAC;IACnB,OAAO,EAAE,GAAG,CAAC;CACd,CAAA;AAED,gBAAgB;AAChB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,UAAU,CAAC;IACrB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,QAAQ,EAAE,GAAG,CAAC;IACd,UAAU,EAAE,GAAG,CAAC;IAChB,OAAO,EAAE,WAAW,CAAC;IACrB,KAAK,EAAE,WAAW,CAAC;IACnB,YAAY,CAAC,EAAE,GAAG,CAAC;CACpB,CAAA;AAED,gBAAgB;AAChB,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,IAAI,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,UAAU,CAAC;CACtE,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,EAAE,IAAI,CAAC;IACf,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,GAAG,CAAC;CACZ,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,UAAU,CAAC;IACrB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,EAAE,KAAK,CAAC;IAChB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,QAAQ,EAAE,WAAW,CAAC;IACtB,KAAK,EAAE,GAAG,CAAC;CACZ,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,QAAQ,EAAE,WAAW,CAAC;IACtB,KAAK,EAAE,GAAG,CAAC;CACZ,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,UAAU,CAAC;IACrB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,UAAU,EAAE,WAAW,EAAE,CAAC;IAC1B,IAAI,EAAE,GAAG,CAAC;CACX,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,EAAE,eAAe,CAAC;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,UAAU,EAAE,WAAW,EAAE,CAAC;IAC1B,IAAI,EAAE,GAAG,CAAC;CACX,CAAC;AAGF,gBAAgB;AAChB,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,QAAQ,EAAE,GAAG,CAAC;IACd,SAAS,EAAE,GAAG,EAAE,CAAC;CAClB,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,EAAE,WAAW,CAAC;IACtB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,QAAQ,EAAE,GAAG,CAAC;IACd,SAAS,EAAE,GAAG,EAAE,CAAC;CAClB,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,GAAG,CAAC;CACZ,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,UAAU,CAAC;IACrB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,MAAM,EAAE,GAAG,EAAE,CAAC;CACf,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,MAAM,EAAE,GAAG,EAAE,CAAC;CACf,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,EAAE,SAAS,CAAC;IACpB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;CACtB,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CAC7B,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,UAAU,CAAC;IACrB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,GAAG,CAAC;CACb,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,EAAE,SAAS,CAAC;IACpB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,GAAG,CAAC;CACZ,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,UAAU,EAAE,GAAG,EAAE,CAAC;CACnB,CAAA;AAED,gBAAgB;AAChB,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,GAAG,EAAE;QACH,SAAS,EAAE,GAAG,CAAC;QACf,IAAI,EAAE,GAAG,CAAC;KACX,EAAE,CAAC;IACJ,SAAS,EAAE,GAAG,CAAC;CAChB,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,OAAO,EAAE,GAAG,CAAC;IACb,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,QAAQ,EAAE,WAAW,CAAC;QAAC,IAAI,EAAE,GAAG,CAAA;KAAE,CAAC,CAAC;CAC7D,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,GAAG,CAAC;CACZ,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,EAAE,eAAe,CAAC;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,GAAG,CAAC;CACZ,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,EAAE,QAAQ,CAAC;CACpB,CAAA;AAED,gBAAgB;AAChB,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,SAAS,EAAE,GAAG,CAAC;IACf,KAAK,EAAE,KAAK,CAAC;IACb,IAAI,EAAE,GAAG,CAAC;CACX,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,UAAU,CAAC;IACrB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,GAAG,CAAC;IACX,KAAK,EAAE,KAAK,CAAC;IACb,GAAG,EAAE,WAAW,CAAC;IACjB,KAAK,EAAE,WAAW,CAAC;IACnB,IAAI,EAAE,GAAG,CAAC;CACX,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,GAAG,EAAE,GAAG,CAAC;IACT,KAAK,EAAE,KAAK,CAAC;IACb,GAAG,EAAE,WAAW,CAAC;IACjB,IAAI,EAAE,GAAG,CAAC;CACX,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,EAAE,SAAS,CAAC;IACpB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,GAAG,CAAC;IACV,KAAK,EAAE,KAAK,CAAC;IACb,GAAG,EAAE,WAAW,CAAC;IACjB,KAAK,EAAE,WAAW,CAAC;IACnB,IAAI,EAAE,GAAG,CAAC;CACX,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,SAAS,CAAC;IAChB,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,GAAG,CAAC;CACZ,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,UAAU,CAAC;IACrB,IAAI,EAAE,SAAS,CAAC;IAChB,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,KAAK,CAAC;CACd,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,EAAE,SAAS,CAAC;IAChB,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,KAAK,CAAC;CACd,CAAC;AAEF,eAAe;AACf,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,EAAE,SAAS,CAAC;IACpB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,OAAO,EAAE,WAAW,CAAC;IACrB,eAAe,EAAE,QAAQ,EAAE,CAAC;IAC5B,SAAS,EAAE,GAAG,EAAE,CAAC;CAClB,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,UAAU,CAAC;IACrB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,GAAG,EAAE,CAAC;IACjB,KAAK,EAAE,OAAO,CAAC;CAChB,CAAC;AAEF,gBAAgB;AAChB,MAAM,MAAM,GAAG,GAAG,QAAQ,GAAG,WAAW,GAAG,QAAQ,GAAG,KAAK,GAAG,WAAW,GAAG,MAAM,GAAG,SAAS,GAAG,WAAW,GAAG,gBAAgB,GAAG,OAAO,GAAG,YAAY,GAAG,SAAS,GAAG,WAAW,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,GAAG,WAAW,GAAG,UAAU,GAAG,QAAQ,GAAG,SAAS,GAAG,QAAQ,GAAG,kBAAkB,GAAG,gBAAgB,GAAG,QAAQ,GAAG,WAAW,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,GAAG,WAAW,GAAG,QAAQ,GAAG,UAAU,GAAG,WAAW,CAAC"}

package/dist/src/ast.js

@@ -2,150 +2,5 @@
  * Copyright (c) 2025 Elara AI Pty Ltd
  * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
  */
-import { Builtins } from "./builtins.js";
-/** Get the platform functions used inside an AST node. Useful to obtrain the potential effects performed by a function.
- *
- * @internal */
-export function getPlatforms(ast) {
-    const platforms = new Set();
-    _getPlatforms(ast, platforms);
-    return [...platforms].sort();
-}
-/** @internal */
-export function _getPlatforms(ast, platforms) {
-    if (ast.ast_type === "Platform") {
-        // The trivial case
-        platforms.add(ast.name);
-    }
-    else if (ast.ast_type === "Call") {
-        // We need to obtain the callee, which may require platforms to evaluate
-        _getPlatforms(ast.function, platforms);
-        // We need to obtain the arguments
-        for (const arg of ast.arguments) {
-            _getPlatforms(arg, platforms);
-        }
-        // Finally, we need to add any platforms the function uses
-        const callee_platforms = ast.function.type.platforms;
-        if (callee_platforms === null) {
-            throw new Error(`Called function has not populated the 'platforms' field`);
-        }
-        else {
-            for (const p of callee_platforms) {
-                platforms.add(p);
-            }
-        }
-    }
-    else if (ast.ast_type === "Builtin") {
-        const builtin_def = Builtins[ast.builtin];
-        if (!builtin_def) {
-            throw new Error(`Unknown builtin ${ast.builtin}`);
-        }
-        if (builtin_def.inputs.length !== ast.arguments.length) {
-            throw new Error(`Builtin ${ast.builtin} expected ${builtin_def.inputs.length} arguments, got ${ast.arguments.length}`);
-        }
-        for (const [i, arg] of ast.arguments.entries()) {
-            // Find the platform functions required to evaluate the argument
-            _getPlatforms(arg, platforms);
-            // Some platform functions are higher-order functions
-            //  - No existing builtin returns a function
-            //  - Any functions they call are direct arguments
-            //  - Such arguments have "Function" type in their Builtin definition
-            const expected_type = builtin_def.inputs[i];
-            if (typeof expected_type === "object" && expected_type.type === "Function") {
-                if (arg.type.type !== "Function") {
-                    throw new Error(`Builtin ${ast.builtin} expected argument ${i} to be a function`);
-                }
-                const func_platforms = arg.type.platforms;
-                if (func_platforms === null) {
-                    throw new Error(`Builtin ${ast.builtin} argument ${i} function has not populated the 'platforms' field`);
-                }
-                else {
-                    for (const p of func_platforms) {
-                        platforms.add(p);
-                    }
-                }
-            }
-        }
-    }
-    else if (ast.ast_type === "Value" || ast.ast_type === "Variable" || ast.ast_type === "Function" || ast.ast_type === "Continue" || ast.ast_type === "Break") {
-        // effect free (Function only collects captured variables here)
-    }
-    else if (ast.ast_type === "As" || ast.ast_type === "UnwrapRecursive" || ast.ast_type === "WrapRecursive" || ast.ast_type === "Let" || ast.ast_type === "Assign" || ast.ast_type === "Return" || ast.ast_type === "NewRef") {
-        _getPlatforms(ast.value, platforms);
-    }
-    else if (ast.ast_type === "Error") {
-        _getPlatforms(ast.message, platforms);
-    }
-    else if (ast.ast_type === "TryCatch") {
-        _getPlatforms(ast.try_body, platforms);
-        _getPlatforms(ast.catch_body, platforms);
-        if (ast.finally_body) {
-            _getPlatforms(ast.finally_body, platforms);
-        }
-    }
-    else if (ast.ast_type === "NewArray") {
-        for (const v of ast.values) {
-            _getPlatforms(v, platforms);
-        }
-    }
-    else if (ast.ast_type === "NewSet") {
-        for (const v of ast.values) {
-            _getPlatforms(v, platforms);
-        }
-    }
-    else if (ast.ast_type === "NewDict") {
-        for (const [k, v] of ast.values) {
-            _getPlatforms(k, platforms);
-            _getPlatforms(v, platforms);
-        }
-    }
-    else if (ast.ast_type === "Struct") {
-        for (const f of Object.values(ast.fields)) {
-            _getPlatforms(f, platforms);
-        }
-    }
-    else if (ast.ast_type === "GetField") {
-        _getPlatforms(ast.struct, platforms);
-    }
-    else if (ast.ast_type === "Variant") {
-        _getPlatforms(ast.value, platforms);
-    }
-    else if (ast.ast_type === "Match") {
-        _getPlatforms(ast.variant, platforms);
-        for (const case_body of Object.values(ast.cases)) {
-            _getPlatforms(case_body.body, platforms);
-        }
-    }
-    else if (ast.ast_type === "Block") {
-        for (const s of ast.statements) {
-            _getPlatforms(s, platforms);
-        }
-    }
-    else if (ast.ast_type === "IfElse") {
-        for (const if_case of ast.ifs) {
-            _getPlatforms(if_case.predicate, platforms);
-            _getPlatforms(if_case.body, platforms);
-        }
-        _getPlatforms(ast.else_body, platforms);
-    }
-    else if (ast.ast_type === "While") {
-        _getPlatforms(ast.predicate, platforms);
-        _getPlatforms(ast.body, platforms);
-    }
-    else if (ast.ast_type === "ForArray") {
-        _getPlatforms(ast.array, platforms);
-        _getPlatforms(ast.body, platforms);
-    }
-    else if (ast.ast_type === "ForSet") {
-        _getPlatforms(ast.set, platforms);
-        _getPlatforms(ast.body, platforms);
-    }
-    else if (ast.ast_type === "ForDict") {
-        _getPlatforms(ast.dict, platforms);
-        _getPlatforms(ast.body, platforms);
-    }
-    else {
-        throw new Error(`Unhandled AST node type in getPlatforms: ${ast.ast_type}`);
-    }
-}
+import {} from "./builtins.js";
 //# sourceMappingURL=ast.js.map

package/dist/src/ast.js.map

@@ -1 +1 @@
-{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../src/ast.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,QAAQ,EAAoB,MAAM,eAAe,CAAC;AAgS3D;;eAEe;AACf,MAAM,UAAU,YAAY,CAAC,GAAQ;IACnC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,aAAa,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IAC9B,OAAO,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC;AAC/B,CAAC;AAED,gBAAgB;AAChB,MAAM,UAAU,aAAa,CAAC,GAAQ,EAAE,SAAsB;IAC5D,IAAI,GAAG,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QAChC,mBAAmB;QACnB,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;SAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;QACnC,wEAAwE;QACxE,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAEvC,kCAAkC;QAClC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YAChC,aAAa,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QAChC,CAAC;QAED,0DAA0D;QAC1D,MAAM,gBAAgB,GAAI,GAAG,CAAC,QAAQ,CAAC,IAAqB,CAAC,SAAS,CAAC;QACvE,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;QAC7E,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,CAAC,IAAI,gBAAgB,EAAE,CAAC;gBACjC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACtC,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,mBAAmB,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;QACpD,CAAC;QAED,IAAI,WAAW,CAAC,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;YACvD,MAAM,IAAI,KAAK,CAAC,WAAW,GAAG,CAAC,OAAO,aAAa,WAAW,CAAC,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;QACzH,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;YAC/C,gEAAgE;YAChE,aAAa,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;YAE9B,qDAAqD;YACrD,4CAA4C;YAC5C,kDAAkD;YAClD,qEAAqE;YAErE,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;YAC7C,IAAI,OAAO,aAAa,KAAK,QAAQ,IAAI,aAAa,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3E,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACjC,MAAM,IAAI,KAAK,CAAC,WAAW,GAAG,CAAC,OAAO,sBAAsB,CAAC,mBAAmB,CAAC,CAAC;gBACpF,CAAC;gBAED,MAAM,cAAc,GAAG,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC;gBAC1C,IAAI,cAAc,KAAK,IAAI,EAAE,CAAC;oBAC5B,MAAM,IAAI,KAAK,CAAC,WAAW,GAAG,CAAC,OAAO,aAAa,CAAC,mDAAmD,CAAC,CAAC;gBAC3G,CAAC;qBAAM,CAAC;oBACN,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;wBAC/B,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBACnB,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,IAAI,GAAG,CAAC,QAAQ,KAAK,UAAU,IAAI,GAAG,CAAC,QAAQ,KAAK,UAAU,IAAI,GAAG,CAAC,QAAQ,KAAK,UAAU,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QAC7J,+DAA+D;IACjE,CAAC;SAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI,IAAI,GAAG,CAAC,QAAQ,KAAK,iBAAiB,IAAI,GAAG,CAAC,QAAQ,KAAK,eAAe,IAAI,GAAG,CAAC,QAAQ,KAAK,KAAK,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC5N,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACtC,CAAC;SAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QACpC,aAAa,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACxC,CAAC;SAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QACvC,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACvC,aAAa,CAAC,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QACzC,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;YACrB,aAAa,CAAC,GAAG,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;SAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QACvC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC3B,aAAa,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;SAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC3B,aAAa,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;SAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACtC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAChC,aAAa,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;YAC5B,aAAa,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;SAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,aAAa,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;SAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QACvC,aAAa,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACvC,CAAC;SAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACtC,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACtC,CAAC;SAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QACpC,aAAa,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACtC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,aAAa,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;SAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YAC/B,aAAa,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;SAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACrC,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC;YAC9B,aAAa,CAAC,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;YAC5C,aAAa,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACzC,CAAC;QACD,aAAa,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC;SAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QACpC,aAAa,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QACxC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACrC,CAAC;SAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QACvC,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACpC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACrC,CAAC;SAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACrC,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QAClC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACrC,CAAC;SAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACtC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACnC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACrC,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,4CAA6C,GAA2B,CAAC,QAAQ,EAAE,CAAC,CAAC;IACvG,CAAC;AACH,CAAC"}
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../src/ast.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAoB,MAAM,eAAe,CAAC"}

package/dist/src/ast_to_ir.d.ts

@@ -4,7 +4,13 @@
  */
 import type { AST, Label, VariableAST } from "./ast.js";
 import { type IR, type IRLabel, type VariableIR } from "./ir.js";
+import { type Location } from "./location.js";
 import { type EastType } from "./types.js";
+/** @internal An exception throw for the purpose of early loop continue */
+export declare class OutOfScopeException extends Error {
+    definedLocation: Location;
+    constructor(definedLocation: Location);
+}
 type Ctx = {
     local_ctx: Map<VariableAST, VariableIR>;
     parent_ctx: Map<VariableAST, VariableIR>;
@@ -15,6 +21,7 @@ type Ctx = {
     n_loops: number;
     inputs: EastType[];
     output: EastType;
+    async: boolean;
 };
 /** Perform scope resolution and type checking on `AST`, produce `IR` ready for serialization, compilation or evaluation.
 *

package/dist/src/ast_to_ir.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ast_to_ir.d.ts","sourceRoot":"","sources":["../../src/ast_to_ir.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AACxD,OAAO,EAAsB,KAAK,EAAE,EAAE,KAAK,OAAO,EAAsB,KAAK,UAAU,EAAE,MAAM,SAAS,CAAC;AAGzG,OAAO,EAAuB,KAAK,QAAQ,EAAmH,MAAM,YAAY,CAAC;AAIjL,KAAK,GAAG,GAAG;IACT,SAAS,EAAE,GAAG,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACxC,UAAU,EAAE,GAAG,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACzC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAC1B,QAAQ,EAAE,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC9B,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnB,MAAM,EAAE,QAAQ,CAAC;CAClB,CAAA;AAYD;;cAEc;AACd,wBAAgB,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,GAAE,GAAqJ,GAAG,EAAE,CAo2BlM"}
+{"version":3,"file":"ast_to_ir.d.ts","sourceRoot":"","sources":["../../src/ast_to_ir.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AACxD,OAAO,EAAsB,KAAK,EAAE,EAAE,KAAK,OAAO,EAAsB,KAAK,UAAU,EAAE,MAAM,SAAS,CAAC;AACzG,OAAO,EAAiB,KAAK,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE7D,OAAO,EAAuB,KAAK,QAAQ,EAAmH,MAAM,YAAY,CAAC;AAKjL,0EAA0E;AAC1E,qBAAa,mBAAoB,SAAQ,KAAK;IACzB,eAAe,EAAE,QAAQ;gBAAzB,eAAe,EAAE,QAAQ;CAG7C;AAED,KAAK,GAAG,GAAG;IACT,SAAS,EAAE,GAAG,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACxC,UAAU,EAAE,GAAG,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACzC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAC1B,QAAQ,EAAE,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC9B,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnB,MAAM,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,OAAO,CAAC;CAChB,CAAA;AAYD;;cAEc;AACd,wBAAgB,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,GAAE,GAAmK,GAAG,EAAE,CAs6BhN"}

package/dist/src/ast_to_ir.js

@@ -4,6 +4,14 @@ import { toEastTypeValue } from "./type_of_type.js";
 import { ArrayType, DictType, FunctionType, isSubtype, isTypeEqual, NeverType, NullType, printType, RefType, SetType, StructType, VariantType } from "./types.js";
 import { variant } from "./containers/variant.js";
 import { applyTypeParameters, Builtins } from "./builtins.js";
+/** @internal An exception throw for the purpose of early loop continue */
+export class OutOfScopeException extends Error {
+    definedLocation;
+    constructor(definedLocation) {
+        super(`Variable defined at ${printLocation(definedLocation)} is out of scope here`);
+        this.definedLocation = definedLocation;
+    }
+}
 // TODO we should probably redo type checking exhaustively here?
 function toLocationValue(location) {
     return {
@@ -15,7 +23,7 @@ function toLocationValue(location) {
 /** Perform scope resolution and type checking on `AST`, produce `IR` ready for serialization, compilation or evaluation.
 *
 * @internal */
-export function ast_to_ir(ast, ctx = { local_ctx: new Map(), parent_ctx: new Map(), captures: new Set(), loop_ctx: new Map(), n_vars: 0, n_loops: 0, inputs: [], output: NeverType }) {
+export function ast_to_ir(ast, ctx = { local_ctx: new Map(), parent_ctx: new Map(), captures: new Set(), loop_ctx: new Map(), n_vars: 0, n_loops: 0, inputs: [], output: NeverType, async: false }) {
     try {
         if (ast.ast_type === "Variable") {
             if (ctx.local_ctx.has(ast)) {
@@ -29,7 +37,7 @@ export function ast_to_ir(ast, ctx = { local_ctx: new Map(), parent_ctx: new Map
                     return ir;
                 }
                 else {
-                    throw new Error(`Variable defined at ${printLocation(ast.location)} not in scope`);
+                    throw new OutOfScopeException(ast.location);
                 }
             }
         }
@@ -131,14 +139,6 @@ export function ast_to_ir(ast, ctx = { local_ctx: new Map(), parent_ctx: new Map
                 arguments: ast.arguments.map((arg, i) => {
                     let arg_ir = ast_to_ir(arg, ctx);
                     const expectedType = applyTypeParameters(builtin_def.inputs[i], type_map, [], []);
-                    // Special handling of FunctionType
-                    if (expectedType.type === "Function") {
-                        if (arg.type.type !== "Function") {
-                            throw new Error(`Builtin ${builtin_name} with type parameters [${ast.type_parameters.map(tp => printType(tp)).join(", ")}] argument ${i} of type ${printType(arg.type)} is not compatible with expected type ${printType(expectedType)} at ${printLocation(ast.location)}`);
-                        }
-                        // Take the function argument's actual platform functions and populate here as a form of specialization
-                        expectedType.platforms = arg.type.platforms;
-                    }
                     // Now check type compatibility
                     if (arg.type.type !== "Never" && !isTypeEqual(arg.type, expectedType)) {
                         if (!isSubtype(arg.type, expectedType)) {
@@ -155,11 +155,15 @@ export function ast_to_ir(ast, ctx = { local_ctx: new Map(), parent_ctx: new Map
             });
         }
         else if (ast.ast_type === "Platform") {
+            if (ctx.async === false && ast.async === true) {
+                throw new Error(`Async platform call not allowed outside async function at ${printLocation(ast.location)}`);
+            }
             return variant("Platform", {
                 type: toEastTypeValue(ast.type),
                 location: toLocationValue(ast.location),
                 name: ast.name,
                 arguments: ast.arguments.map(ast => ast_to_ir(ast, ctx)), // type equality handled at Expr/AST level
+                async: ast.async,
             });
         }
         else if (ast.ast_type === "Struct") {
@@ -235,7 +239,7 @@ export function ast_to_ir(ast, ctx = { local_ctx: new Map(), parent_ctx: new Map
             const local_ctx = new Map(parameters.map((parameter, i) => [ast.parameters[i], parameter]));
             const parent_ctx = new Map([...ctx.local_ctx, ...ctx.parent_ctx]);
             const captures = new Set();
-            const ctx2 = { local_ctx, parent_ctx, captures, loop_ctx: new Map(), n_vars: ctx.n_vars, n_loops: ctx.n_loops, inputs: ast.type.inputs, output: ast.type.output };
+            const ctx2 = { local_ctx, parent_ctx, captures, loop_ctx: new Map(), n_vars: ctx.n_vars, n_loops: ctx.n_loops, inputs: ast.type.inputs, output: ast.type.output, async: false };
             const body = ast_to_ir(ast.body, ctx2);
             ctx.n_vars = ctx2.n_vars;
             ctx.n_loops = ctx2.n_loops;
@@ -247,8 +251,36 @@ export function ast_to_ir(ast, ctx = { local_ctx: new Map(), parent_ctx: new Map
                 body,
             });
         }
+        else if (ast.ast_type === "AsyncFunction") {
+            const parameters = ast.parameters.map(parameter => {
+                const param = variant("Variable", {
+                    type: toEastTypeValue(parameter.type),
+                    name: `_${ctx.n_vars}`,
+                    location: toLocationValue(parameter.location),
+                    mutable: parameter.mutable, // false...
+                    captured: false,
+                });
+                ctx.n_vars += 1;
+                return param;
+            });
+            const local_ctx = new Map(parameters.map((parameter, i) => [ast.parameters[i], parameter]));
+            const parent_ctx = new Map([...ctx.local_ctx, ...ctx.parent_ctx]);
+            const captures = new Set();
+            const ctx2 = { local_ctx, parent_ctx, captures, loop_ctx: new Map(), n_vars: ctx.n_vars, n_loops: ctx.n_loops, inputs: ast.type.inputs, output: ast.type.output, async: true };
+            const body = ast_to_ir(ast.body, ctx2);
+            ctx.n_vars = ctx2.n_vars;
+            ctx.n_loops = ctx2.n_loops;
+            return variant("AsyncFunction", {
+                type: toEastTypeValue(ast.type),
+                location: toLocationValue(ast.location),
+                parameters,
+                captures: [...captures],
+                body,
+            });
+        }
         else if (ast.ast_type === "Call") {
             // TODO - type equality could have been handled at Expr/AST level instead
+            // TODO - what about widening the result with As?
             return variant("Call", {
                 type: toEastTypeValue(ast.type),
                 location: toLocationValue(ast.location),
@@ -270,6 +302,33 @@ export function ast_to_ir(ast, ctx = { local_ctx: new Map(), parent_ctx: new Map
                 }),
             });
         }
+        else if (ast.ast_type === "CallAsync") {
+            if (ctx.async === false) {
+                throw new Error(`Async function call not allowed outside async function at ${printLocation(ast.location)}`);
+            }
+            // TODO - type equality could have been handled at Expr/AST level instead
+            // TODO - what about widening the result with As?
+            return variant("CallAsync", {
+                type: toEastTypeValue(ast.type),
+                location: toLocationValue(ast.location),
+                function: ast_to_ir(ast.function, ctx),
+                arguments: ast.arguments.map((argument, i) => {
+                    let arg = ast_to_ir(argument, ctx);
+                    const expectedType = ast.function.type.inputs[i];
+                    if (!isTypeEqual(argument.type, expectedType)) {
+                        if (!isSubtype(argument.type, expectedType)) {
+                            throw new Error(`Argument ${i} of type ${printType(argument.type)} is not compatible with expected type ${printType(expectedType)} at ${printLocation(ast.location)}`);
+                        }
+                        arg = variant("As", {
+                            type: toEastTypeValue(expectedType),
+                            value: arg,
+                            location: toLocationValue(ast.location),
+                        });
+                    }
+                    return arg;
+                }),
+            });
+        }
         else if (ast.ast_type === "NewRef") {
             const valueType = ast.type.value;
             let value = ast_to_ir(ast.value, ctx);
@@ -377,6 +436,7 @@ export function ast_to_ir(ast, ctx = { local_ctx: new Map(), parent_ctx: new Map
                     n_loops: ctx.n_loops,
                     inputs: ctx.inputs,
                     output: ctx.output,
+                    async: ctx.async,
                 };
                 let branch_body = ast_to_ir(branch.body, ctx_branch);
                 ctx.n_vars = ctx_branch.n_vars;
@@ -402,6 +462,7 @@ export function ast_to_ir(ast, ctx = { local_ctx: new Map(), parent_ctx: new Map
                 n_loops: ctx.n_loops,
                 inputs: ctx.inputs,
                 output: ctx.output,
+                async: ctx.async,
             };
             let else_body = ast_to_ir(ast.else_body, ctx_else);
             ctx.n_vars = ctx_else.n_vars;
@@ -440,6 +501,7 @@ export function ast_to_ir(ast, ctx = { local_ctx: new Map(), parent_ctx: new Map
                 n_loops: ctx.n_loops,
                 inputs: ctx.inputs,
                 output: ctx.output,
+                async: ctx.async,
             };
             const try_body = ast_to_ir(ast.try_body, ctx_try);
             ctx.n_vars = ctx_try.n_vars;
@@ -470,6 +532,7 @@ export function ast_to_ir(ast, ctx = { local_ctx: new Map(), parent_ctx: new Map
                 n_loops: ctx.n_loops,
                 inputs: ctx.inputs,
                 output: ctx.output,
+                async: ctx.async,
             };
             const catch_body = ast_to_ir(ast.catch_body, ctx_catch);
             ctx.n_vars = ctx_catch.n_vars;
@@ -486,6 +549,7 @@ export function ast_to_ir(ast, ctx = { local_ctx: new Map(), parent_ctx: new Map
                     n_loops: ctx.n_loops,
                     inputs: ctx.inputs,
                     output: ctx.output,
+                    async: ctx.async,
                 };
                 finally_body = ast_to_ir(ast.finally_body, ctx_finally);
                 ctx.n_vars = ctx_finally.n_vars;
@@ -567,6 +631,7 @@ export function ast_to_ir(ast, ctx = { local_ctx: new Map(), parent_ctx: new Map
                 n_loops: ctx.n_loops,
                 inputs: ctx.inputs,
                 output: ctx.output,
+                async: ctx.async,
             };
             const body = ast_to_ir(ast.body, ctx2);
             ctx.n_vars = ctx2.n_vars;
@@ -611,6 +676,7 @@ export function ast_to_ir(ast, ctx = { local_ctx: new Map(), parent_ctx: new Map
                 n_loops: ctx.n_loops,
                 inputs: ctx.inputs,
                 output: ctx.output,
+                async: ctx.async,
             };
             const body = ast_to_ir(ast.body, ctx2);
             ctx.n_vars = ctx2.n_vars;
@@ -649,6 +715,7 @@ export function ast_to_ir(ast, ctx = { local_ctx: new Map(), parent_ctx: new Map
                 n_loops: ctx.n_loops,
                 inputs: ctx.inputs,
                 output: ctx.output,
+                async: ctx.async,
             };
             const body = ast_to_ir(ast.body, ctx2);
             ctx.n_vars = ctx2.n_vars;
@@ -694,6 +761,7 @@ export function ast_to_ir(ast, ctx = { local_ctx: new Map(), parent_ctx: new Map
                 n_loops: ctx.n_loops,
                 inputs: ctx.inputs,
                 output: ctx.output,
+                async: ctx.async,
             };
             const body = ast_to_ir(ast.body, ctx2);
             ctx.n_vars = ctx2.n_vars;
@@ -729,6 +797,7 @@ export function ast_to_ir(ast, ctx = { local_ctx: new Map(), parent_ctx: new Map
                     n_loops: ctx.n_loops,
                     inputs: ctx.inputs,
                     output: ctx.output,
+                    async: ctx.async,
                 };
                 let body = ast_to_ir(v.body, ctx2);
                 ctx.n_vars = ctx2.n_vars;