dependent-sum 0.2.0.2 → 0.2.1.0

raw patch · 2 files changed

+4/−1 lines, 2 files

Files

dependent-sum.cabal +1/−1
src/Data/GADT/Compare.hs +3/−0

dependent-sum.cabal view

@@ -1,5 +1,5 @@ name:                   dependent-sum-version:                0.2.0.2+version:                0.2.1.0 stability:              provisional  cabal-version:          >= 1.6

src/Data/GADT/Compare.hs view

@@ -4,6 +4,9 @@ {-# OPTIONS_GHC -fno-warn-deprecated-flags #-} {-# LANGUAGE ImpredicativeTypes #-} {-# LANGUAGE CPP #-}+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 708+{-# LANGUAGE PolyKinds #-}+#endif #if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702 {-# LANGUAGE Safe #-} #endif