Skip to content

Commit

Permalink
Use Type instead of * to fix GHC warning
Browse files Browse the repository at this point in the history
> Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future.
  • Loading branch information
EduardSergeev committed Mar 31, 2024
1 parent 2c4d7b3 commit 64885a0
Showing 1 changed file with 11 additions and 10 deletions.
21 changes: 11 additions & 10 deletions Control/Monad/Memo/Array.hs
Expand Up @@ -46,18 +46,19 @@ module Control.Monad.Memo.Array
) where


import Data.Function
import Data.Maybe (Maybe(..))
import Data.Array.ST
import Data.Array.IO
import Control.Monad
import Control.Monad.Trans.Class
import Control.Monad.Memo.Class
import Control.Monad.ST
import System.IO
import Control.Monad.Trans.Class
import Control.Monad.Trans.Memo.ReaderCache
import Data.Array.IO
import Data.Array.ST
import Data.Function
import Data.Kind (Type(..))

import Data.Maybe (Maybe(..))
import Data.MaybeLike
import Control.Monad.Memo.Class
import Control.Monad.Trans.Memo.ReaderCache
import System.IO


newtype Container arr = Container { toArray :: arr }
Expand Down Expand Up @@ -95,7 +96,7 @@ instance (Monad m, Ix k, MaybeLike e v, MArray c e m) =>
-- --------------------------

-- | A family of boxed arrays
type family Array (m :: * -> *) :: * -> * -> *
type family Array (m :: Type -> Type) :: Type -> Type -> Type

type instance Array (ST s) = STArray s
type instance Array IO = IOArray
Expand Down Expand Up @@ -138,7 +139,7 @@ runArrayMemo = genericRunArrayMemo
-- ----------------------------

-- | A family of unboxed arrays
type family UArray (m :: * -> *) :: * -> * -> *
type family UArray (m :: Type -> Type) :: Type -> Type -> Type

type instance UArray (ST s) = STUArray s
type instance UArray IO = IOUArray
Expand Down

0 comments on commit 64885a0

Please sign in to comment.