#8132: Warning for Typeable instances misplaced
-------------------------------------------------+-------------------------
Reporter: scottgw | Owner:
Type: bug | dreixel
Priority: normal | Status: new
Component: Compiler | Milestone:
Resolution: | Version: 7.7
Operating System: Unknown/Multiple | Keywords:
Type of failure: Incorrect warning at | Architecture:
compile-time | Unknown/Multiple
Test Case: | Difficulty:
Blocking: | Unknown
| Blocked By:
| Related Tickets:
-------------------------------------------------+-------------------------
Comment (by simonpj):
I think we should turn the warning into an error. We really, really don't
want hand-written `Typeable` instances. If there are any, we should just
report an error. Making it into an error rather than a warning will
ensure that it is displayed even if there are other errors. (Indeed, if
there are errors in the instances, we may not even proceed to typecheck
the value declarations at all... I'm not sure.)
Pedro, would you be up for making that (easy) change? Thanks.
Simon
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8132#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
