From 31bb03737c6adf0d99aee37b5f08e6e3318ef4a0 Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com>
Date: Mon, 11 May 2026 06:05:43 +0200
Subject: [PATCH] Revert "fix(codegen): resolve top-level const refs in ExprVar
 (#73) (#98)"

This reverts commit fb34c66d779284f9de17672bffb9e58b43692523.
---
 lib/codegen.ml | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/lib/codegen.ml b/lib/codegen.ml
index 9e6534a..0863a04 100644
--- a/lib/codegen.ml
+++ b/lib/codegen.ml
@@ -436,13 +436,7 @@ let rec gen_expr (ctx : context) (expr : expr) : (context * instr list) result =
            UnboundVariable even though the parser accepts it. *)
         begin match List.assoc_opt id.name ctx.variant_tags with
           | Some tag -> Ok (ctx, [I32Const (Int32.of_int tag)])
-          | None ->
-            (* Top-level const bindings are stored in func_indices with a
-               negative sentinel: actual global index = -(k+1). *)
-            begin match List.assoc_opt id.name ctx.func_indices with
-              | Some k when k < 0 -> Ok (ctx, [GlobalGet (-(k + 1))])
-              | _ -> Error (UnboundVariable id.name)
-            end
+          | None -> Error (UnboundVariable id.name)
         end
     end