Disable ghc-typelits-presburger, #5438
commit3ece5a7b095290bee72a0b85a6903f4ea1e60ec7
authorAlexey Zabelin <hello@alexeyzabelin.com>
dateWed 17 Jun 2020, 09:32 (6 years ago)
parent9a9a42c
build-constraints.yaml+2−2
@@ -4240,8 +4240,8 @@ packages:
42404240
42414241 "Hiromi Ishii <konn.jinro@gmail.com> @konn":
42424242 - equational-reasoning
4243− - ghc-typelits-presburger
4244− - singletons-presburger
4243+ - ghc-typelits-presburger < 0 # ghc 8.10.1 https://github.com/commercialhaskell/stackage/issues/5438
4244+ - singletons-presburger < 0 # via ghc-typelits-presburger
42454245 - type-natural < 0 # ghc 8.10
42464246 - sized < 0 # ghc 8.10
42474247