Expect haddock failure for Agda (2.5.3).

Please see https://github.com/agda/agda/issues/2748.
This commit is contained in:
Luke Murphy 2017-09-11 10:52:44 +02:00
parent 722a30b1c1
commit 8fff76ac40
No known key found for this signature in database
GPG Key ID: 5E2EF5A63E3718CC

View File

@ -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