up

Author: xieyuheng

src/lang/equal/Ctx.ts

@@ -9,12 +9,21 @@ export type Blaze = {
 export type Ctx = {
   boundNames: Set<string>
   trail: Array<Blaze>
+  depth: number
 }
 
 export function emptyCtx(): Ctx {
   return {
     boundNames: new Set(),
     trail: new Array(),
+    depth: 0,
+  }
+}
+
+export function ctxDepthAdd1(ctx: Ctx): Ctx {
+  return {
+    ...ctx,
+    depth: ctx.depth + 1,
   }
 }
 
@@ -26,7 +35,6 @@ export function ctxBindName(ctx: Ctx, name: string): Ctx {
 }
 
 export function ctxBlazeTrail(ctx: Ctx, lhs: Value, rhs: Value): Ctx {
-  // console.log("[ctxBlazeTrail]", formatValue(lhs), formatValue(rhs))
   return {
     ...ctx,
     trail: [...ctx.trail, { lhs, rhs }],

src/lang/equal/equalInCtx.ts

@@ -1,5 +1,6 @@
 import { freshen } from "../../utils/name/freshen.ts"
 import { applyWithDelay } from "../evaluate/index.ts"
+import { formatValue } from "../format/index.ts"
 import { same } from "../same/index.ts"
 import * as Neutrals from "../value/index.ts"
 import * as Values from "../value/index.ts"
@@ -8,10 +9,20 @@ import {
   ctxBindName,
   ctxBlazeOccurred,
   ctxBlazeTrail,
+  ctxDepthAdd1,
   type Ctx,
 } from "./Ctx.ts"
 
+const debug = false
+
 export function equalInCtx(ctx: Ctx, left: Value, right: Value): boolean {
+  ctx = ctxDepthAdd1(ctx)
+
+  if (debug) {
+    console.log("[equalInCtx]", ctx.depth, "*", formatValue(left))
+    console.log("[equalInCtx]", ctx.depth, "=", formatValue(right))
+  }
+
   if (same(left, right)) return true
 
   left = Values.lazyActiveDeep(left)