add test

test/Compilation/Positive.hs

@@ -510,5 +510,10 @@ tests =
         "Test087: Deriving Ord"
         $(mkRelDir ".")
         $(mkRelFile "test087.juvix")
-        $(mkRelFile "out/test087.out")
+        $(mkRelFile "out/test087.out"),
+      posTest
+        "Test088: Record update pun"
+        $(mkRelDir ".")
+        $(mkRelFile "test088.juvix")
+        $(mkRelFile "out/test088.out")
     ]

tests/Compilation/positive/out/test088.out

@@ -0,0 +1,4 @@
+0 0 0
+6 0 0
+0 0 8
+6 7 8

tests/Compilation/positive/test088.juvix

@@ -0,0 +1,39 @@
+-- Record update pun
+module test088;
+
+import Stdlib.Prelude open;
+import Stdlib.System.IO open;
+
+type R :=
+  mkR@{
+    a : Nat;
+    b : Nat;
+    c : Nat;
+  };
+
+instance
+RShowI : Show R :=
+  mkShow@{
+    show (r : R) : String :=
+      Show.show (R.a r)
+        ++str " "
+        ++str Show.show (R.b r)
+        ++str " "
+        ++str Show.show (R.c r);
+  };
+
+main : IO :=
+  let
+    z :=
+      mkR@{
+        a := 0;
+        b := 0;
+        c := 0;
+      };
+    a := 6;
+    b := 7;
+    c := 8;
+  in printLn z
+    >>> printLn (z @R{a})
+    >>> printLn (z @R{c})
+    >>> printLn (z @R{a; b; c});