foreign export doesn't deal with newtypes correctly

GHC does not accept foreign export dynamic where the result is not
Addr but a newtype for Addr. I think it should:

module M1 where
import Foreign
newtype FunPtr a = FunPtr Addr
foreign export dynamic f :: (Int -> Int) -> IO (FunPtr (Int -> Int))

Moreover, foreign export dynamic does not work with the NCG.

-- 
 __("<  Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
 \__/            GCS/M d- s+:-- a23 C+++$ UL++>++++$ P+++ L++>++++$ E-
  ^^                W++ N+++ o? K? w(---) O? M- V? PS-- PE++ Y? PGP+ t
QRCZAK                5? X- R tv-- b+>++ DI D- G+ e>++++ h! r--%>++ y-

Trac metadata

Trac field	Value
Version	None
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	ResolvedFixed
Component	Compiler (FFI)
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture