{"action":"created","issue":{"url":"https://api.github.com/repos/haskell/cabal/issues/1855","labels_url":"https://api.github.com/repos/haskell/cabal/issues/1855/labels{/name}","comments_url":"https://api.github.com/repos/haskell/cabal/issues/1855/comments","events_url":"https://api.github.com/repos/haskell/cabal/issues/1855/events","html_url":"https://github.com/haskell/cabal/issues/1855","id":33258320,"number":1855,"title":"Build plan only succeeds with --reorder-goals","user":{"login":"snoyberg","id":49415,"avatar_url":"https://avatars.githubusercontent.com/u/49415?v=3","gravatar_id":"","url":"https://api.github.com/users/snoyberg","html_url":"https://github.com/snoyberg","followers_url":"https://api.github.com/users/snoyberg/followers","following_url":"https://api.github.com/users/snoyberg/following{/other_user}","gists_url":"https://api.github.com/users/snoyberg/gists{/gist_id}","starred_url":"https://api.github.com/users/snoyberg/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/snoyberg/subscriptions","organizations_url":"https://api.github.com/users/snoyberg/orgs","repos_url":"https://api.github.com/users/snoyberg/repos","events_url":"https://api.github.com/users/snoyberg/events{/privacy}","received_events_url":"https://api.github.com/users/snoyberg/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/haskell/cabal/labels/solver","name":"solver","color":"009800"}],"state":"open","locked":false,"assignee":{"login":"kosmikus","id":293191,"avatar_url":"https://avatars.githubusercontent.com/u/293191?v=3","gravatar_id":"","url":"https://api.github.com/users/kosmikus","html_url":"https://github.com/kosmikus","followers_url":"https://api.github.com/users/kosmikus/followers","following_url":"https://api.github.com/users/kosmikus/following{/other_user}","gists_url":"https://api.github.com/users/kosmikus/gists{/gist_id}","starred_url":"https://api.github.com/users/kosmikus/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kosmikus/subscriptions","organizations_url":"https://api.github.com/users/kosmikus/orgs","repos_url":"https://api.github.com/users/kosmikus/repos","events_url":"https://api.github.com/users/kosmikus/events{/privacy}","received_events_url":"https://api.github.com/users/kosmikus/received_events","type":"User","site_admin":false},"milestone":null,"comments":40,"created_at":"2014-05-11T09:29:04Z","updated_at":"2015-02-09T17:35:03Z","closed_at":null,"body":"In my Stackage builds, I use --max-backjumps=-1 --reorder-goals. Given the recent discussion about reorder-goals both being slow, and possibly causing non-termination in build plan construction, I decided to try out running the build without --reorder-goals. However, doing so caused the build plan to fail. Following is the command I ran, and the output from cabal.\r\n\r\nNote that there are some local, patched versions of libraries I'm using here. These patches are all available in the Stackage repo, and I can additionally provide them directly if that would be useful.\r\n\r\n> cabal --package-db=clear --package-db=global install --dry-run --max-backjumps=-1 AC-Vector-2.3.2 BlastHTTP-1.0.1 BlogLiterately-0.7.1.6 BlogLiterately-diagrams-0.1.4.2 Boolean-0.2.1 ChasingBottoms-1.3.0.7 Diff-0.3.0 FenwickTree-0.1.1 Glob-0.7.5 HTF-0.11.3.4 HTTP-4000.2.15 HUnit-1.2.5.2 HaTeX-3.11.0.0 HaXml-1.24.1 HandsomeSoup-0.3.2 JuicyPixels-3.1.5.2 List-0.5.1 MaybeT-0.1.2 MemoTrie-0.6.2 MonadCatchIO-transformers-0.3.1.0 MonadRandom-0.1.13 NumInstances-1.3 /home/ubuntu/haskell/stackage/patching/tarballs/Octree-0.5.3.tar.gz QuickCheck-2.6 ReadArgs-1.2.1 SHA-1.6.4 abstract-deque-0.3 abstract-par-0.3.3 active-0.1.0.13 ad-4.2.0.1 adjunctions-4.0.3 aeson-0.7.0.3 aeson-pretty-0.7.1 ansi-terminal-0.6.1.1 ansi-wl-pprint-0.6.7.1 arithmoi-0.4.1.0 asn1-data-0.7.1 asn1-encoding-0.8.1.3 asn1-parse-0.8.1 asn1-types-0.2.3 async-2.0.1.5 attoparsec-0.11.3.0 attoparsec-conduit-1.1.0 attoparsec-enumerator-0.3.2 authenticate-1.3.2.8 aws-0.9 base-compat-0.5.0 base-unicode-symbols-0.2.2.4 base16-bytestring-0.1.1.6 base64-bytestring-1.0.0.1 basic-prelude-0.3.8 bifunctors-4.1.1.1 bindings-DSL-1.0.21 bioace-0.0.1 bioalign-0.0.5 biocore-0.3.1 biofasta-0.0.3 biofastq-0.1 biophd-0.0.5 biopsl-0.4 biosff-0.3.7.1 blastxml-0.3.1 blaze-builder-0.3.3.2 blaze-builder-conduit-1.1.0 blaze-builder-enumerator-0.2.0.5 blaze-html-0.7.0.2 blaze-markup-0.6.1.0 blaze-svg-0.3.3.1 blaze-textual-0.2.0.9 bool-extras-0.4.0 bound-1.0.2 /home/ubuntu/haskell/stackage/patching/tarballs/bson-0.2.4.tar.gz byteable-0.1.1 bytedump-1.0 byteorder-1.0.4 /home/ubuntu/haskell/stackage/patching/tarballs/bytes-0.14.tar.gz bytestring-mmap-0.2.2 /home/ubuntu/haskell/stackage/patching/tarballs/bzlib-conduit-0.2.1.1.tar.gz cabal-src-0.2.2.1 cairo-0.12.5.3 case-insensitive-1.2.0.0 cassava-0.4.0.0 cautious-file-1.0.2 cereal-0.4.0.1 cereal-conduit-0.7.2.2 certificate-1.3.9 charset-0.3.7 checkers-0.3.2 chunked-data-0.1.0.1 cipher-aes-0.2.7 cipher-blowfish-0.0.3 cipher-camellia-0.0.2 cipher-des-0.0.6 cipher-rc4-0.1.4 circle-packing-0.1.0.3 classy-prelude-0.9.1 classy-prelude-conduit-0.9.1 classy-prelude-yesod-0.9.1 clientsession-0.9.0.3 cmdargs-0.10.7 colour-2.3.3 comonad-4.0.1 comonad-transformers-4.0 comonads-fd-4.0 compdata-0.8.0.1 composition-1.0.1.0 compressed-3.10 concatenative-1.0.1 concurrent-extra-0.7.0.7 concurrent-supply-0.1.7 conduit-1.1.2.1 conduit-combinators-0.2.5.1 conduit-extra-1.1.0.3 configurator-0.2.0.2 connection-0.2.1 constraints-0.3.5 containers-unicode-symbols-0.3.1.1 contravariant-0.5.2 control-monad-loop-0.1 convertible-1.1.0.0 cookie-0.4.1.1 cpphs-1.18.4 cprng-aes-0.5.2 cpu-0.1.2 crypto-api-0.13 crypto-cipher-tests-0.0.11 crypto-cipher-types-0.0.9 crypto-numbers-0.2.3 crypto-pubkey-0.2.4 crypto-pubkey-types-0.4.2.2 crypto-random-0.0.7 crypto-random-api-0.2.0 cryptocipher-0.6.2 cryptohash-0.11.4 cryptohash-conduit-0.1.1 cryptohash-cryptoapi-0.1.3 css-text-0.1.2.1 csv-conduit-0.6.3 data-binary-ieee754-0.4.4 data-default-0.5.3 data-default-class-0.0.1 data-default-instances-base-0.0.1 data-default-instances-containers-0.0.1 data-default-instances-dlist-0.0.1 data-default-instances-old-locale-0.0.1 data-inttrie-0.1.0 data-lens-light-0.1.0.2 data-memocombinators-0.5.1 data-reify-0.6 derive-2.5.16 diagrams-1.1.0.1 /home/ubuntu/haskell/stackage/patching/tarballs/diagrams-builder-0.5.0.9.tar.gz diagrams-cairo-1.1.0.2 diagrams-contrib-1.1.1.4 diagrams-core-1.1.0.2 diagrams-haddock-0.2.2.7 diagrams-lib-1.1.0.6 diagrams-postscript-1.0.2.4 diagrams-svg-1.0.2.1 digest-0.0.1.2 dimensional-0.13 direct-sqlite-2.3.13 directory-tree-0.11.0 distributive-0.4.4 dlist-0.7.0.1 dlist-instances-0.1 doctest-0.9.11 double-conversion-0.2.0.6 dual-tree-0.2.0.2 either-4.1.1 email-validate-2.0.1 enclosed-exceptions-1.0.0.1 entropy-0.2.2.4 enumerator-0.4.20 eq-4.0.1 erf-2.0.0.0 errorcall-eq-instance-0.1.0 errors-1.4.6 esqueleto-1.4.1 exceptions-0.6.1 extensible-exceptions-0.1.1.4 failure-0.2.0.2 fast-logger-2.1.5 fay-0.20.0.3 fay-base-0.19.1.2 fay-dom-0.4 fay-jquery-0.6.0.2 fay-text-0.3.0.2 fay-uri-0.2.0.0 fb-1.0 fb-persistent-0.3.2 file-embed-0.0.6 filemanip-0.3.6.2 fingertree-0.1.0.0 fixed-list-0.1.5 foldl-1.0.3 force-layout-0.3.0.3 fpco-api-1.1.1.2 free-4.7.1 fsnotify-0.0.11 generic-deriving-1.6.3 ghc-mtl-1.2.1.0 ghc-paths-0.1.0.9 graphs-0.5.0.1 gravatar-0.5.4 groom-0.1.2 groundhog-0.5.0 groundhog-mysql-0.5.0 groundhog-postgresql-0.5.0 groundhog-sqlite-0.5.0 groundhog-th-0.5.0 groupoids-4.0 groups-0.4.0.0 hPDB-1.1.2 hamlet-1.2.0 happstack-server-7.3.5 hashable-1.2.1.0 hashable-extras-0.2 hashtables-1.1.2.1 haskell-lexer-1.0 haskell-names-0.4 haskell-packages-0.2.3.4 haskell-src-exts-1.15.0.1 haxr-3000.10.2 hdaemonize-0.4.5.0 heaps-0.3.1 hebrew-time-0.1.1 heist-0.13.1 hexpat-0.20.6 highlighting-kate-0.5.7.1 hinotify-0.3.7 hint-0.4.2.0 hit-0.6.0 hjsmin-0.1.4.6 hlint-1.8.61 hoogle-4.2.32 hostname-1.0 hourglass-0.1.2 hs-bibutils-5.0 hscolour-1.20.3 hse-cpp-0.1 hslogger-1.2.4 hslua-0.3.12 hspec-1.9.5 hspec-expectations-0.5.0.1 hspec-meta-1.8.3 hsyslog-1.6 html-1.0.1.2 html-conduit-1.1.0.5 http-client-0.3.2.2 http-client-conduit-0.3.0 http-client-tls-0.2.1.1 http-conduit-2.1.2 http-date-0.0.4 http-reverse-proxy-0.3.1.6 http-types-0.8.4 httpd-shed-0.4.0.1 hweblib-0.6.2 hxt-9.3.1.4 hxt-charproperties-9.1.1.1 hxt-http-9.1.4 hxt-regex-xmlschema-9.1.0 hxt-relaxng-9.1.4 hxt-unicode-9.0.2.2 hyphenation-0.4 idna-0.3.0 ieee754-0.7.3 incremental-parser-0.2.3.2 indents-0.3.3 ini-0.2.0 integration-0.2.0.1 intervals-0.7 io-memoize-1.0.0.0 io-streams-1.1.4.3 iterable-2.0 /home/ubuntu/haskell/stackage/patching/tarballs/judy-0.2.2.tar.gz kan-extensions-4.0.2 keter-1.3.0 keys-3.10 kure-2.4.10 language-c-0.4.5 language-ecmascript-0.16.2 language-haskell-extract-0.2.4 language-java-0.2.6 language-javascript-0.5.13 lca-0.2.4 lens-4.1.2 lens-family-th-0.3.0.0 libgit-0.3.0 lifted-async-0.2.0 lifted-base-0.2.2.1 linear-1.10.1.1 list-extras-0.4.1.3 lists-0.4.2 logict-0.6.0.2 machines-0.2.5 markdown-0.1.7.1 markdown-unlit-0.2.0.1 math-functions-0.1.5.2 matrix-0.3.0.0 mime-mail-0.4.5.2 mime-mail-ses-0.2.2.2 mime-types-0.1.0.4 mmap-0.5.9 mmorph-1.0.3 monad-control-0.3.3.0 monad-coroutine-0.8 monad-extras-0.5.8 monad-logger-0.3.6.1 monad-loops-0.4.2 monad-par-0.3.4.6 monad-par-extras-0.3.3 monad-parallel-0.7.1.2 monad-products-4.0.0.1 monad-st-0.2.3 monadic-arrays-0.2.1.3 monads-tf-0.1.0.2 mongoDB-1.4.4 mono-traversable-0.5.0 monoid-extras-0.3.3.2 monoid-subclasses-0.3.6 mtl-2.1.3.1 mwc-random-0.13.1.1 mysql-0.1.1.6 mysql-simple-0.2.2.4 nanospec-0.2.0 nats-0.1.3 network-2.4.2.3 network-conduit-1.1.0 network-conduit-tls-1.1.0 network-info-0.2.0.3 newtype-0.2 numbers-3000.2.0.1 numeric-extras-0.0.3 numtype-1.1 optparse-applicative-0.8.1 pandoc-1.12.4 pandoc-citeproc-0.3.1 pandoc-types-1.12.3.3 parallel-3.2.0.4 parseargs-0.1.5.2 parsec-3.1.5 parsers-0.11 path-pieces-0.1.3.1 patience-0.1.1 pcre-light-0.4.0.2 pem-0.2.2 persistent-1.3.0.6 persistent-mongoDB-1.3.0.4 persistent-sqlite-1.3.0.5 persistent-template-1.3.1.3 pipes-4.1.1 pipes-concurrency-2.0.2 pipes-parse-3.0.1 pointed-4.0 polyparse-1.9 pool-conduit-0.1.2.3 postgresql-libpq-0.9.0.0 postgresql-simple-0.4.2.1 prelude-extras-0.4 pretty-class-0.1 pretty-show-1.6.7 primes-0.2.1.0 primitive-0.5.2.1 /home/ubuntu/haskell/stackage/patching/tarballs/process-conduit-1.1.0.0.tar.gz profunctor-extras-4.0 profunctors-4.0.3 project-template-0.1.4.1 publicsuffixlist-0.1 punycode-2.0 pureMD5-2.1.2.1 pwstore-fast-2.4.1 quickcheck-instances-0.3.8 quickcheck-io-0.1.1 random-1.0.1.1 random-shuffle-0.0.4 reducers-3.10.2 reflection-1.4 regex-applicative-0.3.0.2 regex-base-0.93.2 regex-compat-0.95.1 regex-pcre-builtin-0.94.4.8.8.34 regex-posix-0.95.2 regex-tdfa-1.2.0 resource-pool-0.2.2.0 resourcet-1.1.2.2 rev-state-0.1 rfc5051-0.1.0.3 runmemo-1.0.0.1 safe-0.3.4 scientific-0.2.0.2 securemem-0.1.3 semigroupoid-extras-4.0 semigroupoids-4.0.2 semigroups-0.12.2 sendfile-0.7.9 seqloc-0.5.1.1 setenv-0.1.1.1 shake-0.12 shakespeare-2.0.0.3 shakespeare-css-1.1.0 shakespeare-i18n-1.1.0 shakespeare-js-1.3.0 shakespeare-text-1.1.0 shelly-1.5.3.1 silently-1.2.4.1 simple-reflect-0.3.2 simple-sendfile-0.2.14 siphash-1.0.3 skein-1.0.9 smallcheck-1.1.1 smtLib-1.0.7 snap-0.13.2.5 snap-core-0.9.6.2 snap-server-0.9.4.4 snaplet-fay-0.3.3.5 socks-0.5.4 sourcemap-0.1.3.0 spawn-0.3 speculation-1.5.0.1 split-0.2.2 spoon-0.3.1 sqlite-simple-0.4.7.0 statestack-0.2 /home/ubuntu/haskell/stackage/patching/tarballs/statistics-0.10.5.2.tar.gz stm-2.4.3 stm-chans-3.0.0.2 stm-conduit-2.4.0 stm-stats-0.2.0.0 storable-endian-0.2.5 streaming-commons-0.1.2.3 streams-3.2 strict-0.3.2 stringable-0.1.3 stringbuilder-0.4.0 stringprep-1.0.0 stringsearch-0.3.6.5 stylish-haskell-0.5.10.0 syb-0.4.1 system-fileio-0.3.13 system-filepath-0.4.10 system-posix-redirect-1.1.0.1 tagged-0.7.2 tagshare-0.0 tagsoup-0.13.1 tagstream-conduit-0.5.5.1 tar-0.4.0.1 tardis-0.3.0.0 tasty-0.8.0.4 tasty-golden-2.2.1.1 tasty-hunit-0.8.0.1 tasty-quickcheck-0.8 tasty-smallcheck-0.8 tasty-th-0.1.1 temporary-1.2.0.2 temporary-rc-1.2.0.3 terminfo-0.4.0.0 test-framework-0.8.0.3 test-framework-hunit-0.3.0.1 test-framework-quickcheck2-0.3.0.3 test-framework-th-0.2.4 test-framework-th-prime-0.0.6 testing-feat-0.4.0.2 texmath-0.6.6.1 text-1.1.1.2 text-format-0.3.1.1 text-icu-0.6.3.7 texts-0.3.1 tf-random-0.5 th-expand-syns-0.3.0.4 threads-0.5.1.1 thyme-0.3.3.0 time-compat-0.1.0.3 time-lens-0.4.0.1 tls-1.2.7 tls-debug-0.3.3 transformers-base-0.4.2 transformers-compat-0.3 traverse-with-class-0.1.1.1 tree-view-0.4 type-eq-0.4.2 udbus-0.2.0 unbounded-delays-0.1.0.7 uniplate-1.6.12 /home/ubuntu/haskell/stackage/patching/tarballs/uniqueid-0.1.1.tar.gz unix-compat-0.4.1.1 unix-time-0.2.2 unordered-containers-0.2.4.0 utf8-light-0.4.2 utf8-string-0.3.7 uuid-1.3.3 vault-0.3.0.3 vector-0.10.9.1 vector-algorithms-0.6.0.1 vector-binary-instances-0.2.1.0 vector-instances-3.3 vector-space-0.8.6 vector-space-points-0.2 vector-th-unbox-0.2.0.2 vhd-0.2.2 void-0.6.1 wai-2.1.0.2 wai-app-static-2.0.1 wai-eventsource-2.0.0.2 wai-extra-2.1.1.1 wai-logger-2.1.1 wai-test-2.0.1.2 wai-websockets-2.1.0.1 warp-2.1.5.1 warp-tls-2.0.5 web-fpco-0.1.1.0 websockets-0.8.2.2 wl-pprint-1.1 wl-pprint-extras-3.5 wl-pprint-terminfo-3.7.1 word8-0.0.4 x509-1.4.11 x509-store-1.4.4 x509-system-1.4.5 x509-validation-1.5.0 xenstore-0.1.1 xhtml-3000.2.1 xml-1.3.13 xml-conduit-1.2.0.1 xml-types-0.3.4 xmlgen-0.6.2.1 xmlhtml-0.2.3.2 xss-sanitize-0.3.5.2 yackage-0.7.0.3 yaml-0.8.8.2 yesod-1.2.5.2 yesod-auth-1.3.0.4 yesod-auth-fb-1.6.2.1 yesod-bin-1.2.9.1 yesod-core-1.2.15.1 yesod-eventsource-1.1.0.2 yesod-fay-0.5.2 yesod-fb-0.3.2 yesod-form-1.3.8.3 yesod-newsfeed-1.2.0.2 yesod-persistent-1.2.2.3 yesod-routes-1.2.0.6 yesod-sitemap-1.2.0 yesod-static-1.2.3 yesod-test-1.2.1.5 yesod-websockets-0.1.0.0 zip-archive-0.2.2.1 zlib-0.5.4.1 zlib-bindings-0.1.1.5 zlib-conduit-1.1.0 zlib-enum-0.2.3\r\n\r\n```\r\ntrying: BlastHTTP-1.0.1 (user goal)\r\ntrying: transformers-0.3.0.0/installed-7df... (dependency of BlastHTTP-1.0.1)\r\ntrying: transformers-compat-0.3 (user goal)\r\nrejecting: transformers-compat-0.3:-transformers2 (conflict:\r\ntransformers==0.3.0.0/installed-7df..., transformers-compat-0.3:transformers2\r\n=> transformers>=0.4 && <0.5)\r\nrejecting: transformers-compat-0.3:+transformers2 (conflict:\r\ntransformers==0.3.0.0/installed-7df..., transformers-compat-0.3:transformers2\r\n=> transformers>=0.2 && <0.3)\r\nDependency tree exhaustively searched.\r\nResolving dependencies...\r\ncabal returned a bad result, exiting\r\n```"},"comment":{"url":"https://api.github.com/repos/haskell/cabal/issues/comments/73552269","html_url":"https://github.com/haskell/cabal/issues/1855#issuecomment-73552269","issue_url":"https://api.github.com/repos/haskell/cabal/issues/1855","id":73552269,"user":{"login":"bergmark","id":100681,"avatar_url":"https://avatars.githubusercontent.com/u/100681?v=3","gravatar_id":"","url":"https://api.github.com/users/bergmark","html_url":"https://github.com/bergmark","followers_url":"https://api.github.com/users/bergmark/followers","following_url":"https://api.github.com/users/bergmark/following{/other_user}","gists_url":"https://api.github.com/users/bergmark/gists{/gist_id}","starred_url":"https://api.github.com/users/bergmark/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bergmark/subscriptions","organizations_url":"https://api.github.com/users/bergmark/orgs","repos_url":"https://api.github.com/users/bergmark/repos","events_url":"https://api.github.com/users/bergmark/events{/privacy}","received_events_url":"https://api.github.com/users/bergmark/received_events","type":"User","site_admin":false},"created_at":"2015-02-09T17:35:03Z","updated_at":"2015-02-09T17:35:03Z","body":"@neothemachine you should test that with --max-backjumps=-1, it stopped before the search space was exhausted.\r\n"}}