[GHC] #5664: Missing checks for FFI declaration types

[GHC]

#5664: Missing checks for FFI declaration types
---------------------------------+------------------------------------------
    Reporter:  simonmar          |       Owner:                             
        Type:  bug               |      Status:  new                        
    Priority:  normal            |   Milestone:  7.6.1                      
   Component:  Compiler (FFI)    |     Version:  7.2.1                      
    Keywords:                    |          Os:  Unknown/Multiple           
Architecture:  Unknown/Multiple  |     Failure:  GHC accepts invalid program
  Difficulty:                    |    Testcase:                             
   Blockedby:                    |    Blocking:                             
---------------------------------+------------------------------------------

Comment(by simonpj@…):

 commit 66b047ee8528860ef4babdbe38cf708a41e3be1e
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Tue Dec 13 13:36:34 2011 +0000

     Towards fixing Trac #5664

     This patch makes normaliseFFIType recurse ito the arguments of FunPtr

  compiler/typecheck/TcForeign.lhs |    6 ++++--
  1 files changed, 4 insertions(+), 2 deletions(-)
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5664#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler