smoke

anoma · Sep 12, 2024 · b24412c · b24412c
1 parent b8e9a06
commit b24412c
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 39 deletions.
diff --git a/tests/smoke/Commands/compile-dependencies-package-juvix.smoke.yaml b/tests/smoke/Commands/compile-dependencies-package-juvix.smoke.yaml
@@ -37,8 +37,7 @@ tests:
         import PackageDescription.V2 open;
 
         package : Package :=
-          defaultPackage
-            {name := "HelloWorld";
+          defaultPackage@?{name := "HelloWorld";
             version := mkVersion 0 0 1;
             dependencies :=
                [path ".juvix-build/stdlib";
@@ -102,8 +101,7 @@ tests:
         import PackageDescription.V2 open;
 
         package : Package :=
-          defaultPackage
-            {name := "HelloWorld";
+          defaultPackage@?{name := "HelloWorld";
             version := mkVersion 0 0 1;
             dependencies :=
                [path ".juvix-build/stdlib";
@@ -171,8 +169,7 @@ tests:
         import PackageDescription.V2 open;
 
         package : Package :=
-          defaultPackage
-            {name := "HelloWorld";
+          defaultPackage@?{name := "HelloWorld";
             version := mkVersion 0 0 1;
             dependencies :=
                [path ".juvix-build/stdlib";
@@ -217,8 +214,7 @@ tests:
         import PackageDescription.V2 open;
 
         package : Package :=
-          defaultPackage
-            {name := "HelloWorld";
+          defaultPackage@?{name := "HelloWorld";
             version := mkVersion 0 0 1;
             dependencies :=
                [path ".juvix-build/stdlib";
@@ -278,8 +274,7 @@ tests:
         import PackageDescription.V2 open;
 
         package : Package :=
-          defaultPackage
-            {name := "Dep1";
+          defaultPackage@?{name := "Dep1";
             version := mkVersion 0 1 0;
             dependencies :=
                [path ".juvix-build/stdlib/";
@@ -302,8 +297,7 @@ tests:
         import PackageDescription.V2 open;
 
         package : Package :=
-          defaultPackage
-            {name := "HelloWorld";
+          defaultPackage@?{name := "HelloWorld";
             version := mkVersion 0 0 1;
             dependencies :=
                [path ".juvix-build/stdlib/";
@@ -417,8 +411,7 @@ tests:
         import PackageDescription.V2 open;
 
         package : Package :=
-          defaultPackage
-            {name := "HelloWorld";
+          defaultPackage@?{name := "HelloWorld";
             version := mkVersion 0 0 1;
             dependencies :=
                [path ".juvix-build/stdlib";
@@ -511,8 +504,7 @@ tests:
         import PackageDescription.V2 open;
 
         package : Package :=
-          defaultPackage
-            {name := "HelloWorld";
+          defaultPackage@?{name := "HelloWorld";
             version := mkVersion 0 0 1;
             dependencies :=
                [path ".juvix-build/stdlib";
@@ -543,8 +535,7 @@ tests:
         import PackageDescription.V2 open;
 
         package : Package :=
-          defaultPackage
-            {name := "HelloWorld";
+          defaultPackage@?{name := "HelloWorld";
             version := mkVersion 0 0 1;
             dependencies :=
                [path ".juvix-build/stdlib";
@@ -617,8 +608,7 @@ tests:
         import PackageDescription.V2 open;
 
         package : Package :=
-          defaultPackage
-            {name := "Dep1";
+          defaultPackage@?{name := "Dep1";
             version := mkVersion 0 1 0;
             dependencies :=
                [path ".juvix-build/stdlib/";
@@ -654,8 +644,7 @@ tests:
         import PackageDescription.V2 open;
 
         package : Package :=
-          defaultPackage
-            {name := "HelloWorld";
+          defaultPackage@?{name := "HelloWorld";
             version := mkVersion 0 0 1;
             dependencies :=
                [path ".juvix-build/stdlib/";
@@ -729,8 +718,7 @@ tests:
         import PackageDescription.V2 open;
 
         package : Package :=
-          defaultPackage
-            {name := "HelloWorld";
+          defaultPackage@?{name := "HelloWorld";
             version := mkVersion 0 0 1;
             dependencies :=
                [path ".juvix-build/stdlib";
@@ -766,8 +754,7 @@ tests:
         import PackageDescription.V2 open;
 
         package : Package :=
-          defaultPackage
-            {name := "HelloWorld";
+          defaultPackage@?{name := "HelloWorld";
             version := mkVersion 0 0 1;
             dependencies :=
                [path ".juvix-build/stdlib";
@@ -816,8 +803,7 @@ tests:
         import PackageDescription.V2 open;
 
         package : Package :=
-          defaultPackage
-            {name := "HelloWorld";
+          defaultPackage@?{name := "HelloWorld";
             version := mkVersion 0 0 1;
             dependencies :=
                [path ".juvix-build/stdlib";
@@ -862,8 +848,7 @@ tests:
         import PackageDescription.V2 open;
 
         package : Package :=
-          defaultPackage
-            {name := "HelloWorld";
+          defaultPackage@?{name := "HelloWorld";
             version := mkVersion 0 0 1;
             dependencies :=
                [path ".juvix-build/stdlib";
@@ -908,8 +893,7 @@ tests:
         import PackageDescription.V2 open;
 
         package : Package :=
-          defaultPackage
-            {name := "HelloWorld";
+          defaultPackage@?{name := "HelloWorld";
             version := mkVersion 0 0 1;
             dependencies :=
                [path ".juvix-build/stdlib";
@@ -979,8 +963,7 @@ tests:
         import PackageDescription.V2 open;
 
         package : Package :=
-          defaultPackage
-            {name := "HelloWorld";
+          defaultPackage@?{name := "HelloWorld";
             version := mkVersion 0 0 1;
             dependencies :=
                [path ".juvix-build/stdlib";
@@ -1031,8 +1014,7 @@ tests:
         import PackageDescription.V2 open;
 
         package : Package :=
-          defaultPackage
-            {name := "HelloWorld";
+          defaultPackage@?{name := "HelloWorld";
             version := mkVersion 0 0 1;
             dependencies :=
                [path ".juvix-build/stdlib";
@@ -1095,8 +1077,7 @@ tests:
         import PackageDescription.V2 open;
 
         package : Package :=
-          defaultPackage
-            {name := "HelloWorld";
+          defaultPackage@?{name := "HelloWorld";
             version := mkVersion 0 0 1;
             dependencies :=
                [path ".juvix-build/stdlib";

diff --git a/tests/smoke/Commands/compile-dependencies.smoke.yaml b/tests/smoke/Commands/compile-dependencies.smoke.yaml
@@ -1025,7 +1025,7 @@ tests:
         cat <<-EOF > Package.juvix
         module Package;
         import PackageDescription.V2 open;
-        package : Package := defaultPackage {dependencies := [defaultStdlib ; git "dep1" "$temp/dep" "main"]}
+        package : Package := defaultPackage@?{dependencies := [defaultStdlib ; git "dep1" "$temp/dep" "main"]}
         EOF
 
         cat <<-EOF > HelloWorld.juvix