@harmoniclabs/pebble 0.1.0-dev5 → 0.1.0-dev7

package/dist/IR/toUPLC/subRoutines/replaceHoistedWithLetted.js

@@ -1,16 +1,23 @@
 import { IRHoisted } from "../../IRNodes/IRHoisted.js";
 import { IRLetted } from "../../IRNodes/IRLetted.js";
 import { _modifyChildFromTo } from "../_internal/_modifyChildFromTo.js";
-import { findAll } from "../_internal/findAll.js";
+const _hoisted_cache = new Map();
 export function replaceHoistedWithLetted(term) {
-    const allHoisted = findAll(term, node => node instanceof IRHoisted);
-    for (const hoisted of allHoisted) {
-        const parent = hoisted.parent;
-        const letted = new IRLetted(0x0fffffff, // doesn't matter since closed term
-        hoisted.hoisted, { isClosed: true });
-        letted.hash; // precompute
-        // replace hoisted with letted
-        _modifyChildFromTo(parent, hoisted, letted);
-    }
-    // sanifyTree( term );
+    // children first
+    const children = term.children();
+    for (const c of children)
+        replaceHoistedWithLetted(c);
+    // then check if hoisted
+    if (!(term instanceof IRHoisted))
+        return;
+    const parent = term.parent;
+    if (!parent)
+        throw new Error("hoisted node has no parent");
+    const cached = _hoisted_cache.get(term.hash)?.deref();
+    const letted = (cached ??
+        new IRLetted(term.name, term.hoisted, { isClosed: true })).clone();
+    if (!cached)
+        _hoisted_cache.set(term.hash, new WeakRef(letted));
+    // replace hoisted with letted
+    _modifyChildFromTo(parent, term, letted);
 }

package/dist/IR/toUPLC/subRoutines/replaceNatives/nativeToIR.d.ts

@@ -1,3 +1,48 @@
+import { IRHoisted } from "../../../IRNodes/IRHoisted.js";
 import { IRNative } from "../../../IRNodes/IRNative/index.js";
 import { IRTerm } from "../../../IRTerm.js";
+export declare const hoisted_id: IRHoisted;
+export declare const hoisted_not: IRHoisted;
+export declare const hoisted_incr: IRHoisted;
+export declare const hoisted_decr: IRHoisted;
+export declare const hoisted_isZero: IRHoisted;
+export declare const hoisted_isOne: IRHoisted;
+export declare const hoisted_isTwo: IRHoisted;
+export declare const hoisted_isThree: IRHoisted;
+export declare const hoisted_addOne: IRHoisted;
+export declare const hoisted_subOne: IRHoisted;
+export declare const hoisted_isPositive: IRHoisted;
+export declare const hoisted_isNonNegative: IRHoisted;
+export declare const hoisted_matchList: IRHoisted;
+export declare const hoisted_recursiveList: IRHoisted;
+export declare const hoisted_foldr: IRHoisted;
+export declare const hosited_lazyChooseList: IRHoisted;
+export declare const hoisted_isMoreThanOrEqualTo4: IRHoisted;
+export declare const hoisted_sub4: IRHoisted;
+export declare const hoisted_length: IRHoisted;
+export declare const hoisted_dropList: IRHoisted;
+export declare const hoisted_sizeofPositiveInt: IRHoisted;
+export declare const hoisted_findSopOptional: IRHoisted;
+export declare const hoisted_mkFindDataOptional: IRHoisted;
+export declare const hoisted_strictAnd: IRHoisted;
+export declare const hoisted_strictOr: IRHoisted;
+export declare const hoisted_some: IRHoisted;
+export declare const hoisted_every: IRHoisted;
+export declare const hoisted_mkFilter: IRHoisted;
+export declare const hoisted_gtBS: IRHoisted;
+export declare const hoisted_gtEqBS: IRHoisted;
+export declare const hoisted_gtInt: IRHoisted;
+export declare const hoisted_gtEqInt: IRHoisted;
+export declare const hoisted_strToData: IRHoisted;
+export declare const hoisted_pairDataToData: IRHoisted;
+export declare const hoisted_strFromData: IRHoisted;
+export declare const hoisted_pairDataFromData: IRHoisted;
+export declare const hoisted_boolToInt: IRHoisted;
+export declare const hoisted_intToBytesBE: IRHoisted;
+export declare const hoisted_exponentiateInteger: IRHoisted;
 export declare function nativeToIR(native: IRNative): IRTerm;
+export declare const hoisted_mkEqualsList: IRHoisted;
+export declare const hoisted_mkMapList: IRHoisted;
+export declare const hoisted_getCredentialsHash: IRHoisted;
+export declare const hoisted_sortedValueLovelaces: IRHoisted;
+export declare const hoisted_amountOfValue: IRHoisted;