bogus global constraints, specified nowhere

gistfile1.txt

stack solver
Asking cabal to calculate a build plan, please wait
Running /home/apriori/.stack/snapshots/x86_64-linux/lts-4.1/7.10.3/bin/cabal --config-file=/tmp/cabal-solver13025/cabal.config install --enable-tests --enable-benchmarks -v --dry-run --only-dependencies --reorder-goals --max-backjumps=-1 --package-db=clear --package-db=global "--constraint=accelerate +bounds-checks" "--constraint=accelerate +debug" "--constraint=accelerate -internal-checks" "--constraint=accelerate -unsafe-checks" "--constraint=accelerate-llvm +chase-lev" "--constraint=accelerate-llvm +debug" "--constraint=accelerate-llvm-native +debug" "--constraint=llvm-general +shared-llvm" /home/apriori/Programmieren/haskell/acc-test-april/ /home/apriori/Programmieren/haskell/acc-test-april/.stack-work/downloaded/a7bccc5806d48b539077fd190de4799d5d66db7fe8a695fd13c17ad622167d14/ /home/apriori/Programmieren/haskell/acc-test-april/.stack-work/downloaded/cbdf687ae252b879f50dbe5aac5ef2fc867318296c32a96a43fc013b97a2e994/ /home/apriori/Programmieren/haskell/acc-test-april/.stack-work/downloaded/ce67265ea9cd8b6500dda9492fb43c517a2ec7042328be92ce00424d14d141a9/llvm-general/ /home/apriori/Programmieren/haskell/acc-test-april/.stack-work/downloaded/d72c7800ebd0a0888814a579c43f015e8cffaa188dbc3c2afc7c87b5ae7d2212/lambdacube-ir.haskell/ /home/apriori/Programmieren/haskell/acc-test-april/.stack-work/downloaded/de29e868038ded5b56d4f875e10041a8716bf10efc6d29df71b1f0f484c73239/ /home/apriori/Programmieren/haskell/accelerate-llvm/accelerate-llvm-native/ /home/apriori/Programmieren/haskell/accelerate-llvm/accelerate-llvm/ exited with ExitFailure 1
/home/apriori/.stack/snapshots/x86_64-linux/lts-4.1/7.10.3/bin/alex --version
/home/apriori/.stack/snapshots/x86_64-linux/lts-4.1/7.10.3/bin/c2hs --numeric-version
/home/apriori/.stack/snapshots/x86_64-linux/lts-4.1/7.10.3/bin/cpphs --version
/usr/bin/gcc -dumpversion
/home/apriori/.local/bin/ghcjs --numeric-ghcjs-version
/home/apriori/.local/bin/ghcjs-pkg --version
/home/apriori/.cabal/bin/haddock --version
/home/apriori/.stack/snapshots/x86_64-linux/lts-4.1/7.10.3/bin/happy --version
/usr/bin/hpc version
looking for tool hsc2hs near compiler in /usr/bin
found hsc2hs in /usr/bin/hsc2hs
/usr/bin/hsc2hs --version
/home/apriori/.stack/snapshots/x86_64-linux/lts-4.1/7.10.3/bin/HsColour -version
/usr/bin/ghc -c /tmp/1804289383846930886.c -o /tmp/16816927771714636915.o
/usr/bin/ld -x -r /tmp/16816927771714636915.o -o /tmp/1957747793424238335.o
/usr/bin/pkg-config --version
/usr/bin/tar --help
Reading available packages...
Updating the index cache file...
Choosing modular solver.
Resolving dependencies...

cabal: Could not resolve dependencies:
trying: lambdacube-compiler-0.6.0.0 (user goal)
next goal: QuickCheck (dependency of lambdacube-compiler-0.6.0.0)
rejecting: QuickCheck-2.8.2 (global constraint requires ==2.8.1)
rejecting: QuickCheck-2.8.1 (conflict: lambdacube-compiler =>
QuickCheck>=2.8.2 && <2.9)
rejecting: QuickCheck-2.8, 2.7.6, 2.7.5, 2.7.4, 2.7.3, 2.7.2, 2.7.1, 2.7, 2.6,
2.5.1.1, 2.5.1, 2.5, 2.4.2, 2.4.1.1, 2.4.1, 2.4.0.1, 2.4, 2.3.0.2, 2.3.0.1,
2.3, 2.2, 2.1.2, 2.1.1.1, 2.1.1, 2.1.0.3, 2.1.0.2, 2.1.0.1, 2.1, 1.2.0.1,
1.2.0.0, 1.1.0.0, 1.0 (global constraint requires ==2.8.1)
Dependency tree exhaustively searched.

stack.yaml

name:                acc-test-april
version:             0.1.0.0
synopsis:            Simple project template from stack
description:         Please see README.md
homepage:            https://github.com/githubuser/acc-test-april#readme
license:             BSD3
license-file:        LICENSE
author:              Author name here
maintainer:          example@example.com
copyright:           2016 Author name here
category:            Web
build-type:          Simple
cabal-version:       >=1.10

executable acc-test-april
  hs-source-dirs:      src
  main-is:             Main.hs
  default-language:    Haskell2010
  build-depends:       base >= 4.7 && < 5
               ,      accelerate == 2.0.0.0
               ,      accelerate-llvm
               ,      accelerate-llvm-native
               ,      JuicyPixels >= 3.2.7 && < 3.3
               ,      lambdacube-ir >= 0.4.0.0 && < 0.4.1.0
               ,      lambdacube-gl >= 0.5.0.3 && < 0.5.1.0
               ,      lambdacube-compiler >= 0.6.0.0 && < 0.6.1.0

(responding to your question from IRC): The purpose of stack solver is to explicitly fall back to cabal-install's dependency solver. Doing that throws out any guarantees of having dependencies actually work together.