[GHC] #9858: Typeable instances should be kind-aware
GHC
ghc-devs at haskell.org
Mon Mar 9 14:37:48 UTC 2015
#9858: Typeable instances should be kind-aware
-------------------------------------+-------------------------------------
Reporter: dreixel | Owner:
Type: bug | Status: new
Priority: highest | Milestone: 7.10.1
Component: Compiler | Version: 7.9
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: None/Unknown | Unknown/Multiple
Blocked By: | Test Case:
Related Tickets: | Blocking:
| Differential Revisions:
-------------------------------------+-------------------------------------
Comment (by rwbarton):
I'm not particularly concerned about the possibility of this change
breaking any existing program; that seems rather unlikely. What I am
concerned about is the possibility of another bug like #10000 being
discovered that forces us to abandon this "all types are Typeable"
approach.
It just seems like common sense to me to make large language changes like
this at the start of a version's development, not one week before the last
release candidate. (And I say large because there are probably tens of
thousands of "deriving Typeable" out there. Yes I'd like to get rid of
them too, but only if I could be reasonably sure that they won't have to
be added back in for 7.10.2!)
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9858#comment:68>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list