add test

anoma · Nov 4, 2024 · 3b28dbd · 3b28dbd
1 parent 71161ff
commit 3b28dbd
Show file tree

Hide file tree

Showing 3 changed files with 20 additions and 1 deletion.
diff --git a/test/Compilation/Positive.hs b/test/Compilation/Positive.hs
@@ -485,5 +485,10 @@ tests =
         "Test082: Pattern matching with side conditions"
         $(mkRelDir ".")
         $(mkRelFile "test082.juvix")
-        $(mkRelFile "out/test082.out")
+        $(mkRelFile "out/test082.out"),
+      posTest
+        "Test083: Record update"
+        $(mkRelDir ".")
+        $(mkRelFile "test083.juvix")
+        $(mkRelFile "out/test083.out")
     ]
diff --git a/tests/Compilation/positive/out/test083.out b/tests/Compilation/positive/out/test083.out
@@ -0,0 +1 @@
+13
diff --git a/tests/Compilation/positive/test083.juvix b/tests/Compilation/positive/test083.juvix
@@ -0,0 +1,13 @@
+-- Record update
+module test083;
+
+import Stdlib.Prelude open;
+
+type R := mkR@{
+  x : Nat;
+  y : Nat;
+};
+
+f (r : R) : R := let x := 7 in r@R{x := R.x r + x; y := x};
+
+main : Nat := case f (mkR 1 2) of mkR x y := x + 5;