@shd101wyy/yo 0.1.5 → 0.1.6

package/out/types/src/codegen/codegen-c.d.ts

@@ -1,3 +1,4 @@
+import type { Expr } from "../expr";
 import type { ModuleValue } from "../value";
 export declare class CodeGeneratorC {
     private emitter;
@@ -11,6 +12,7 @@ export declare class CodeGeneratorC {
         debugAsyncAwait?: boolean;
         allocator?: "mimalloc" | "libc";
         isLibrary?: boolean;
+        allModuleLevelInitExprs?: Expr[];
     }): void;
     print(): string;
     getExportedFunctionNames(): Set<string>;

package/out/types/src/codegen/functions/context.d.ts

@@ -107,6 +107,7 @@ export interface FunctionGenerationContext extends CodeGenContext {
     };
     smWhileBodyDrops?: Expr[];
     shortCircuitHandledDropVarNames?: Set<string>;
+    declaredTempVars?: Set<string>;
     effectHandlerParamDrops?: string[];
     effectSmConsumedArgCNames?: Set<string>;
     loopBodyDropsBaselineCount?: number;

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

@@ -4,6 +4,16 @@ import type { FunctionType } from "../../types/definitions";
 import { type CodeGenContext } from "../utils";
 import type { FunctionGenerationContext } from "./context";
 export declare function generateAllFunctions(context: FunctionGenerationContext): void;
+export declare function emitModuleLevelVariableDeclarations(context: FunctionGenerationContext): Array<{
+    cVarName: string;
+    cTypeStr: string;
+    rhs: Expr;
+}>;
+export declare function generateLibraryInitFunction(context: FunctionGenerationContext, moduleLevelVars: Array<{
+    cVarName: string;
+    cTypeStr: string;
+    rhs: Expr;
+}>): void;
 export declare function generateMainWrapper(context: FunctionGenerationContext): void;
 export declare function preRegisterEffectfulFunctions(context: FunctionGenerationContext): void;
 export declare function generateFunction(functionValue: FunctionValue, cFunctionName: string, context: FunctionGenerationContext): void;

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

@@ -82,6 +82,7 @@ export interface CodeGenContext {
     typeIdStatics?: Map<string, string>;
     isLibrary?: boolean;
     needsIntelAsmSyntax?: boolean;
+    moduleLevelInitExprs?: Expr[];
     currentModuleId?: string;
     exportedFunctionLabels?: Map<FuncValueId, string>;
 }

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

@@ -20,6 +20,7 @@ export interface Variable {
     isImplicit?: boolean;
     isFromEffectSpread?: boolean;
     isEffectParam?: boolean;
+    isModuleLevel?: boolean;
 }
 export type WhereClauseConstraints = {
     someType: SomeType;

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

@@ -109,6 +109,7 @@ export declare class BuildRegistry {
     findTest(name: string): BuildTestSuite | undefined;
     findRunStep(name: string): BuildRunStep | undefined;
     findStep(name: string): BuildStep | undefined;
+    private checkDuplicateArtifactName;
     findDependency(name: string): BuildGitDependency | undefined;
     findPathDependency(name: string): BuildPathDependency | undefined;
     findSystemLibrary(name: string): BuildSystemLibrary | undefined;

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

@@ -36,6 +36,7 @@ export interface EvaluatorContext {
         env: Environment;
     };
     isEvaluatingFunctionBodyOrAsyncBlock?: FunctionEvaluationContext | AsyncBlockEvaluationContext | TestBlockEvaluationContext;
+    isInsideImplBlock?: boolean;
     capturedVariables?: Map<string, CapturedVariableInfo>;
     isEvaluatingLoopBody?: {
         kind: "while" | "for";

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

@@ -195,6 +195,7 @@ export declare const BuiltinFunctions: {
     __yo_ptr_set: string[];
     __yo_slice_len: string[];
     __yo_slice_new: string[];
+    __yo_slice_ptr: string[];
     __yo_as: string[];
     __yo_expr_is_atom: string[];
     __yo_expr_is_fn_call: string[];
@@ -565,6 +566,7 @@ export interface ExprToStringConfig {
     indentLevel?: number;
 }
 export declare function exprToString(expr: Expr, config?: ExprToStringConfig): string;
+export declare function consumeCaseBodyTempVar(evaluatedBody: Expr, env: Environment): Environment;
 export declare function attachTempVariableToExpr(expr: Expr, isOwningTheRcValue: boolean, isOwningTheSameRcValueAs?: Variable): void;
 export declare function mergeAndCheckEnvs(env: Environment, bodies: Expr[]): Environment;
 export declare function replaceFuncCallExprWithFuncCallExpr(funcExpr: FnCallExpr, newFuncExpr: FnCallExpr): void;

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

@@ -28,4 +28,5 @@ export declare function isTargetMSVC(target: TargetInfo): boolean;
 export declare function isTargetWasm(target: TargetInfo): boolean;
 export declare function isTargetEmscripten(target: TargetInfo): boolean;
 export declare function isTargetStandaloneWasi(target: TargetInfo): boolean;
+export declare function isTargetMusl(target: TargetInfo): boolean;
 export declare function isTargetPosix(target: TargetInfo): boolean;

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

@@ -41,6 +41,7 @@ export type ModuleValue = {
     tag: ValueTag.Module;
     type: ModuleType;
     fields: (Value | undefined)[];
+    moduleLevelInitExprs?: Expr[];
 };
 export type TraitValue = {
     tag: ValueTag.Trait;
@@ -123,7 +124,7 @@ export declare function createUnknownValue(type: Type, { variableName, recursive
     context: EvaluatorContext;
 }): UnknownValue | TypeValue;
 export declare function createStructValue(type: StructType, fields: Value[]): StructValue;
-export declare function createModuleValue(type: ModuleType, fields: (Value | undefined)[]): ModuleValue;
+export declare function createModuleValue(type: ModuleType, fields: (Value | undefined)[], moduleLevelInitExprs?: Expr[]): ModuleValue;
 export declare function createTraitValue(type: TraitType, fields: (Value | undefined)[]): TraitValue;
 export declare function createTupleValue(type: TupleType, fields: Value[]): TupleValue;
 export declare function createEnumValue(type: EnumType, variantName: string, fields: Value[]): EnumValue;