Fix ReaderT's kind
author"Samuel Gélineau" <gelisam@gmail.com>
Mon, 24 Sep 2018 12:58:48 +0000 (12:58 +0000)
committer"Samuel Gélineau" <gelisam@gmail.com>
Mon, 24 Sep 2018 12:58:48 +0000 (12:58 +0000)
ReaderT's kind was * -> (k -> *) -> k -> *, but this was clearly a
mistake, since monads have kind (* -> *).

Control/Monad/Trans/Reader.hs

index f0b80f7..c8304e1 100644 (file)
@@ -2,9 +2,6 @@
 #if __GLASGOW_HASKELL__ >= 702
 {-# LANGUAGE Safe #-}
 #endif
-#if __GLASGOW_HASKELL__ >= 706
-{-# LANGUAGE PolyKinds #-}
-#endif
 #if __GLASGOW_HASKELL__ >= 710
 {-# LANGUAGE AutoDeriveTypeable #-}
 #endif