@shd101wyy/yo 0.0.25 → 0.0.26

package/out/types/src/codegen/exprs/downcast.d.ts

@@ -0,0 +1,3 @@
+import type { FnCallExpr } from "../../expr";
+import type { CodeGenContext } from "../utils";
+export declare function generateDowncast(expr: FnCallExpr, indent: string, context: CodeGenContext): string;

package/out/types/src/codegen/exprs/typeid.d.ts

@@ -0,0 +1,3 @@
+import type { FnCallExpr } from "../../expr";
+import type { CodeGenContext } from "../utils";
+export declare function generateTypeId(expr: FnCallExpr, indent: string, context: CodeGenContext): string;

package/out/types/src/codegen/types/dyn.d.ts

@@ -1,4 +1,5 @@
 import type { DynType } from "../../types/definitions";
 import { type CodeGenContext } from "../utils";
+export declare function generateDynForwardDeclarations(context: CodeGenContext): void;
 export declare function generateDynDeclaration(dynType: DynType, cName: string, context: CodeGenContext): void;
 export declare function generateDynBoxTypes(context: CodeGenContext): void;

package/out/types/src/codegen/types/generation.d.ts

@@ -11,4 +11,4 @@ export declare function generateStructDeclaration(structType: StructType, cName:
 export declare function generateTupleDeclaration(tupleType: TupleType, cName: string, context: CodeGenContext): void;
 export declare function generateUnionDeclaration(unionType: UnionType, cName: string, context: CodeGenContext): void;
 export declare function generateEnumDeclaration(enumType: EnumType, cName: string, context: CodeGenContext): void;
-export { generateDynBoxTypes, generateDynDeclaration } from "./dyn";
+export { generateDynBoxTypes, generateDynDeclaration, generateDynForwardDeclarations, } from "./dyn";

package/out/types/src/codegen/utils/index.d.ts

@@ -76,6 +76,7 @@ export interface CodeGenContext {
     currentLoopLabel?: string;
     currentContinueLabel?: string;
     insideMatch?: boolean;
+    typeIdStatics?: Map<string, string>;
 }
 export declare function sanitizeForCIdentifier(str: string, isExternC?: boolean): string;
 export declare function shouldAvoidConst(type: Type): boolean;

package/out/types/src/evaluator/builtins/downcast.d.ts

@@ -0,0 +1,8 @@
+import type { Environment } from "../../env";
+import { type FnCallExpr } from "../../expr";
+import type { EvaluatorContext } from "../context";
+export declare function evaluateDowncast({ expr, env, context, }: {
+    expr: FnCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): FnCallExpr;

package/out/types/src/evaluator/builtins/rc-fns.d.ts

@@ -1,6 +1,11 @@
 import { type Environment } from "../../env";
 import { type Expr, type FnCallExpr } from "../../expr";
+import type { EnumType, Type } from "../../types/definitions";
 import type { EvaluatorContext } from "../context";
+export declare function createOptionType(innerType: Type, env: Environment, context: EvaluatorContext): {
+    optionType: EnumType;
+    env: Environment;
+};
 export declare function evaluateYoDecrRc({ expr, env, context, }: {
     expr: FnCallExpr;
     env: Environment;

package/out/types/src/evaluator/builtins/typeid.d.ts

@@ -0,0 +1,8 @@
+import type { Environment } from "../../env";
+import { type FnCallExpr } from "../../expr";
+import type { EvaluatorContext } from "../context";
+export declare function evaluateTypeId({ expr, env, context, }: {
+    expr: FnCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): FnCallExpr;

package/out/types/src/evaluator/context.d.ts

@@ -42,6 +42,7 @@ export interface EvaluatorContext {
         env: Environment;
     };
     SelfType?: Type;
+    SelfTraitType?: Type;
     ReceiverType?: Type;
     isEvaluatingFunctionType?: boolean;
     loadModule?: (modulePath: string) => {

package/out/types/src/expr.d.ts

@@ -171,6 +171,8 @@ export declare const BuiltinFunctions: {
     typeof: string[];
     sizeof: string[];
     alignof: string[];
+    typeid: string[];
+    downcast: string[];
     consume: string[];
     macro_expand: string[];
     as: string[];

package/out/types/src/types/creators.d.ts

@@ -45,7 +45,7 @@ export declare function createModuleType(env: Environment): ModuleType;
 export declare function createTraitType(env: Environment): TraitType;
 export declare function createEnumType(env: Environment): EnumType;
 export declare function createUnionType(env: Environment): UnionType;
-export declare function createFunctionType({ parameters, forallParameters, implicitParameters, variadicParameter, whereClauseExprs, return_, env, parametersFrame, SelfType, isClosure, }: {
+export declare function createFunctionType({ parameters, forallParameters, implicitParameters, variadicParameter, whereClauseExprs, return_, env, parametersFrame, SelfType, SelfTraitType, isClosure, }: {
     parameters: FunctionParameter[];
     forallParameters: FunctionForallParameter[];
     implicitParameters?: FunctionImplicitParameter[];
@@ -55,6 +55,7 @@ export declare function createFunctionType({ parameters, forallParameters, impli
     env: Environment;
     parametersFrame: Frame;
     SelfType?: Type;
+    SelfTraitType?: Type;
     isClosure?: boolean;
 }): FunctionType;
 export declare function createPtrType(childType: Type): PtrType;

package/out/types/src/types/definitions.d.ts

@@ -229,6 +229,7 @@ export interface FunctionType extends Type {
     env: Environment;
     parametersFrame: Frame;
     SelfType?: Type;
+    SelfTraitType?: Type;
     trait: TraitType;
     isClosure?: boolean;
 }