diff --git a/compiler/typecheck/TcMType.lhs b/compiler/typecheck/TcMType.lhs index 60bee0ba8041c93ee16039aa68d3bd0850b9bf52..2817ea9d637d2582dc2c9b951bfec2c1df475124 100644 --- a/compiler/typecheck/TcMType.lhs +++ b/compiler/typecheck/TcMType.lhs @@ -113,7 +113,7 @@ import Data.List ( (\\), partition, mapAccumL ) \begin{code} newMetaKindVar :: TcM TcKind -newMetaKindVar = do { uniq <- newUnique +newMetaKindVar = do { uniq <- newMetaUnique ; ref <- newMutVar Flexi ; return (mkTyVarTy (mkMetaKindVar uniq ref)) }