patch applied (ghc): Fix Trac #3066: checking argument types in foreign calls

[Manuel M T Chakravarty]

Did you validate this one?  I get

> /Users/chak/Code/ghc-test/ghc/stage1-inplace/ghc -package-name  
> base-4.0.0.0 -hide-all-packages -no-user-package-conf -i -idist/ 
> build -i. -idist/build/autogen -Idist/build/autogen -Idist/build - 
> Iinclude -optP-include -optPdist/build/autogen/cabal_macros.h - 
> #include "HsBase.h" -odir dist/build -hidir dist/build -stubdir dist/ 
> build -package ghc-prim-0.1.0.0 -package integer-0.1.0.0 -package  
> rts-1.0 -O -package-name base -XMagicHash - 
> XExistentialQuantification -XRank2Types -XScopedTypeVariables - 
> XUnboxedTuples -XForeignFunctionInterface -XUnliftedFFITypes - 
> XDeriveDataTypeable -XGeneralizedNewtypeDeriving -XFlexibleInstances  
> -XStandaloneDeriving -XPatternGuards -XEmptyDataDecls - 
> XNoImplicitPrelude -XCPP -idist/build  -Werror -H64m -O0 -fasm -O - 
> fasm -dcore-lint -Wall -fno-warn-deprecated-flags -c Foreign/Marshal/ 
> Alloc.hs -o dist/build/Foreign/Marshal/Alloc.o  -ohi dist/build/ 
> Foreign/Marshal/Alloc.hi
>
> Foreign/Marshal/Alloc.hs:201:0:
>     Unacceptable type in foreign declaration: forall a. FinalizerPtr a
>     When checking declaration:
>         foreign import ccall unsafe "static stdlib.h &free"  
> finalizerFree
>           :: FinalizerPtr a
> make[2]: *** [dist/build/Foreign/Marshal/Alloc.o] Error 1
> make[1]: *** [make.library.base] Error 2
> make: *** [stage1] Error 2
>

Manuel

Simon Peyton Jones:
> Tue Mar  3 09:42:58 PST 2009  simonpj at microsoft.com
>  * Fix Trac #3066: checking argument types in foreign calls
>  Ignore-this: c07b0df24b9965b190dc0e0797401c51
>
>  When checking argument types in a foreign call we were stupidly
>  looking through foralls.  The fix is easy.
>
>  Merge to 6.10.2
>
>
>    M ./compiler/typecheck/TcType.lhs -2 +3
>
> View patch online:
> http://darcs.haskell.org/ghc/_darcs/patches/20090303174258-1287e-c07c3f02e644aef7aebe43bd8d63b3180295dfb5.gz
>
> _______________________________________________
> Cvs-ghc mailing list
> Cvs-ghc at haskell.org
> http://www.haskell.org/mailman/listinfo/cvs-ghc