add a test

SoftwareFoundationGroupAtKyotoU · Jul 31, 2023 · 800d909 · 800d909
1 parent 560c52e
commit 800d909
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/test/tuple/tuple-alias-easy.imp b/src/test/tuple/tuple-alias-easy.imp
@@ -0,0 +1,8 @@
+{
+  let p = mkref (0, mkref 0) in {
+    let (_, p2) = *p in {
+      p2 := *p2 + 1;
+      alias(p2 = (*p).1)
+    };
+  }
+}