summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorConalElliott <>2018-11-07 17:39:00 (GMT)
committerhdiff <hdiff@hdiff.luite.com>2018-11-07 17:39:00 (GMT)
commit7359297c100cf0a962c325a5499f774584494857 (patch)
treefd8240aff80fa28f5fb2be3306a00db1e861dca1
parentf8fb67364650732d7f01611f7db510f22448a3af (diff)
version 0.9.14HEAD0.9.14master
-rw-r--r--TypeCompose.cabal2
-rw-r--r--src/Control/Compose.hs10
2 files changed, 10 insertions, 2 deletions
diff --git a/TypeCompose.cabal b/TypeCompose.cabal
index fb7280e..d975ffa 100644
--- a/TypeCompose.cabal
+++ b/TypeCompose.cabal
@@ -1,5 +1,5 @@
Name: TypeCompose
-Version: 0.9.13
+Version: 0.9.14
Synopsis: Type composition classes & instances
Category: Composition, Control
Cabal-Version: >= 1.6
diff --git a/src/Control/Compose.hs b/src/Control/Compose.hs
index 9b7d3d5..fc33ae7 100644
--- a/src/Control/Compose.hs
+++ b/src/Control/Compose.hs
@@ -6,6 +6,9 @@
#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702
{-# Language DeriveGeneric #-}
#endif
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 710
+{-# Language KindSignatures, PolyKinds #-}
+#endif
-- For ghc 6.6 compatibility
-- {-# OPTIONS -fglasgow-exts -fallow-undecidable-instances #-}
@@ -214,7 +217,12 @@ someday Haskell will do Prolog-style search for instances, subgoaling the
constraints, rather than just matching instance heads.
-}
-newtype (g :. f) a = O (g (f a)) deriving ( Eq, Show, Ord
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 710
+newtype ((g :: k2 -> *) :. (f :: k1 -> k2)) (a :: k1)
+#else
+newtype (g :. f) a
+#endif
+ = O (g (f a)) deriving ( Eq, Show, Ord
#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702
, Generic
#endif