From 5133bb97a47340a9008615e412fcf62f7762bea8 Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones <simonpj@microsoft.com> Date: Wed, 22 Aug 2012 18:01:57 +0100 Subject: [PATCH] Allocate a fresh META unique in newMetaKindVar Fixes Trac #7176 on the branch. HEAD has a better fix (the big patch to untouchable handling) --- compiler/typecheck/TcMType.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/typecheck/TcMType.lhs b/compiler/typecheck/TcMType.lhs index 60bee0ba8041..2817ea9d637d 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)) } -- GitLab