[commit: ghc] master: When allocating a new kind variable, do so with newMetaUnique (f4c327a)
Simon Peyton Jones <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/f4c327ad08d9df0fbafa0ad476a9ef26f8cd6abb >--------------------------------------------------------------- commit f4c327ad08d9df0fbafa0ad476a9ef26f8cd6abb Author: Simon Peyton Jones <[email protected]> Date: Fri Sep 14 11:12:01 2012 +0100 When allocating a new kind variable, do so with newMetaUnique >--------------------------------------------------------------- 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 a212f25..67ed967 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)) }