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

[GHC]

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

  * status:  new => closed
  * resolution:  => duplicate


Comment:

 Thanks for the report, it's fixed in HEAD (#7697).

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