@shd101wyy/yo 0.1.31 → 0.1.33

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

@@ -16,6 +16,7 @@ export interface FunctionGenerationContext extends CodeGenContext {
         cInclude?: string;
     }>;
     currentFunctionName: string;
+    unwindValueCTypes?: Set<string>;
     currentFunctionType?: FunctionType;
     currentClosureCaptures?: string[];
     currentClosureCaptureFrameLevel?: number;

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

@@ -0,0 +1,35 @@
+import type { Environment } from "../../env";
+import { type Expr, type FnCallExpr } from "../../expr";
+import type { FunctionType } from "../../types/definitions";
+import type { EvaluatorContext } from "../context";
+export declare function evaluateRequires(args: {
+    expr: FnCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): FnCallExpr;
+export declare function evaluateEnsures(args: {
+    expr: FnCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): FnCallExpr;
+export declare function evaluateInvariant(args: {
+    expr: FnCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): FnCallExpr;
+export declare function evaluateGhost(args: {
+    expr: FnCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): FnCallExpr;
+export declare function evaluateGhostFn({ expr, env, context, }: {
+    expr: FnCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): FnCallExpr;
+export declare function evaluateOld({ expr, env, context, }: {
+    expr: FnCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): FnCallExpr;
+export declare function wrapFunctionBodyWithContracts(body: Expr, fnType: FunctionType): Expr;

package/out/types/src/evaluator/memory-safety.d.ts

@@ -1,4 +1,4 @@
-export type PragmaKind = "AllowUnsafe" | "SkipPrelude" | "SkipWasm" | "SkipWasm32Emscripten" | "SkipWasm32Wasi";
+export type PragmaKind = "AllowUnsafe" | "SkipPrelude" | "SkipWasm" | "SkipWasm32Emscripten" | "SkipWasm32Wasi" | "Verify" | "VerifyOrAssert" | "NoContracts";
 export declare function registerFilePragma(modulePath: string, kind: PragmaKind): void;
 export declare function fileHasPragma(modulePath: string | undefined, kind: PragmaKind): boolean;
 export declare function _clearPragmaRegistry(): void;

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

@@ -3,4 +3,5 @@ export declare function isFlowableExpr(expr: Expr, options?: {
     allowSameFrameLocal?: boolean;
     allowParameterSource?: boolean;
     allowComptimeSource?: boolean;
+    maxLocalFrameLevel?: number;
 }): boolean;

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

@@ -34,6 +34,8 @@ export declare function evaluateFunctionParameters({ parameterExprs, env, contex
     forallParameters: FunctionParameter[];
     variadicParameter?: FunctionParameter;
     whereClauseExprs?: Expr[];
+    requiresExprs?: Expr[];
+    ensuresExprs?: Expr[];
     env: Environment;
 };
 export declare function evaluateFunctionType({ expr, env, context, }: {

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

@@ -602,6 +602,12 @@ export declare const BuiltinFunctions: {
     __yo_build_doc: string[];
     asm: string[];
     global_asm: string[];
+    requires: string[];
+    ensures: string[];
+    invariant: string[];
+    ghost: string[];
+    ghost_fn: string[];
+    old: string[];
 };
 export declare function exprIsInfixOperatorFunctionCall(expr: Expr): boolean;
 export interface ExprToStringConfig {

package/out/types/src/tests/contracts-comptime-violation.test.d.ts

@@ -0,0 +1 @@
+export {};

package/out/types/src/tests/contracts-runtime-violation.test.d.ts

@@ -0,0 +1 @@
+export {};

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

@@ -45,11 +45,13 @@ export declare function createSourceNamespaceType(env: Environment): SourceNames
 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, variadicParameter, whereClauseExprs, return_, env, parametersFrame, SelfType, SelfTraitType, isClosure, isControl, }: {
+export declare function createFunctionType({ parameters, forallParameters, variadicParameter, whereClauseExprs, requiresExprs, ensuresExprs, return_, env, parametersFrame, SelfType, SelfTraitType, isClosure, isControl, }: {
     parameters: FunctionParameter[];
     forallParameters: FunctionForallParameter[];
     variadicParameter: FunctionParameter | undefined;
     whereClauseExprs?: Expr[];
+    requiresExprs?: Expr[];
+    ensuresExprs?: Expr[];
     return_: FunctionReturn;
     env: Environment;
     parametersFrame: Frame;

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

@@ -222,6 +222,8 @@ export interface FunctionType extends Type {
     forallParameters: FunctionForallParameter[];
     variadicParameter?: FunctionParameter;
     whereClauseExprs?: Expr[];
+    requiresExprs?: Expr[];
+    ensuresExprs?: Expr[];
     return: FunctionReturn;
     env: Environment;
     parametersFrame: Frame;