[GHC] #9639: Remove OldTypeable

[GHC]

#9639: Remove OldTypeable
-------------------------------------+-------------------------------------
              Reporter:  dreixel     |            Owner:
                  Type:  task        |           Status:  patch
              Priority:  normal      |        Milestone:  7.10.1
             Component:  Compiler    |          Version:  7.9
            Resolution:              |         Keywords:
      Operating System:              |     Architecture:  Unknown/Multiple
  Unknown/Multiple                   |       Difficulty:  Easy (less than 1
       Type of failure:              |  hour)
  None/Unknown                       |       Blocked By:
             Test Case:              |  Related Tickets:
              Blocking:              |
Differential Revisions:  Phab:D311   |
-------------------------------------+-------------------------------------

Comment (by mgmeier):

 The only reason for haskell-names to use the type-eq package seems to be
 in its module `Language.Haskell.Names.Annotated`:
 {{{
 -- This should be incorporated into Data.Typeable soon
 import Type.Eq
 }}}
 using `dynamicEq` and `(:~:)` from that import.

 Does the current `Data.Typeable` facilitate this functionality yet? If so,
 type-eq dependency could be dropped from haskell-names (and fay, in
 consequence), as far as I can see.

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