fix a test

SoftwareFoundationGroupAtKyotoU · Sep 4, 2023 · 1797552 · 1797552
1 parent 3361880
commit 1797552
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/src/test/list/length.imp b/src/test/list/length.imp
@@ -11,8 +11,12 @@ len(l) {
     match l with
       Nil -> return 0
     | Cons h t -> {
-        let n = 1 + len(*t) in
-        return n
+        let t_der = *t in
+        let n = 1 + len(t_der) in {
+            alias(t_der = *t);
+            alias(l.Cons.2 = t);
+            return n
+        }
     }
 }