Add in proof code

ejMina226 · ejMina226 · commit aa7e887ec0e1 · 2024-12-16T12:57:57.000Z
diff --git a/packages/module/src/method/MethodParameterEncoder.ts b/packages/module/src/method/MethodParameterEncoder.ts
@@ -92,7 +92,7 @@ export function checkArgsProvable(
 
   const indizes = paramtypes
     .map((type, index) => {
-      if (isFlexibleProvablePure(type)) {
+      if (isProofBaseType(type) || isFlexibleProvablePure(type)) {
         return undefined;
       }
       return `${index}`;

Original file line number	Diff line number	Diff line change
`@@ -92,7 +92,7 @@ export function checkArgsProvable(`
`92`	`92`
`93`	`93`	`const indizes = paramtypes`
`94`	`94`	`.map((type, index) => {`
`95`		`- if (isFlexibleProvablePure(type)) {`
	`95`	`+ if (isProofBaseType(type) \|\| isFlexibleProvablePure(type)) {`
`96`	`96`	`return undefined;`
`97`	`97`	`}`
`98`	`98`	return `${index}`;