X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcUnify.lhs;h=e00c8ef105f646470454986c2106a194e907bc6c;hb=7929e42210b7d8ff518cfcdb353188c283dd48e5;hp=f22d2bc02c9232ca8a7cf56b5644d41a422096c7;hpb=a9da016ad847161f8209ba116079c059c7d3406a;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcUnify.lhs b/compiler/typecheck/TcUnify.lhs
index f22d2bc..e00c8ef 100644
--- a/compiler/typecheck/TcUnify.lhs
+++ b/compiler/typecheck/TcUnify.lhs
@@ -53,7 +53,8 @@ import TcType		( TcKind, TcType, TcTyVar, BoxyTyVar, TcTauType,
 			  TvSubst, mkTvSubst, zipTyEnv, substTy, emptyTvSubst, 
 			  lookupTyVar, extendTvSubst )
 import Kind		( Kind(..), SimpleKind, KindVar, isArgTypeKind,
-			  openTypeKind, liftedTypeKind, mkArrowKind, defaultKind,
+			  openTypeKind, liftedTypeKind, unliftedTypeKind, 
+			  mkArrowKind, defaultKind,
 			  isOpenTypeKind, argTypeKind, isLiftedTypeKind, isUnliftedTypeKind,
 			  isSubKind, pprKind, splitKindFunTys )
 import TysPrim		( alphaTy, betaTy )
@@ -1504,6 +1505,7 @@ kindSimpleKind orig_swapped orig_kind
     go True OpenTypeKind = return liftedTypeKind
     go True ArgTypeKind  = return liftedTypeKind
     go sw LiftedTypeKind  = return liftedTypeKind
+    go sw UnliftedTypeKind = return unliftedTypeKind
     go sw k@(KindVar _)	  = return k	-- KindVars are always simple
     go swapped kind = failWithTc (ptext SLIT("Unexpected kind unification failure:")
 				  <+> ppr orig_swapped <+> ppr orig_kind)