up

Author: xieyuheng

src/lang/same/sameInCtx.ts

@@ -22,24 +22,20 @@ export function sameInCtx(ctx: Ctx, lhs: Value, rhs: Value): boolean {
     if (lambdaSameDefined(lhs, rhs)) {
       return true
     }
-  }
 
-  if (lhs.kind === "Lambda" && !lambdaIsDefined(lhs)) {
-    if (rhs.kind === "Lambda" && lambdaIsDefined(rhs)) {
+    if (lambdaIsDefined(lhs) || lambdaIsDefined(rhs)) {
       return false
     }
+  }
 
+  if (lhs.kind === "Lambda" && !lambdaIsDefined(lhs)) {
     const freshName = freshen(ctx.boundNames, lhs.name)
     ctx = ctxBindName(ctx, freshName)
     const arg = Values.NotYet(Neutrals.Var(freshName))
     return sameInCtx(ctx, applyWithDelay(lhs, arg), applyWithDelay(rhs, arg))
   }
 
   if (rhs.kind === "Lambda" && !lambdaIsDefined(rhs)) {
-    if (lhs.kind === "Lambda" && lambdaIsDefined(lhs)) {
-      return false
-    }
-
     const freshName = freshen(ctx.boundNames, rhs.name)
     ctx = ctxBindName(ctx, freshName)
     const arg = Values.NotYet(Neutrals.Var(freshName))