diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-12-29 23:46:52 -0500 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-02-20 21:56:13 -0500 |
commit | 89cb4cc4cc76f834b0bcc53fb551db706ef143b7 (patch) | |
tree | c1d16f85237abfa8ed866a17853a74367f065fca /compiler/utils | |
parent | c5ec996583373025488c090fb2c89f7bda38c1cb (diff) | |
download | haskell-89cb4cc4cc76f834b0bcc53fb551db706ef143b7.tar.gz |
Use Type instead of * in GHC
Diffstat (limited to 'compiler/utils')
-rw-r--r-- | compiler/utils/TrieMap.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/utils/TrieMap.hs b/compiler/utils/TrieMap.hs index 917e3b21f6..f4106437a1 100644 --- a/compiler/utils/TrieMap.hs +++ b/compiler/utils/TrieMap.hs @@ -39,6 +39,7 @@ import qualified Data.Map as Map import qualified Data.IntMap as IntMap import Outputable import Control.Monad( (>=>) ) +import Data.Kind( Type ) {- This module implements TrieMaps, which are finite mappings @@ -65,7 +66,7 @@ type XT a = Maybe a -> Maybe a -- How to alter a non-existent elt (Nothing) -- or an existing elt (Just) class TrieMap m where - type Key m :: * + type Key m :: Type emptyTM :: m a lookupTM :: forall b. Key m -> m b -> Maybe b alterTM :: forall b. Key m -> XT b -> m b -> m b |