From 3fe933aa59f95ea1643e5dcddf216e020d6028a5 Mon Sep 17 00:00:00 2001
From: Gleb Popov <6yearold@gmail.com>
Date: Mon, 10 May 2021 15:22:58 +0300
Subject: [PATCH] Add support for containers-0.6.x.x

---
 hatt.cabal                             | 2 +-
 src/Data/Logic/Propositional/Tables.hs | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/hatt.cabal b/hatt.cabal
index 2f01536..2de3b29 100644
--- a/hatt.cabal
+++ b/hatt.cabal
@@ -30,7 +30,7 @@ Library
   GHC-options:      -Wall
   Build-depends:    base           >= 4 && < 5,
                     transformers   >= 0.3,
-                    containers     >= 0.3 && < 0.6,
+                    containers     >= 0.3 && < 0.7,
                     parsec         >= 3.0 && < 3.2,
                     QuickCheck     >= 2.4,
                     ansi-wl-pprint >= 0.6 && < 0.7
diff --git a/src/Data/Logic/Propositional/Tables.hs b/src/Data/Logic/Propositional/Tables.hs
index b7af21d..d848396 100644
--- a/src/Data/Logic/Propositional/Tables.hs
+++ b/src/Data/Logic/Propositional/Tables.hs
@@ -39,7 +39,7 @@ truthTableP (expPrinter, boolPrinter) expr = unlines [header, separator, body]
 showAssignment :: (Bool -> String) -> Expr -> Mapping -> String
 showAssignment printer expr a = showVarValues ++ " | " ++ showExprValue
   where
-    showVarValues = unwords $ fold ((:) . printer) [] a
+    showVarValues = unwords $ foldr ((:) . printer) [] a
     showExprValue = printer $ interpret expr a
 
 -- | Prints @T@ for 'True' and @F@ for 'False'.