@harmoniclabs/pebble 0.3.3 → 0.3.4

package/dist/IR/toUPLC/ctx/ToUplcCtx.js

@@ -32,8 +32,30 @@ export class ToUplcCtx {
         return ctx._parentDbn + idx + 1;
     }
     getVarAccessDbn(sym) {
-        const declDbn = this.getVarDeclDbn(sym);
-        return this.dbn - declDbn;
+        // Resolve the de Bruijn index LEXICALLY, against this access's own
+        // scope chain — i.e. the number of binders between the access and the
+        // NEAREST (innermost) enclosing binder of `sym`.
+        //
+        // The previous implementation looked `sym` up in a single tree-wide
+        // `ctxMap` (last writer wins). That is incorrect whenever the same
+        // binder symbol appears in sibling scopes — which happens routinely
+        // because cloned IR reuses its binder symbols (e.g. the shared
+        // `const { tx } = context` destructuring duplicated across a
+        // contract's purpose-match cases). An access in one branch would then
+        // resolve against another branch's binder, yielding a wrong and
+        // sometimes NEGATIVE index ("invalid deBruijn index").
+        let offset = 0;
+        let ctx = this;
+        while (ctx) {
+            const vars = ctx._variables;
+            for (let i = vars.length - 1; i >= 0; i--) {
+                if (vars[i] === sym)
+                    return offset + (vars.length - 1 - i);
+            }
+            offset += vars.length;
+            ctx = ctx.parent;
+        }
+        throw new Error("Variable not found in scope chain: " + String(sym.description));
     }
     toJson() {
         let obj = {};

package/dist/version.generated.d.ts

@@ -1 +1 @@
-export declare const COMPILER_VERSION = "0.3.3";
+export declare const COMPILER_VERSION = "0.3.4";

package/dist/version.generated.js

@@ -1,2 +1,2 @@
 // This file is auto-generated by scripts/genVersion.js. Do not edit.
-export const COMPILER_VERSION = "0.3.3";
+export const COMPILER_VERSION = "0.3.4";

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@harmoniclabs/pebble",
-  "version": "0.3.3",
+  "version": "0.3.4",
   "description": "A simple, yet rock solid, functional language with an imperative bias, targeting UPLC",
   "main": "./dist/index.js",
   "types": "./dist/index.d.ts",