From d7ef36729fdc1176ca8fc66e7e0258c88905e0d6 Mon Sep 17 00:00:00 2001
From: Ryan Trinkle <ryan.trinkle@gmail.com>
Date: Mon, 13 Jul 2015 07:13:13 -0400
Subject: [PATCH] Add PolyKinds to Data.GADT.Compare.TH

This allows deriveGCompare to generate instances of GCompare for types of kind (k -> *) rather than just (* -> *)
---
 src/Data/GADT/Compare/TH.hs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Data/GADT/Compare/TH.hs b/src/Data/GADT/Compare/TH.hs
index acbafe5..1b7da34 100644
--- a/src/Data/GADT/Compare/TH.hs
+++ b/src/Data/GADT/Compare/TH.hs
@@ -3,6 +3,9 @@
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE TemplateHaskell #-}
 {-# LANGUAGE TypeOperators #-}
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 708
+{-# LANGUAGE PolyKinds #-}
+#endif
 module Data.GADT.Compare.TH
     ( DeriveGEQ(..)
     , DeriveGCompare(..)