[GHC] #7896: Type constructor is accepted as context

8 May 2013

      #7896: Type constructor is accepted as context
----------------------------------------+-----------------------------------
Reporter:  stefan                       |          Owner:                         
    Type:  bug                          |         Status:  new                    
Priority:  normal                       |      Component:  Compiler (Type checker)
 Version:  7.6.3                        |       Keywords:                         
      Os:  Unknown/Multiple             |   Architecture:  Unknown/Multiple       
 Failure:  GHC accepts invalid program  |      Blockedby:                         
Blocking:                               |        Related:                         
----------------------------------------+-----------------------------------
 Consider the following program:

 {{{
 f :: Int => () -> ()
 f _ = id
 }}}

 It is accepted by the compiler, even though we are using a type
 constructor rather than a class assertion in a type context.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7896
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler