format

anoma · Feb 17, 2025 · 462454b · 462454b
1 parent 52f08d4
commit 462454b
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/tests/positive/Format.juvix b/tests/positive/Format.juvix
@@ -534,6 +534,27 @@ module MultiIf;
       | else := 2;
 end;
 
+module TypeModule;
+  -- type Pair := mkPair
+
+  type Rec :=
+    mk@{
+      a : Nat;
+    }
+  with
+    fromNat : Nat -> Rec
+      | a :=
+        mk@{
+          a;
+        };
+
+    toNat : Rec -> Nat
+      | (mk a) := a;
+  end;
+
+  recId : Nat -> Nat := Rec.fromNat >> Rec.toNat;
+end;
+
 {-hi
 
 -}