Add tests for -any and -none

Author: philderbeast

cabal-testsuite/PackageTests/RequireExplicit/FlagNotVersion/cabal.any-flag.out

@@ -0,0 +1,14 @@
+# tar
+# tar
+# tar
+# cabal v2-update
+Downloading the latest package list from test-local-repo
+# cabal v2-build
+Resolving dependencies...
+Error: [Cabal-7107]
+Could not resolve dependencies:
+[__0] trying: a-0 (user goal)
+[__1] next goal: some-lib (dependency of a)
+[__1] fail (not a user-provided goal nor mentioned as a constraint, but reject-unconstrained-dependencies was set)
+[__1] fail (backjumping, conflict set: a, some-lib)
+After searching the rest of the dependency tree exhaustively, these were the goals I've had most trouble fulfilling: a (2), some-lib (1)

cabal-testsuite/PackageTests/RequireExplicit/FlagNotVersion/cabal.any-version.out

@@ -0,0 +1,14 @@
+# tar
+# tar
+# tar
+# cabal v2-update
+Downloading the latest package list from test-local-repo
+# cabal v2-build
+Resolving dependencies...
+Error: [Cabal-7107]
+Could not resolve dependencies:
+[__0] trying: a-0 (user goal)
+[__1] next goal: some-lib (dependency of a)
+[__1] fail (not a user-provided goal nor mentioned as a constraint, but reject-unconstrained-dependencies was set)
+[__1] fail (backjumping, conflict set: a, some-lib)
+After searching the rest of the dependency tree exhaustively, these were the goals I've had most trouble fulfilling: a (2), some-lib (1)

cabal-testsuite/PackageTests/RequireExplicit/FlagNotVersion/cabal.none-flag.out

@@ -0,0 +1,11 @@
+# tar
+# tar
+# tar
+# cabal v2-update
+Downloading the latest package list from test-local-repo
+# cabal v2-build
+Resolving dependencies...
+Build profile: -w ghc-<GHCVER> -O1
+In order, the following would be built:
+ - some-lib-1.0 (lib) (requires build)
+ - a-0 (lib) (first run)

cabal-testsuite/PackageTests/RequireExplicit/FlagNotVersion/cabal.none-version.out

@@ -0,0 +1,14 @@
+# tar
+# tar
+# tar
+# cabal v2-update
+Downloading the latest package list from test-local-repo
+# cabal v2-build
+Resolving dependencies...
+Error: [Cabal-7107]
+Could not resolve dependencies:
+[__0] trying: a-0 (user goal)
+[__1] next goal: some-lib (dependency of a)
+[__1] rejecting: some-lib-1.0 (constraint from command line flag requires <0)
+[__1] fail (backjumping, conflict set: a, some-lib)
+After searching the rest of the dependency tree exhaustively, these were the goals I've had most trouble fulfilling: a (2), some-lib (2)

cabal-testsuite/PackageTests/RequireExplicit/FlagNotVersion/cabal.test.hs

@@ -1,4 +1,27 @@
 import Test.Cabal.Prelude
-main = cabalTest . recordMode RecordMarked $ withRepo "repo" $ do
-  res <- fails $ cabal' "v2-build" ["all", "--dry-run"]
-  assertOutputContains "not a user-provided goal" res
+main = do
+  cabalTest . recordMode RecordMarked $ withRepo "repo" $ do
+    res <- fails $ cabal' "v2-build" ["all", "--dry-run"]
+    assertOutputContains "not a user-provided goal" res
+
+  -- Not really a version constrained dependency.
+  cabalTest' "any-flag" . recordMode RecordMarked $ withRepo "repo" $ do
+    res <- fails $ cabal' "v2-build" ["all", "--dry-run", "--constraint", "some-lib -any"]
+    assertOutputContains "not a user-provided goal" res
+
+  -- Not really a version constrained dependency.
+  cabalTest' "any-version" . recordMode RecordMarked $ withRepo "repo" $ do
+    res <- fails $ cabal' "v2-build" ["all", "--dry-run", "--constraint", "some-lib >=0"]
+    assertOutputContains "not a user-provided goal" res
+
+  -- TODO: Find out why isn't -none the same as <0?
+  cabalTest' "none-flag" . recordMode RecordMarked $ withRepo "repo" $ do
+    res <- cabal' "v2-build" ["all", "--dry-run", "--constraint", "some-lib -none"]
+    assertOutputDoesNotContain "not a user-provided goal" res
+
+  -- Doesn't get as far as the constraint check because the <0 version
+  -- constraint is unsatisfiable and the dependency is rejected.
+  cabalTest' "none-version" . recordMode RecordMarked $ withRepo "repo" $ do
+    res <- fails $ cabal' "v2-build" ["all", "--dry-run", "--constraint", "some-lib <0"]
+    assertOutputContains " rejecting: some-lib-1.0 (constraint from command line flag requires <0)" res
+    assertOutputDoesNotContain "not a user-provided goal" res