@cryptoeconomicslab/ovm-transpiler
Advanced tools
Comparing version 0.4.1-alpha.20 to 0.4.1
@@ -0,5 +1,6 @@ | ||
import { ArgDef } from '@cryptoeconomicslab/ovm-parser'; | ||
export interface CompiledPredicate { | ||
type: 'CompiledPredicate'; | ||
name: string; | ||
inputDefs: string[]; | ||
inputDefs: ArgDef[]; | ||
contracts: IntermediateCompiledPredicate[]; | ||
@@ -6,0 +7,0 @@ constants?: ConstantVariable[]; |
@@ -15,3 +15,3 @@ "use strict"; | ||
} | ||
const newContracts = traverseLogicalConnnective(p.body, p.inputDefs, name); | ||
const newContracts = traverseLogicalConnnective(p.body, p.inputDefs.map(def => def.name), name); | ||
const constants = getConstants(newContracts); | ||
@@ -180,3 +180,3 @@ const result = { | ||
type: 'NormalInput', | ||
inputIndex: inputDefs.indexOf(parentAndChildren.parent), | ||
inputIndex, | ||
children: parentAndChildren.children | ||
@@ -206,3 +206,3 @@ }; | ||
type: 'NormalInput', | ||
inputIndex: inputDefs.indexOf(name), | ||
inputIndex, | ||
children: [] | ||
@@ -209,0 +209,0 @@ }; |
@@ -1,2 +0,2 @@ | ||
import { PropertyDef, PropertyNode } from '@cryptoeconomicslab/ovm-parser'; | ||
import { ArgDef, PropertyDef, PropertyNode } from '@cryptoeconomicslab/ovm-parser'; | ||
interface QuantifierPreset { | ||
@@ -10,3 +10,3 @@ name: string; | ||
export declare function isHint(s: string): boolean; | ||
export declare const replaceInputs: (targetNode: PropertyNode, callingInputs: string[], inputDefs: string[], constants?: { | ||
export declare const replaceInputs: (targetNode: PropertyNode, callingInputs: string[], inputDefs: ArgDef[], constants?: { | ||
[key: string]: string; | ||
@@ -13,0 +13,0 @@ }) => PropertyNode; |
@@ -11,5 +11,5 @@ "use strict"; | ||
const substitutions = constants; | ||
inputDefs.slice(1).forEach((inputName, index) => { | ||
if (typeof substitutions[inputName] !== 'string') | ||
substitutions[inputName] = '${' + callingInputs[index] + '}'; | ||
inputDefs.slice(1).forEach((inputDef, index) => { | ||
if (typeof substitutions[inputDef.name] !== 'string') | ||
substitutions[inputDef.name] = '${' + callingInputs[index] + '}'; | ||
}); | ||
@@ -28,3 +28,3 @@ return substitutions; | ||
if (typeof i == 'string') { | ||
const index = inputDefs.indexOf(i); | ||
const index = inputDefs.map(def => def.name).indexOf(i); | ||
if (index >= 0) { | ||
@@ -58,4 +58,4 @@ return callingInputs[index]; | ||
const substitutions = constants; | ||
propertyDefinition.inputDefs.slice(1).forEach((inputName, index) => { | ||
substitutions[inputName] = '${' + callingInputs[index] + '}'; | ||
propertyDefinition.inputDefs.slice(1).forEach((inputDef, index) => { | ||
substitutions[inputDef.name] = '${' + callingInputs[index] + '}'; | ||
}); | ||
@@ -62,0 +62,0 @@ return substitutions; |
{ | ||
"name": "@cryptoeconomicslab/ovm-transpiler", | ||
"version": "0.4.1-alpha.20+f2c5cfb", | ||
"version": "0.4.1", | ||
"description": "OVM transpiler", | ||
@@ -32,9 +32,9 @@ "author": { | ||
"dependencies": { | ||
"@cryptoeconomicslab/coder": "^0.4.0", | ||
"@cryptoeconomicslab/context": "^0.4.0", | ||
"@cryptoeconomicslab/ovm-parser": "^0.4.0", | ||
"@cryptoeconomicslab/coder": "^0.4.1", | ||
"@cryptoeconomicslab/context": "^0.4.1", | ||
"@cryptoeconomicslab/ovm-parser": "^0.4.1", | ||
"tslib": "^1.11.1" | ||
}, | ||
"devDependencies": { | ||
"@cryptoeconomicslab/primitives": "^0.4.0" | ||
"@cryptoeconomicslab/primitives": "^0.4.1" | ||
}, | ||
@@ -44,3 +44,3 @@ "peerDependencies": { | ||
}, | ||
"gitHead": "f2c5cfb8fc075aa7c86444f6bfa2160450d112ce" | ||
"gitHead": "eaf8a8a1daf01d022b1ac36461f8ffd72d737f83" | ||
} |
Sorry, the diff of this file is not supported yet
Sorry, the diff of this file is not supported yet
Sorry, the diff of this file is not supported yet
Manifest confusion
Supply chain riskThis package has inconsistent metadata. This could be malicious or caused by an error when publishing the package.
Found 1 instance in 1 package
60559
746
0