From 8fff76ac405078f0a4b63d7d56e65fb988c507ce Mon Sep 17 00:00:00 2001
From: Luke Murphy <lukewm@riseup.net>
Date: Mon, 11 Sep 2017 10:52:44 +0200
Subject: [PATCH] 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