Add tests for #9799

Add tests for #9799 about freeze qualifying all packages with 'any' constraint scope.
haskell · Mar 14, 2024 · f3f9612 · f3f9612
1 parent aaf16c4
commit f3f9612
Show file tree

Hide file tree

Showing 37 changed files with 171 additions and 0 deletions.
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799a/CHANGELOG.md b/cabal-testsuite/PackageTests/Freeze/T9799a/CHANGELOG.md
@@ -0,0 +1,5 @@
+# Revision history for T9799
+
+## 0.1.0.0 -- YYYY-mm-dd
+
+* First version. Released on an unsuspecting world.
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799a/Setup.hs b/cabal-testsuite/PackageTests/Freeze/T9799a/Setup.hs
@@ -0,0 +1,2 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+main = _
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799a/T9799.cabal b/cabal-testsuite/PackageTests/Freeze/T9799a/T9799.cabal
@@ -0,0 +1,15 @@
+cabal-version:   3.0
+name:            T9799
+version:         0.1.0.0
+license:         NONE
+build-type:      Custom
+extra-doc-files: CHANGELOG.md
+
+custom-setup
+    setup-depends: libA == 0.2.0.0
+
+library
+    exposed-modules:  MyLib
+    build-depends:    libA == 0.1.0.0
+    hs-source-dirs:   src
+    default-language: Haskell2010
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799a/cabal.test.hs b/cabal-testsuite/PackageTests/Freeze/T9799a/cabal.test.hs
@@ -0,0 +1,9 @@
+import Test.Cabal.Prelude
+main = cabalTest $ do
+  withRepo "repo" . withSourceCopy $ do
+    cabal "v2-freeze" []
+    cwd <- fmap testCurrentDir getTestEnv
+    -- Guarantee that freeze writes scope-qualified constraints, not 'any'
+    -- qualified constraints.
+    assertFileDoesNotContain (cwd </> "cabal.project.freeze") "any.libA"
+    assertFileDoesContain (cwd </> "cabal.project.freeze") "setup.libA == 0.2.0.0"
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799a/repo/libA-0.1.0.0/CHANGELOG.md b/cabal-testsuite/PackageTests/Freeze/T9799a/repo/libA-0.1.0.0/CHANGELOG.md
@@ -0,0 +1,5 @@
+# Revision history for libA0100
+
+## 0.1.0.0 -- YYYY-mm-dd
+
+* First version. Released on an unsuspecting world.
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799a/repo/libA-0.1.0.0/libA.cabal b/cabal-testsuite/PackageTests/Freeze/T9799a/repo/libA-0.1.0.0/libA.cabal
@@ -0,0 +1,11 @@
+cabal-version:   3.0
+name:            libA
+version:         0.1.0.0
+license:         NONE
+build-type:      Simple
+extra-doc-files: CHANGELOG.md
+
+library
+    exposed-modules:  MyLib
+    hs-source-dirs:   src
+    default-language: Haskell2010
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799a/repo/libA-0.1.0.0/src/MyLib.hs b/cabal-testsuite/PackageTests/Freeze/T9799a/repo/libA-0.1.0.0/src/MyLib.hs
@@ -0,0 +1,4 @@
+module MyLib (someFunc) where
+
+someFunc :: IO ()
+someFunc = putStrLn "someFunc"
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799a/repo/libA-0.2.0.0/CHANGELOG.md b/cabal-testsuite/PackageTests/Freeze/T9799a/repo/libA-0.2.0.0/CHANGELOG.md
@@ -0,0 +1,5 @@
+# Revision history for libA0100
+
+## 0.1.0.0 -- YYYY-mm-dd
+
+* First version. Released on an unsuspecting world.
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799a/repo/libA-0.2.0.0/libA.cabal b/cabal-testsuite/PackageTests/Freeze/T9799a/repo/libA-0.2.0.0/libA.cabal
@@ -0,0 +1,11 @@
+cabal-version:   3.0
+name:            libA
+version:         0.2.0.0
+license:         NONE
+build-type:      Simple
+extra-doc-files: CHANGELOG.md
+
+library
+    exposed-modules:  MyLib
+    hs-source-dirs:   src
+    default-language: Haskell2010
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799a/repo/libA-0.2.0.0/src/MyLib.hs b/cabal-testsuite/PackageTests/Freeze/T9799a/repo/libA-0.2.0.0/src/MyLib.hs
@@ -0,0 +1,4 @@
+module MyLib (someFunc) where
+
+someFunc :: IO ()
+someFunc = putStrLn "someFunc"
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799a/src/MyLib.hs b/cabal-testsuite/PackageTests/Freeze/T9799a/src/MyLib.hs
@@ -0,0 +1,4 @@
+module MyLib (someFunc) where
+
+someFunc :: IO ()
+someFunc = putStrLn "someFunc"
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799b/CHANGELOG.md b/cabal-testsuite/PackageTests/Freeze/T9799b/CHANGELOG.md
@@ -0,0 +1,5 @@
+# Revision history for T9799
+
+## 0.1.0.0 -- YYYY-mm-dd
+
+* First version. Released on an unsuspecting world.
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799b/Setup.hs b/cabal-testsuite/PackageTests/Freeze/T9799b/Setup.hs
@@ -0,0 +1,5 @@
+import MyLib
+import Distribution.Simple
+main = do
+  putStrLn $ "Setup: " ++ vers
+  defaultMain
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799b/T9799.cabal b/cabal-testsuite/PackageTests/Freeze/T9799b/T9799.cabal
@@ -0,0 +1,15 @@
+cabal-version:   3.0
+name:            T9799
+version:         0.1.0.0
+license:         NONE
+build-type:      Custom
+extra-doc-files: CHANGELOG.md
+
+custom-setup
+    setup-depends: libA, base, Cabal
+
+library
+    exposed-modules:  None
+    build-depends:    libA, base, template-haskell
+    hs-source-dirs:   src
+    default-language: Haskell2010
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799b/cabal.test.hs b/cabal-testsuite/PackageTests/Freeze/T9799b/cabal.test.hs
@@ -0,0 +1,19 @@
+import Test.Cabal.Prelude
+main = cabalTest $ do
+  withRepo "repo" . withSourceCopy $ do
+
+    -- Show how using 'any' qualifiers always with relaxed bounds can violate that
+    --    cabal freeze --constraint=... && cabal build
+    -- should be equal to
+    --    cabal build --constraint=...
+    --
+    -- Therefore, the packages in a cabal.project.freeze file must be properly qualified
+
+    out1 <- cabal' "v2-build" ["--constraint='setup.libA == 0.1.0.0'"]
+    assertOutputContains "Setup: libA-0.1.0.0" out1
+    assertOutputContains "Build: libA-0.2.0.0" out1
+
+    cabal "v2-freeze" ["--constraint=setup.libA == 0.1.0.0'"]
+    out2 <- cabal' "v2-build" []
+    assertOutputContains "Setup: libA-0.1.0.0" out2
+    assertOutputContains "Building: libA-0.2.0.0" out2
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799b/repo/libA-0.1.0.0/CHANGELOG.md b/cabal-testsuite/PackageTests/Freeze/T9799b/repo/libA-0.1.0.0/CHANGELOG.md
@@ -0,0 +1,5 @@
+# Revision history for libA0100
+
+## 0.1.0.0 -- YYYY-mm-dd
+
+* First version. Released on an unsuspecting world.
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799b/repo/libA-0.1.0.0/libA.cabal b/cabal-testsuite/PackageTests/Freeze/T9799b/repo/libA-0.1.0.0/libA.cabal
@@ -0,0 +1,12 @@
+cabal-version:   3.0
+name:            libA
+version:         0.1.0.0
+license:         NONE
+build-type:      Simple
+extra-doc-files: CHANGELOG.md
+
+library
+    exposed-modules:  MyLib
+    build-depends:    base
+    hs-source-dirs:   src
+    default-language: Haskell2010
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799b/repo/libA-0.1.0.0/src/MyLib.hs b/cabal-testsuite/PackageTests/Freeze/T9799b/repo/libA-0.1.0.0/src/MyLib.hs
@@ -0,0 +1,4 @@
+module MyLib where
+
+vers :: String
+vers = "libA-0.1.0.0"
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799b/repo/libA-0.2.0.0/CHANGELOG.md b/cabal-testsuite/PackageTests/Freeze/T9799b/repo/libA-0.2.0.0/CHANGELOG.md
@@ -0,0 +1,5 @@
+# Revision history for libA0100
+
+## 0.1.0.0 -- YYYY-mm-dd
+
+* First version. Released on an unsuspecting world.
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799b/repo/libA-0.2.0.0/libA.cabal b/cabal-testsuite/PackageTests/Freeze/T9799b/repo/libA-0.2.0.0/libA.cabal
@@ -0,0 +1,12 @@
+cabal-version:   3.0
+name:            libA
+version:         0.2.0.0
+license:         NONE
+build-type:      Simple
+extra-doc-files: CHANGELOG.md
+
+library
+    exposed-modules:  MyLib
+    build-depends: base
+    hs-source-dirs:   src
+    default-language: Haskell2010
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799b/repo/libA-0.2.0.0/src/MyLib.hs b/cabal-testsuite/PackageTests/Freeze/T9799b/repo/libA-0.2.0.0/src/MyLib.hs
@@ -0,0 +1,4 @@
+module MyLib where
+
+renamedVers :: String
+renamedVers = "libA-0.2.0.0"
diff --git a/cabal-testsuite/PackageTests/Freeze/T9799b/src/None.hs b/cabal-testsuite/PackageTests/Freeze/T9799b/src/None.hs
@@ -0,0 +1,10 @@
+{-# LANGUAGE TemplateHaskell #-}
+module None where
+
+import MyLib
+import Language.Haskell.TH
+
+$(do
+    runIO $ putStrLn $ "Building: " ++ renamedVers
+    [d| x = () |]
+ )
diff --git a/...ackageTests/Freeze/disable-benchmarks.out → ...kageTests/FreezeV1/disable-benchmarks.out b/...ackageTests/Freeze/disable-benchmarks.out → ...kageTests/FreezeV1/disable-benchmarks.out
diff --git a/...geTests/Freeze/disable-benchmarks.test.hs → ...Tests/FreezeV1/disable-benchmarks.test.hs b/...geTests/Freeze/disable-benchmarks.test.hs → ...Tests/FreezeV1/disable-benchmarks.test.hs
diff --git a/...ite/PackageTests/Freeze/disable-tests.out → ...e/PackageTests/FreezeV1/disable-tests.out b/...ite/PackageTests/Freeze/disable-tests.out → ...e/PackageTests/FreezeV1/disable-tests.out
diff --git a/...PackageTests/Freeze/disable-tests.test.hs → ...ckageTests/FreezeV1/disable-tests.test.hs b/...PackageTests/Freeze/disable-tests.test.hs → ...ckageTests/FreezeV1/disable-tests.test.hs
diff --git a/...testsuite/PackageTests/Freeze/dry-run.out → ...stsuite/PackageTests/FreezeV1/dry-run.out b/...testsuite/PackageTests/Freeze/dry-run.out → ...stsuite/PackageTests/FreezeV1/dry-run.out
diff --git a/...suite/PackageTests/Freeze/dry-run.test.hs → ...ite/PackageTests/FreezeV1/dry-run.test.hs b/...suite/PackageTests/Freeze/dry-run.test.hs → ...ite/PackageTests/FreezeV1/dry-run.test.hs
diff --git a/...PackageTests/Freeze/enable-benchmarks.out → ...ckageTests/FreezeV1/enable-benchmarks.out b/...PackageTests/Freeze/enable-benchmarks.out → ...ckageTests/FreezeV1/enable-benchmarks.out
diff --git a/...ageTests/Freeze/enable-benchmarks.test.hs → ...eTests/FreezeV1/enable-benchmarks.test.hs b/...ageTests/Freeze/enable-benchmarks.test.hs → ...eTests/FreezeV1/enable-benchmarks.test.hs
diff --git a/...uite/PackageTests/Freeze/enable-tests.out → ...te/PackageTests/FreezeV1/enable-tests.out b/...uite/PackageTests/Freeze/enable-tests.out → ...te/PackageTests/FreezeV1/enable-tests.out
diff --git a/.../PackageTests/Freeze/enable-tests.test.hs → ...ackageTests/FreezeV1/enable-tests.test.hs b/.../PackageTests/Freeze/enable-tests.test.hs → ...ackageTests/FreezeV1/enable-tests.test.hs
diff --git a/...-testsuite/PackageTests/Freeze/freeze.out → ...estsuite/PackageTests/FreezeV1/freeze.out b/...-testsuite/PackageTests/Freeze/freeze.out → ...estsuite/PackageTests/FreezeV1/freeze.out
diff --git a/...tsuite/PackageTests/Freeze/freeze.test.hs → ...uite/PackageTests/FreezeV1/freeze.test.hs b/...tsuite/PackageTests/Freeze/freeze.test.hs → ...uite/PackageTests/FreezeV1/freeze.test.hs
diff --git a/cabal-testsuite/PackageTests/Freeze/my.cabal → ...-testsuite/PackageTests/FreezeV1/my.cabal b/cabal-testsuite/PackageTests/Freeze/my.cabal → ...-testsuite/PackageTests/FreezeV1/my.cabal
diff --git a/...ze/repo/criterion-1.1.4.0/criterion.cabal → ...V1/repo/criterion-1.1.4.0/criterion.cabal b/...ze/repo/criterion-1.1.4.0/criterion.cabal → ...V1/repo/criterion-1.1.4.0/criterion.cabal
diff --git a/...st-framework-0.8.1.1/test-framework.cabal → ...st-framework-0.8.1.1/test-framework.cabal b/...st-framework-0.8.1.1/test-framework.cabal → ...st-framework-0.8.1.1/test-framework.cabal