diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-14 11:12:01 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-14 11:12:01 +0100 |
| commit | f4c327ad08d9df0fbafa0ad476a9ef26f8cd6abb (patch) | |
| tree | 2789f376a5b8ba9840b13734fc5ac46493ea5eec | |
| parent | 77b63e74454170bd658c6773b9d5c172920d5cc5 (diff) | |
| download | haskell-f4c327ad08d9df0fbafa0ad476a9ef26f8cd6abb.tar.gz | |
When allocating a new kind variable, do so with newMetaUnique
| -rw-r--r-- | compiler/typecheck/TcMType.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcMType.lhs b/compiler/typecheck/TcMType.lhs index a212f2506d..67ed96731d 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)) } |