fix formatting

anoma · Nov 19, 2024 · 8990702 · 8990702
1 parent f0b5536
commit 8990702
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 16 deletions.
diff --git a/tests/positive/Format.juvix b/tests/positive/Format.juvix
@@ -235,8 +235,9 @@ module Comments;
 
   -- attached to nothing
 
-  axiom a3 -- comment before axiom :
-  : Type;
+  axiom a3
+    -- comment before axiom :
+    : Type;
 
   num
     -- comment before type sig :
@@ -251,11 +252,12 @@ module Comments;
 
   -- attached to nothing 3
 
-  axiom a4 : -- before open pi brace
-    {-- after open pi brace
-    a -- before pi :
-    : Type}
-    -> Type;
+  axiom a4
+    : -- before open pi brace
+      {-- after open pi brace
+      a -- before pi :
+      : Type}
+      -> Type;
 
   id2 : {A : Type} -> A -> Nat -> A
     | -- before patternarg braces

diff --git a/tests/positive/LetOpen.juvix b/tests/positive/LetOpen.juvix
@@ -4,20 +4,23 @@ module M;
   axiom A : Type;
 end;
 
-axiom B : let
-            open M;
-          in A;
+axiom B
+  : let
+      open M;
+    in A;
 
 module Separator;
 
 end;
 
 axiom A : Type;
 
-axiom C : let
-            open M hiding {A};
-          in A;
+axiom C
+  : let
+      open M hiding {A};
+    in A;
 
-axiom D : let
-            open M using {A as A'};
-          in A';
+axiom D
+  : let
+      open M using {A as A'};
+    in A';