#5377: TypeSynonymInstances dysfunctional in ghc-7.2.1-rc1?
-------------------------------+--------------------------------------------
Reporter: hvr | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.1
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Linux | Blocking:
Architecture: x86_64 (amd64) | Failure: GHC rejects valid program
-------------------------------+--------------------------------------------
Comment(by simonpj):
Hmm. I made this change to fix #4841!
I can see several alternatives
* Make no further change
* Reverse the change in #4841.
* Make `TypeSynonymInstances` imply `FlexibleInstances`. Since #4841
made the latter imply the former, that would make them equivalent. So
abolish `TypeSynonymInstances` altogether (leaving it in but deprecated
for one release round).
I don't feel strongly. The last option looks best to me because it's a
simplification and I don't think it's important to distinguish the two
extensions.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5377#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
