From: simonpj <unknown>
Date: Thu, 20 Feb 2003 16:01:56 +0000 (+0000)
Subject: [project @ 2003-02-20 16:01:56 by simonpj]
X-Git-Tag: Approx_11550_changesets_converted~1127
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=3194c5289207114a3417be884b2174a4375b808f;p=ghc-hetmet.git

[project @ 2003-02-20 16:01:56 by simonpj]
Comments and imports only
---

diff --git a/ghc/compiler/typecheck/TcType.lhs b/ghc/compiler/typecheck/TcType.lhs
index d604b07..3282d33 100644
--- a/ghc/compiler/typecheck/TcType.lhs
+++ b/ghc/compiler/typecheck/TcType.lhs
@@ -127,7 +127,7 @@ import Type		(	-- Re-exports
 			  mkTyVarTy, mkTyVarTys, mkTyConTy, mkPredTy,
 			  mkPredTys, isUnLiftedType,
 			  isUnboxedTupleType, isPrimitiveType,
-			  splitNewType_maybe, splitTyConApp_maybe,
+			  splitTyConApp_maybe,
 			  tidyTopType, tidyType, tidyPred, tidyTypes,
 			  tidyFreeTyVars, tidyOpenType, tidyOpenTypes,
 			  tidyTyVarBndr, tidyOpenTyVar,
@@ -853,7 +853,7 @@ isFFILabelTy = checkRepTyCon (\tc -> tc == ptrTyCon || tc == funPtrTyCon || tc =
 checkRepTyCon :: (TyCon -> Bool) -> Type -> Bool
 	-- Look through newtypes
 	-- Non-recursive ones are transparent to splitTyConApp,
-	-- but recursive ones aren't; hence the splitNewType_maybe
+	-- but recursive ones aren't
 checkRepTyCon check_tc ty 
   | Just (tc,_) <- splitTyConApp_maybe (repType ty) = check_tc tc
   | otherwise				  	    = False