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

[GHC]

#5664: Missing checks for FFI declaration types
---------------------------------+------------------------------------------
    Reporter:  simonmar          |       Owner:  pcapriotti                 
        Type:  bug               |      Status:  patch                      
    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:  Unknown           |    Testcase:                             
   Blockedby:                    |    Blocking:                             
     Related:                    |  
---------------------------------+------------------------------------------

Comment(by p.capriotti@…):

 commit 88d61ccd9450ed41b99136269a97b2c118462fa4
 {{{
 Author: Paolo Capriotti <p.capriotti at gmail.com>
 Date:   Tue Apr 3 10:41:52 2012 +0100

     Improved checks for "dynamic" and "wrapper" foreign declarations
 (#5664)

  compiler/typecheck/TcForeign.lhs |    6 ++--
  compiler/typecheck/TcType.lhs    |   43
 ++++++++++++++++++++++++++++---------
  2 files changed, 35 insertions(+), 14 deletions(-)
 }}}

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