X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcMType.lhs;fp=compiler%2Ftypecheck%2FTcMType.lhs;h=b31a4cc41ee09150d93175ff7f5adc03b344f06b;hp=84fb1b81ede9cce659a7bf3faa03f3218449bbc4;hb=2072edcfe180f617d8f9f8990f682589c4e35082;hpb=bff88b3a5bf96eea57e99a09774a74bd18cf4e13

diff --git a/compiler/typecheck/TcMType.lhs b/compiler/typecheck/TcMType.lhs
index 84fb1b8..b31a4cc 100644
--- a/compiler/typecheck/TcMType.lhs
+++ b/compiler/typecheck/TcMType.lhs
@@ -497,12 +497,12 @@ zonkTcTypeCarefully ty
       | otherwise
       = ASSERT( isTcTyVar tv )
     	case tcTyVarDetails tv of
-    	  SkolemTv {}  -> return (TyVarTy tv)
+    	  SkolemTv {}    -> return (TyVarTy tv)
     	  FlatSkol ty  -> zonkType (zonk_tv env_tvs) ty
-    	  MetaTv _ ref -> do { cts <- readMutVar ref
-			     ; case cts of    
-			         Flexi       -> return (TyVarTy tv)
-			         Indirect ty -> zonkType (zonk_tv env_tvs) ty }
+    	  MetaTv _ ref   -> do { cts <- readMutVar ref
+			       ; case cts of    
+			           Flexi       -> return (TyVarTy tv)
+			           Indirect ty -> zonkType (zonk_tv env_tvs) ty }
 
 zonkTcType :: TcType -> TcM TcType
 -- Simply look through all Flexis
@@ -513,12 +513,12 @@ zonkTcTyVar :: TcTyVar -> TcM TcType
 zonkTcTyVar tv
   = ASSERT2( isTcTyVar tv, ppr tv )
     case tcTyVarDetails tv of
-      SkolemTv {}  -> return (TyVarTy tv)
+      SkolemTv {}    -> return (TyVarTy tv)
       FlatSkol ty  -> zonkTcType ty
-      MetaTv _ ref -> do { cts <- readMutVar ref
-			 ; case cts of    
-			     Flexi       -> return (TyVarTy tv)
-			     Indirect ty -> zonkTcType ty }
+      MetaTv _ ref   -> do { cts <- readMutVar ref
+			   ; case cts of    
+			       Flexi       -> return (TyVarTy tv)
+			       Indirect ty -> zonkTcType ty }
 
 zonkTcTypeAndSubst :: TvSubst -> TcType -> TcM TcType
 -- Zonk, and simultaneously apply a non-necessarily-idempotent substitution
@@ -526,12 +526,12 @@ zonkTcTypeAndSubst subst ty = zonkType zonk_tv ty
   where
     zonk_tv tv 
       = case tcTyVarDetails tv of
-      	  SkolemTv {}  -> return (TyVarTy tv)
-      	  FlatSkol ty  -> zonkType zonk_tv ty
-      	  MetaTv _ ref -> do { cts <- readMutVar ref
-			     ; case cts of    
-			         Flexi       -> zonk_flexi tv
-			         Indirect ty -> zonkType zonk_tv ty }
+      	  SkolemTv {}    -> return (TyVarTy tv)
+      	  FlatSkol ty    -> zonkType zonk_tv ty
+      	  MetaTv _ ref   -> do { cts <- readMutVar ref
+			       ; case cts of    
+			           Flexi       -> zonk_flexi tv
+			           Indirect ty -> zonkType zonk_tv ty }
     zonk_flexi tv
       = case lookupTyVar subst tv of
           Just ty -> zonkType zonk_tv ty
@@ -750,12 +750,12 @@ mkZonkTcTyVar :: (TcTyVar -> TcM Type)	-- What to do for an unbound mutable var
 mkZonkTcTyVar unbound_var_fn tyvar 
   = ASSERT( isTcTyVar tyvar )
     case tcTyVarDetails tyvar of
-      SkolemTv {}  -> return (TyVarTy tyvar)
-      FlatSkol ty  -> zonkType (mkZonkTcTyVar unbound_var_fn) ty
-      MetaTv _ ref -> do { cts <- readMutVar ref
-			 ; case cts of    
-			     Flexi       -> unbound_var_fn tyvar  
-			     Indirect ty -> zonkType (mkZonkTcTyVar unbound_var_fn) ty }
+      SkolemTv {}    -> return (TyVarTy tyvar)
+      FlatSkol ty    -> zonkType (mkZonkTcTyVar unbound_var_fn) ty
+      MetaTv _ ref   -> do { cts <- readMutVar ref
+			   ; case cts of    
+			       Flexi       -> unbound_var_fn tyvar  
+			       Indirect ty -> zonkType (mkZonkTcTyVar unbound_var_fn) ty }
 
 -- Zonk the kind of a non-TC tyvar in case it is a coercion variable 
 -- (their kind contains types).