run juvix format

anoma · Dec 6, 2023 · 2f99729 · 2f99729
1 parent 30043bd
commit 2f99729
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 13 deletions.
diff --git a/tests/positive/Format.juvix b/tests/positive/Format.juvix
@@ -390,18 +390,20 @@ i2479' : {_ : Nat} -> Nat
   | {_} := zero;
 
 -- formatting arguments that do not fit in a line
-fffffffffffffffffffffffffffffffffffffffffffffffff {f : List
-  Nat} : Nat := zero;
+fffffffffffffffffffffffffffffffffffffffffffffffff
+  {f : List Nat} : Nat := zero;
 
 -- formatting arguments that do not fit in a line
-fff {f : List Nat}
-{f0 : List Nat}
-{f1 : List Nat}
-{f2 : List Nat}
-{f3 : List Nat}
-{f4 : List Nat}
-{f5 : List Nat}
-{f6 : List Nat}
-{f7 : List Nat} : Nat := zero;
+fff
+  {f : List Nat}
+  {f0 : List Nat}
+  {f1 : List Nat}
+  {f2 : List Nat}
+  {f3 : List Nat}
+  {f4 : List Nat}
+  {f5 : List Nat}
+  {f6 : List Nat}
+  {f7 : List Nat}
+  : Nat := zero;
 
 -- Comment at the end of a module
diff --git a/tests/positive/Syntax.juvix b/tests/positive/Syntax.juvix
@@ -1,7 +1,8 @@
 module Syntax;
 
-compose {A B C : Type} (f : B -> C) (g : A -> B) (x : A)
-  : C := f (g x);
+compose
+  {A B C : Type} (f : B -> C) (g : A -> B) (x : A) : C :=
+  f (g x);
 
 compose' {A B C : Type} (f : B -> C) (g : A -> B) : A -> C
   | x := f (g x);