From 0c7ad6906b815d87ecf467c42ede1142c1a7d32d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9s=20Sicard-Ram=C3=ADrez?= Date: Sun, 10 Sep 2017 22:46:02 -0500 Subject: [PATCH 1/4] Enabled Agda 2.5.3. --- build-constraints.yaml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index 58c9bdd8..092d2703 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -2033,8 +2033,7 @@ packages: - ipython-kernel # GHC 8 "Andrés Sicard-Ramírez @asr": - [] - # - Agda # GHC 8.2.1 + - Agda "James Cook @mokus0": - dependent-sum From 8fff76ac405078f0a4b63d7d56e65fb988c507ce Mon Sep 17 00:00:00 2001 From: Luke Murphy Date: Mon, 11 Sep 2017 10:52:44 +0200 Subject: [PATCH 2/4] Expect haddock failure for Agda (2.5.3). Please see https://github.com/agda/agda/issues/2748. --- build-constraints.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/build-constraints.yaml b/build-constraints.yaml index 092d2703..9cc45635 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -3907,6 +3907,7 @@ expected-haddock-failures: - MemoTrie # https://github.com/conal/MemoTrie/issues/10 - text-generic-pretty # https://github.com/fpco/stackage/pull/2160 - cubicbezier # https://github.com/kuribas/cubicbezier/issues/4 + - Agda # https://github.com/agda/agda/issues/2748 # Haddock bugs - swagger2 # https://github.com/GetShopTV/swagger2/issues/66 From 8611bc166af6d9a159e92366b62991d8107d81f1 Mon Sep 17 00:00:00 2001 From: Luke Murphy Date: Tue, 12 Sep 2017 11:59:57 +0200 Subject: [PATCH 3/4] Re-enable haddocks for Adga. Closes https://github.com/agda/agda/issues/2748#issuecomment-328804066. --- build-constraints.yaml | 1 - 1 file changed, 1 deletion(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index 9cc45635..092d2703 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -3907,7 +3907,6 @@ expected-haddock-failures: - MemoTrie # https://github.com/conal/MemoTrie/issues/10 - text-generic-pretty # https://github.com/fpco/stackage/pull/2160 - cubicbezier # https://github.com/kuribas/cubicbezier/issues/4 - - Agda # https://github.com/agda/agda/issues/2748 # Haddock bugs - swagger2 # https://github.com/GetShopTV/swagger2/issues/66 From e59c8fa44964ae159fc0ff65a540bddd52a7e212 Mon Sep 17 00:00:00 2001 From: Michael Snoyman Date: Wed, 13 Sep 2017 15:34:38 +0300 Subject: [PATCH 4/4] Upper bound for #2860 --- build-constraints.yaml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/build-constraints.yaml b/build-constraints.yaml index 092d2703..33922a85 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -3378,6 +3378,9 @@ packages: # https://github.com/fpco/stackage/issues/2832 - io-streams < 1.5 + # https://github.com/fpco/stackage/issues/2860 + - language-c < 0.7 + # end of packages # Package flags are applied to individual packages, and override the values of