Update project Packages to V2

anoma · Nov 29, 2023 · 5409d9e · 5409d9e
1 parent 8cd798c
commit 5409d9e
Show file tree

Hide file tree

Showing 29 changed files with 47 additions and 75 deletions.
diff --git a/examples/demo/Package.juvix b/examples/demo/Package.juvix
@@ -1,6 +1,6 @@
 module Package;
 
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage

diff --git a/examples/midsquare/Package.juvix b/examples/midsquare/Package.juvix
@@ -1,6 +1,6 @@
 module Package;
 
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage

diff --git a/examples/milestone/Bank/Package.juvix b/examples/milestone/Bank/Package.juvix
@@ -1,5 +1,5 @@
 module Package;
 
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package := defaultPackage {name := "bank"};
diff --git a/examples/milestone/Collatz/Package.juvix b/examples/milestone/Collatz/Package.juvix
@@ -1,7 +1,6 @@
 module Package;
 
-import Stdlib.Prelude open;
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage

diff --git a/examples/milestone/Fibonacci/Package.juvix b/examples/milestone/Fibonacci/Package.juvix
@@ -1,7 +1,6 @@
 module Package;
 
-import Stdlib.Prelude open;
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage

diff --git a/examples/milestone/Hanoi/Package.juvix b/examples/milestone/Hanoi/Package.juvix
@@ -1,7 +1,6 @@
 module Package;
 
-import Stdlib.Prelude open;
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage

diff --git a/examples/milestone/HelloWorld/Package.juvix b/examples/milestone/HelloWorld/Package.juvix
@@ -1,7 +1,6 @@
 module Package;
 
-import Stdlib.Prelude open;
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage

diff --git a/examples/milestone/PascalsTriangle/Package.juvix b/examples/milestone/PascalsTriangle/Package.juvix
@@ -1,7 +1,6 @@
 module Package;
 
-import Stdlib.Prelude open;
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage

diff --git a/examples/milestone/TicTacToe/Package.juvix b/examples/milestone/TicTacToe/Package.juvix
@@ -1,7 +1,6 @@
 module Package;
 
-import Stdlib.Prelude open;
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage

diff --git a/examples/milestone/Tutorial/Package.juvix b/examples/milestone/Tutorial/Package.juvix
@@ -1,6 +1,6 @@
 module Package;
 
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage

diff --git a/tests/Compilation/positive/test072/Package.juvix b/tests/Compilation/positive/test072/Package.juvix
@@ -1,5 +1,5 @@
 module Package;
 
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package := defaultPackage {name := "monads"};
diff --git a/tests/Internal/positive/Dependencies/Dep1/Package.juvix b/tests/Internal/positive/Dependencies/Dep1/Package.juvix
@@ -1,6 +1,6 @@
 module Package;
 
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage {name := "dep1"; dependencies := []};
diff --git a/tests/Internal/positive/Dependencies/Dep2/Package.juvix b/tests/Internal/positive/Dependencies/Dep2/Package.juvix
@@ -1,6 +1,6 @@
 module Package;
 
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage {name := "dep2"; dependencies := []};
diff --git a/tests/negative/NoDependencies/Package.juvix b/tests/negative/NoDependencies/Package.juvix
@@ -1,5 +1,5 @@
 module Package;
 
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package := defaultPackage {dependencies := []};
diff --git a/tests/negative/Package/PackageJuvixDuplicateDependencies/Package.juvix b/tests/negative/Package/PackageJuvixDuplicateDependencies/Package.juvix
@@ -1,7 +1,6 @@
 module Package;
 
-import Stdlib.Prelude open;
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package := defaultPackage {name := "abc"; version := mkVersion 0 0 1 ; dependencies := [ github "org" "repo" "ref1" ; github "org" "repo" "ref2" ]};
 

diff --git a/tests/negative/Package/PackageJuvixNoPackageSymbol/Package.juvix b/tests/negative/Package/PackageJuvixNoPackageSymbol/Package.juvix
@@ -1,6 +1,5 @@
 module Package;
 
-import Stdlib.Prelude open;
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 abc : Nat := 1;
diff --git a/tests/negative/Package/PackageJuvixPackageSymbolWrongType1/Package.juvix b/tests/negative/Package/PackageJuvixPackageSymbolWrongType1/Package.juvix
@@ -1,6 +1,5 @@
 module Package;
 
-import Stdlib.Prelude open;
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Nat := 1;
diff --git a/tests/positive/Dependencies/.libs/Extra/Package.juvix b/tests/positive/Dependencies/.libs/Extra/Package.juvix
@@ -1,6 +1,6 @@
 module Package;
 
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage

diff --git a/tests/positive/Dependencies/Package.juvix b/tests/positive/Dependencies/Package.juvix
@@ -1,6 +1,6 @@
 module Package;
 
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage

diff --git a/tests/positive/FancyPaths/Package.juvix b/tests/positive/FancyPaths/Package.juvix
@@ -1,6 +1,6 @@
 module Package;
 
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage

diff --git a/tests/positive/FancyPaths/home/Package.juvix b/tests/positive/FancyPaths/home/Package.juvix
@@ -1,5 +1,5 @@
 module Package;
 
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package := defaultPackage {dependencies := []};
diff --git a/tests/positive/FancyPaths/other dep/Package.juvix b/tests/positive/FancyPaths/other dep/Package.juvix
@@ -1,5 +1,5 @@
 module Package;
 
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package := defaultPackage {dependencies := []};
diff --git a/tests/positive/FancyPaths/path with spaces/Package.juvix b/tests/positive/FancyPaths/path with spaces/Package.juvix
@@ -1,5 +1,5 @@
 module Package;
 
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package := defaultPackage {dependencies := []};
diff --git a/tests/positive/MarkdownImport/Package.juvix b/tests/positive/MarkdownImport/Package.juvix
@@ -1,6 +1,6 @@
 module Package;
 
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package :=
   defaultPackage {name := "MarkdownImport"};
diff --git a/tests/positive/NoDependencies/Package.juvix b/tests/positive/NoDependencies/Package.juvix
@@ -1,5 +1,5 @@
 module Package;
 
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package := defaultPackage {dependencies := []};
diff --git a/tests/positive/StdlibList/Package.juvix b/tests/positive/StdlibList/Package.juvix
@@ -1,5 +1,5 @@
 module Package;
 
-import PackageDescription.V1 open;
+import PackageDescription.V2 open;
 
 package : Package := defaultPackage {dependencies := []};
diff --git a/tests/smoke/Commands/compile-dependencies-package-juvix.smoke.yaml b/tests/smoke/Commands/compile-dependencies-package-juvix.smoke.yaml
@@ -34,8 +34,7 @@ tests:
         -- juvix-package-version:1
         module Package;
 
-        import Stdlib.Prelude open;
-        import PackageDescription.V1 open;
+        import PackageDescription.V2 open;
 
         package : Package :=
           defaultPackage
@@ -100,8 +99,7 @@ tests:
         -- juvix-package-version:1
         module Package;
 
-        import Stdlib.Prelude open;
-        import PackageDescription.V1 open;
+        import PackageDescription.V2 open;
 
         package : Package :=
           defaultPackage
@@ -170,8 +168,7 @@ tests:
         -- juvix-package-version:1
         module Package;
 
-        import Stdlib.Prelude open;
-        import PackageDescription.V1 open;
+        import PackageDescription.V2 open;
 
         package : Package :=
           defaultPackage
@@ -217,8 +214,7 @@ tests:
         -- juvix-package-version:1
         module Package;
 
-        import Stdlib.Prelude open;
-        import PackageDescription.V1 open;
+        import PackageDescription.V2 open;
 
         package : Package :=
           defaultPackage
@@ -279,8 +275,7 @@ tests:
         -- juvix-package-version:1
         module Package;
 
-        import Stdlib.Prelude open;
-        import PackageDescription.V1 open;
+        import PackageDescription.V2 open;
 
         package : Package :=
           defaultPackage
@@ -304,8 +299,7 @@ tests:
         -- juvix-package-version:1
         module Package;
 
-        import Stdlib.Prelude open;
-        import PackageDescription.V1 open;
+        import PackageDescription.V2 open;
 
         package : Package :=
           defaultPackage
@@ -420,8 +414,7 @@ tests:
         -- juvix-package-version:1
         module Package;
 
-        import Stdlib.Prelude open;
-        import PackageDescription.V1 open;
+        import PackageDescription.V2 open;
 
         package : Package :=
           defaultPackage
@@ -515,8 +508,7 @@ tests:
         -- juvix-package-version:1
         module Package;
 
-        import Stdlib.Prelude open;
-        import PackageDescription.V1 open;
+        import PackageDescription.V2 open;
 
         package : Package :=
           defaultPackage
@@ -548,8 +540,7 @@ tests:
         -- juvix-package-version:1
         module Package;
 
-        import Stdlib.Prelude open;
-        import PackageDescription.V1 open;
+        import PackageDescription.V2 open;
 
         package : Package :=
           defaultPackage
@@ -623,8 +614,7 @@ tests:
         -- juvix-package-version:1
         module Package;
 
-        import Stdlib.Prelude open;
-        import PackageDescription.V1 open;
+        import PackageDescription.V2 open;
 
         package : Package :=
           defaultPackage
@@ -661,8 +651,7 @@ tests:
         -- juvix-package-version:1
         module Package;
 
-        import Stdlib.Prelude open;
-        import PackageDescription.V1 open;
+        import PackageDescription.V2 open;
 
         package : Package :=
           defaultPackage
@@ -737,8 +726,7 @@ tests:
         -- juvix-package-version:1
         module Package;
 
-        import Stdlib.Prelude open;
-        import PackageDescription.V1 open;
+        import PackageDescription.V2 open;
 
         package : Package :=
           defaultPackage
@@ -775,8 +763,7 @@ tests:
         -- juvix-package-version:1
         module Package;
 
-        import Stdlib.Prelude open;
-        import PackageDescription.V1 open;
+        import PackageDescription.V2 open;
 
         package : Package :=
           defaultPackage
@@ -826,8 +813,7 @@ tests:
         -- juvix-package-version:1
         module Package;
 
-        import Stdlib.Prelude open;
-        import PackageDescription.V1 open;
+        import PackageDescription.V2 open;
 
         package : Package :=
           defaultPackage
@@ -873,8 +859,7 @@ tests:
         -- juvix-package-version:1
         module Package;
 
-        import Stdlib.Prelude open;
-        import PackageDescription.V1 open;
+        import PackageDescription.V2 open;
 
         package : Package :=
           defaultPackage
@@ -920,8 +905,7 @@ tests:
         -- juvix-package-version:1
         module Package;
 
-        import Stdlib.Prelude open;
-        import PackageDescription.V1 open;
+        import PackageDescription.V2 open;
 
         package : Package :=
           defaultPackage
@@ -989,8 +973,7 @@ tests:
         -- juvix-package-version:1
         module Package;
 
-        import Stdlib.Prelude open;
-        import PackageDescription.V1 open;
+        import PackageDescription.V2 open;
 
         package : Package :=
           defaultPackage
@@ -1042,8 +1025,7 @@ tests:
         -- juvix-package-version:1
         module Package;
 
-        import Stdlib.Prelude open;
-        import PackageDescription.V1 open;
+        import PackageDescription.V2 open;
 
         package : Package :=
           defaultPackage
@@ -1107,8 +1089,7 @@ tests:
         -- juvix-package-version:1
         module Package;
 
-        import Stdlib.Prelude open;
-        import PackageDescription.V1 open;
+        import PackageDescription.V2 open;
 
         package : Package :=
           defaultPackage