barbies-1.1.3.0.patch 1.23 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
commit 69d6cb742b2210f231620b90ee729a195a0f55ad
Author: Ryan Scott <ryan.gl.scott@gmail.com>
Date:   Wed Aug 28 07:08:30 2019 -0400

    Allow building with GHC 8.8

diff --git a/src/Data/Barbie/Internal/Constraints.hs b/src/Data/Barbie/Internal/Constraints.hs
index d1da2f2..7087ed2 100644
--- a/src/Data/Barbie/Internal/Constraints.hs
+++ b/src/Data/Barbie/Internal/Constraints.hs
@@ -179,7 +179,7 @@ gbaddDictsDefault
 class GAllBC (repbf :: * -> *) where
   type GAllB (c :: k -> Constraint) repbf :: Constraint
 
-class GAllBC repbx => GConstraintsB c (f :: k -> *) repbx repbf repbdf where
+class GAllBC repbx => GConstraintsB c f repbx repbf repbdf where
   gbaddDicts :: GAllB c repbx => repbf x -> repbdf x
 
 
diff --git a/src/Data/Barbie/Internal/Product.hs b/src/Data/Barbie/Internal/Product.hs
index 31abc4b..6fef250 100644
--- a/src/Data/Barbie/Internal/Product.hs
+++ b/src/Data/Barbie/Internal/Product.hs
@@ -168,7 +168,7 @@ gbuniqDefault x
   = toN (gbuniq @f @f @_ @(RepN (b f)) @(RepN (b (f `Product` f))) x)
 {-# INLINE gbuniqDefault #-}
 
-class GProductB (f :: k -> *) (g :: k -> *) repbf repbg repbfg where
+class GProductB f g repbf repbg repbfg where
   gbprod :: repbf x -> repbg x -> repbfg x
 
   gbuniq :: (forall a . f a) -> repbf x