[GHC] #8132: Warning for Typeable instances misplaced

[GHC]

#8132: Warning for Typeable instances misplaced
-------------------------------------------------+-------------------------
        Reporter:  scottgw                       |            Owner:
            Type:  bug                           |  dreixel
        Priority:  highest                       |           Status:  new
       Component:  Compiler                      |        Milestone:  7.8.1
      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:
-------------------------------------------------+-------------------------
Changes (by simonpj):

 * priority:  normal => highest
 * milestone:   => 7.8.1


Comment:

 OK I think we are agreed on

  * Hand-rolled instances of `Typeable` become an error.
  * Deprecated, top-level definition of `typeOf` is provided.

 Pedro, could you do that?  We'll need it in the next week or two for 7.8.
 Thanks

 Simon

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8132#comment:12>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler