[project @ 2002-09-06 13:51:38 by simonmar]

Disallow 'ForeignPtr' as an FFI argument type.  It has been deprecated
for some time (withForeignPtr is the approved way to pass a
ForeignPtr).  The changes I'm about to make to ForeignPtr will stop it
working anyhow.

diff --git a/ghc/compiler/typecheck/TcForeign.lhs b/ghc/compiler/typecheck/TcForeign.lhs
index 87950e6..9af2428 100644 (file)
--- a/ghc/compiler/typecheck/TcForeign.lhs
+++ b/ghc/compiler/typecheck/TcForeign.lhs
@@ -43,7 +43,7 @@ import TcType         ( Type, tcSplitFunTys, tcSplitTyConApp_maybe,
                          isFFIArgumentTy, isFFIImportResultTy, 
                          isFFIExportResultTy, isFFILabelTy,
                          isFFIExternalTy, isFFIDynArgumentTy,
-                         isFFIDynResultTy, isForeignPtrTy
+                         isFFIDynResultTy,
                        )
 import ForeignCall     ( CExportSpec(..), CCallTarget(..), CCallConv(..),
                          isDynamicTarget, isCasmTarget ) 
@@ -251,11 +251,7 @@ checkForeignArgs pred tys
   = mapNF_Tc go tys            `thenNF_Tc_` 
     returnNF_Tc ()
   where
-    go ty = check (pred ty) (illegalForeignTyErr argument ty)   `thenNF_Tc_`
-           warnTc (isForeignPtrTy ty) foreignPtrWarn
-    --
-    foreignPtrWarn = 
-      text "`ForeignPtr' as argument type in a foreign import is deprecated"
+    go ty = check (pred ty) (illegalForeignTyErr argument ty)
 
 ------------ Checking result types for foreign calls ----------------------
 -- Check that the type has the form