fix tests

anoma · Oct 28, 2024 · da9c11c · da9c11c
1 parent 7bc65e7
commit da9c11c
Show file tree

Hide file tree

Showing 5 changed files with 64 additions and 49 deletions.
diff --git a/tests/positive/Format.juvix b/tests/positive/Format.juvix
@@ -7,10 +7,17 @@ Format;
 import Stdlib.Prelude -- Import a module of name:
 open -- Bring all names into scope but..
 hiding -- Hide some names
-{-- like this
-,; -- don't want , here
--- Bool either
-Bool; true; false; mkShow; module Show};
+{
+  -- like this
+  ,;
+  -- don't want , here
+  -- Bool either
+  Bool;
+  true;
+  false;
+  mkShow;
+  module Show;
+};
 
 -- Lorem ipsum dolor sit amet, consectetur adipiscing elit
 terminating
@@ -274,8 +281,11 @@ module Comments;
 
   open Patterns -- before using
   using -- before brace
-  {-- before first f
-  f; f};
+  {
+    -- before first f
+    f;
+    f;
+  };
 
   type list (A : Type) : Type := cons A (list A);
 end;
@@ -302,19 +312,19 @@ module Traits;
   instance
   showStringI : Show String :=
     mkShow@{
-      show := id
+      show := id;
     };
 
   instance
   showBoolI : Show Bool :=
     mkShow@{
-      show := λ{x := ite x "true" "false"}
+      show := λ{x := ite x "true" "false"};
     };
 
   instance
   showNatI : Show Nat :=
     mkShow@{
-      show := natToString
+      show := natToString;
     };
 
   showList {A} : {{Show A}} → List A → String
@@ -326,7 +336,7 @@ module Traits;
   instance
   showListI {A} {{Show A}} : Show (List A) :=
     mkShow@{
-      show := showList
+      show := showList;
     };
 
   showMaybe {A} {{Show A}} : Maybe A → String
@@ -336,7 +346,7 @@ module Traits;
   instance
   showMaybeI {A} {{Show A}} : Show (Maybe A) :=
     mkShow@{
-      show := showMaybe
+      show := showMaybe;
     };
 
   f {A} {{Show A}} : A → String
@@ -362,7 +372,7 @@ module OperatorRecord;
       + : A -> A -> A;
 
       syntax operator * multiplicative;
-      * : A -> A -> A
+      * : A -> A -> A;
     };
 
   open Natural;
@@ -380,7 +390,7 @@ module RecordFieldPragmas;
       {-# inline: false #-}
       pfst : A;
       {-# inline: false #-}
-      psnd : B
+      psnd : B;
     };
 end;
 
@@ -389,38 +399,42 @@ longLongLongArg : Int := 0;
 longLongLongListArg : List Int := [];
 
 l1 : List Int :=
-  [ 1
-  ; 2
-  ; longLongLongArg
-  ; longLongLongArg
-  ; longLongLongArg
-  ; longLongLongArg
-  ; longLongLongArg
-  ; longLongLongArg
+  [
+    1;
+    2;
+    longLongLongArg;
+    longLongLongArg;
+    longLongLongArg;
+    longLongLongArg;
+    longLongLongArg;
+    longLongLongArg;
   ];
 
 l2 : List Int := [1; 2; 3];
 
 l3 : List (List Int) :=
-  [ [1; 2; 3]
-  ; longLongLongListArg
-  ; longLongLongListArg
-  ; longLongLongListArg
-  ; longLongLongListArg
-  ; longLongLongListArg
+  [
+    [1; 2; 3];
+    longLongLongListArg;
+    longLongLongListArg;
+    longLongLongListArg;
+    longLongLongListArg;
+    longLongLongListArg;
   ];
 
 l4 : List (List Int) :=
-  [ [1; 2; 3]
-  ; longLongLongListArg
-  ; [ longLongLongArg
-    ; longLongLongArg
-    ; longLongLongArg
-    ; longLongLongArg
-    ; longLongLongArg
-    ; longLongLongArg
-    ]
-  ; longLongLongListArg
+  [
+    [1; 2; 3];
+    longLongLongListArg;
+    [
+      longLongLongArg;
+      longLongLongArg;
+      longLongLongArg;
+      longLongLongArg;
+      longLongLongArg;
+      longLongLongArg;
+    ];
+    longLongLongListArg;
   ];
 
 -- Format as-pattern interacting with implicit args.

diff --git a/tests/positive/Puns.juvix b/tests/positive/Puns.juvix
@@ -10,16 +10,16 @@ type S :=
     fieldB : B;
     fieldC : A;
     fieldD : B;
-    fieldE : B
+    fieldE : B;
   };
 
 f (fieldA : A) (fieldB : B) : S :=
   let
     fieldD := b;
   in mkS@{
-    fieldC := fieldA;
-    fieldA;
-    fieldB;
-    fieldE := b;
-    fieldD
-  };
+       fieldC := fieldA;
+       fieldA;
+       fieldB;
+       fieldE := b;
+       fieldD;
+     };
diff --git a/tests/positive/RecordIterator.juvix b/tests/positive/RecordIterator.juvix
@@ -7,7 +7,7 @@ type Foldable (container elem : Type) :=
     for : {B : Type} -> (B -> elem -> B) -> B -> container -> B;
 
     syntax iterator rfor {init := 1; range := 1};
-    rfor : {B : Type} -> (B -> elem -> B) -> B → container → B
+    rfor : {B : Type} -> (B -> elem -> B) -> B → container → B;
   };
 
 open Foldable;

diff --git a/tests/positive/issue2999.juvix b/tests/positive/issue2999.juvix
@@ -4,7 +4,7 @@ type T := t;
 
 fun : T :=
   namedFun@{
-    x := t
+    x := t;
   };
 
 namedFun (x : T) : T := t;
diff --git a/tests/positive/package/Package.juvix b/tests/positive/package/Package.juvix
@@ -7,7 +7,8 @@ package : Package :=
     name := "foo";
     version := mkVersion 0 1 0;
     dependencies :=
-      [ github "anoma" "juvix-stdlib" "adf58a7180b361a022fb53c22ad9e5274ebf6f66"
-      ; github "anoma" "juvix-containers" "v0.7.1"
-      ]
+      [
+        github "anoma" "juvix-stdlib" "adf58a7180b361a022fb53c22ad9e5274ebf6f66";
+        github "anoma" "juvix-containers" "v0.7.1";
+      ];
   };