From 98f58cb9f90c88c09ee78713eb3b586112facd6e Mon Sep 17 00:00:00 2001 From: Hiromi ISHII Date: Mon, 18 Jan 2021 01:55:07 +0900 Subject: [PATCH] Fixes #5829: drops uppber bounds of `ghc-typelits-presburger`, `singletons-presburger` and `type-natural`. --- build-constraints.yaml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index e3987b04..179e6589 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -4387,9 +4387,9 @@ packages: "Hiromi Ishii @konn": - equational-reasoning - - ghc-typelits-presburger < 0.5 # https://github.com/commercialhaskell/stackage/issues/5829 - - singletons-presburger < 0.5 # https://github.com/commercialhaskell/stackage/issues/5829 - - type-natural < 1 # https://github.com/commercialhaskell/stackage/issues/5829 + - ghc-typelits-presburger + - singletons-presburger + - type-natural - subcategories - sized