test assert-same & assert-not-same

Author: xieyuheng

TODO.md

@@ -1,5 +1,3 @@
-test `assert-same` & `assert-not-same`
-
 `equalInCtx` with `ctx.trail` handle recursive function
 `equalInCtx` call `applyOneStep`
 

examples/tests/assertion.lisp renamed to examples/tests/assert-equal.lisp

@@ -0,0 +1,35 @@
+(assert-same
+  (lambda (x) x)
+  (lambda (y) y))
+
+(assert-same
+  (lambda (x y) (x y))
+  (lambda (y x) (y x)))
+
+(assert-not-same
+  (lambda (x y) (x y))
+  (lambda (x y) (y x)))
+
+(define (id1 x) x)
+(define (id2 x) x)
+
+(assert-same id1 id1)
+(assert-same id2 id2)
+(assert-not-same id1 id2)
+
+(assert-same
+  (lambda (x) (id2 x))
+  (lambda (x) (id2 x)))
+
+;; partial evaluation for unnamed lambda:
+(assert-same
+  (lambda (x) ((lambda (x) (id2 x)) x))
+  (lambda (x) (id2 x)))
+
+(assert-not-same
+  id1
+  (lambda (x) (id1 x)))
+
+(assert-not-same
+  (lambda (x) (id2 x))
+  (lambda (x) (id1 x)))

examples/tests/assert-same.lisp

@@ -14,7 +14,11 @@ export function sameInCtx(ctx: Ctx, left: Value, right: Value): boolean {
   }
 
   if (left.kind === "Lambda" && right.kind === "Lambda") {
-    if (left.definedName === right.definedName) {
+    if (
+      left.definedName !== undefined &&
+      right.definedName !== undefined &&
+      left.definedName === right.definedName
+    ) {
       return true
     }
   }