#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
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
