From: simonpj@microsoft.com <unknown>
Date: Tue, 3 Mar 2009 17:42:58 +0000 (+0000)
Subject: Fix Trac #3066: checking argument types in foreign calls
X-Git-Tag: 2009-03-13~33
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=371d661d6fcdae01b6b4f04b916a842e9fe7fc76;p=ghc-hetmet.git

Fix Trac #3066: checking argument types in foreign calls

When checking argument types in a foreign call we were stupidly
looking through foralls.  The fix is easy.

Merge to 6.10.2
---

diff --git a/compiler/typecheck/TcType.lhs b/compiler/typecheck/TcType.lhs
index e0e7649..d6dbf1c 100644
--- a/compiler/typecheck/TcType.lhs
+++ b/compiler/typecheck/TcType.lhs
@@ -1268,8 +1268,9 @@ checkRepTyCon :: (TyCon -> Bool) -> Type -> Bool
 	--	newtype T = MkT (Ptr T)
 	-- and wanted it to work...
 checkRepTyCon check_tc ty 
-  | Just (tc,_) <- splitTyConApp_maybe (repType ty) = check_tc tc
-  | otherwise				  	    = False
+  | Just (ty', _) <- splitNewTypeRepCo_maybe ty = checkRepTyCon check_tc ty'
+  | Just (tc,_)   <- splitTyConApp_maybe ty     = check_tc tc
+  | otherwise				  	= False
 
 checkRepTyConKey :: [Unique] -> Type -> Bool
 -- Like checkRepTyCon, but just looks at the TyCon key