format tests

anoma · Nov 28, 2024 · 339e84c · 339e84c
1 parent 182ea92
commit 339e84c
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/tests/positive/RecordProjectionSignature.juvix b/tests/positive/RecordProjectionSignature.juvix
@@ -3,7 +3,10 @@ module RecordProjectionSignature;
 import Stdlib.Data.Nat open;
 
 trait
-type R A := mkR@{fun : (n : A) -> A};
+type R A :=
+  mkR@{
+    fun : (n : A) -> A;
+  };
 
 f {{R Nat}} : Nat :=
   R.fun@{

diff --git a/tests/positive/TypeSignatures.juvix b/tests/positive/TypeSignatures.juvix
@@ -9,7 +9,10 @@ g (x : Nat) : Nat :=
     x := x;
   };
 
-type R := mkR@{rf (x : Nat) : Nat};
+type R :=
+  mkR@{
+    rf (x : Nat) : Nat;
+  };
 
 type R' := mkR' (rf : Nat -> Nat) : R';