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

[Simon Peyton-Jones]

Alas no. Mea culpa.  I was knocking off some bugs at 5pm and thought "this one can't fail"!

(Actually the fact that it worked before is a bug!  My fix simply exposed it.)

anyway i'm on it

S

| -----Original Message-----
| From: Manuel M T Chakravarty [mailto:chak at cse.unsw.edu.au]
| Sent: 04 March 2009 00:36
| To: Simon Peyton-Jones
| Cc: cvs-ghc at haskell.org
| Subject: Re: patch applied (ghc): Fix Trac #3066: checking argument types in foreign
| calls
|
| 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
|