Skip to content
This repository has been archived by the owner on Mar 21, 2020. It is now read-only.

Commit

Permalink
Add PolyKinds to Data.GADT.Compare.TH
Browse files Browse the repository at this point in the history
This allows deriveGCompare to generate instances of GCompare for types of kind (k -> *) rather than just (* -> *)
  • Loading branch information
Ryan Trinkle committed Jul 13, 2015
1 parent 2ceb726 commit d7ef367
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions src/Data/GADT/Compare/TH.hs
Original file line number Diff line number Diff line change
Expand Up @@ -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(..)
Expand Down

0 comments on commit d7ef367

Please sign in to comment.