Looser lower-bound on Data.Kind export for GHC 8.0.x for #79

This commit is contained in:
Stephen Diehl
2018-02-05 14:33:12 +00:00
parent 8c9d0f4666
commit 9a61a70a19
+3 -2
View File
@@ -96,6 +96,7 @@ import GHC.Stack as X (
, prettyCallStack , prettyCallStack
, withFrozenCallStack , withFrozenCallStack
) )
#endif
#if ( __GLASGOW_HASKELL__ >= 710 ) #if ( __GLASGOW_HASKELL__ >= 710 )
import GHC.TypeLits as X ( import GHC.TypeLits as X (
@@ -117,15 +118,15 @@ import GHC.TypeLits as X (
import GHC.Records as X ( import GHC.Records as X (
HasField(..) HasField(..)
) )
#endif
#if ( __GLASGOW_HASKELL__ >= 800 )
import Data.Kind as X ( import Data.Kind as X (
type (*) type (*)
, type Type , type Type
) )
#endif #endif
#endif
-- Default Prelude defines this at the toplevel module, so we do as well. -- Default Prelude defines this at the toplevel module, so we do as well.
infixr 0 $! infixr 0 $!