diff options
Diffstat (limited to 'compiler/utils/TrieMap.hs')
| -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 |