[GHC] #9639: Remove OldTypeable
GHC
ghc-devs at haskell.org
Sun Oct 5 16:07:45 UTC 2014
#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
More information about the ghc-tickets
mailing list