#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