From 060830ff94380925f7cb78cbc8ba708e55c2e13d Mon Sep 17 00:00:00 2001 From: Dan Burton Date: Wed, 26 Aug 2020 22:29:34 -0400 Subject: [PATCH] expect liquid-fixpoint tests to fail --- build-constraints.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/build-constraints.yaml b/build-constraints.yaml index 488b6c3d..c440e1e2 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -5629,6 +5629,7 @@ expected-test-failures: - haskeline # https://github.com/commercialhaskell/stackage/issues/5439 - character-cases # https://github.com/aiya000/hs-character-cases/issues/3 - lz4-frame-conduit # https://github.com/nh2/lz4-frame-conduit/issues/3 + - liquid-fixpoint # TODO: DanBurton # Compilation failures - ListLike # No issue tracker, e-mail sent to maintainer