1 Sep 2006 10:48
Re: [GHC] #880: someFunction :: TypeRep -> Int
GHC <trac <at> galois.com>
2006-09-01 08:48:19 GMT
2006-09-01 08:48:19 GMT
#880: someFunction :: TypeRep -> Int
------------------------------+---------------------------------------------
Reporter: guest | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: libraries/base | Version: 6.4.2
Severity: normal | Resolution:
Keywords: | Os: Unknown
Difficulty: Easy (1 hr) | Architecture: Unknown
------------------------------+---------------------------------------------
Old description:
> Now that TypeRep share their keys using RTS internal allocation, can we
> get a function in Data.Typeable (or even GHC.Exts) that retrieves the Int
> key? Currently my job code (OpenAFP) and Pugs both uses "show :: TypeRep
> -> String" as the key for Map, but I think it'd be much, much faster if
> either TypeRep supports Ord natively, or (preferably) that we can get a
> Int out of it.
>
> Thanks!
> Audrey
New description:
Now that {{{TypeRep}}} share their keys using RTS internal allocation, can
we get a function in {{{Data.Typeable}}} (or even {{{GHC.Exts}}}) that
retrieves the Int key? Currently my job code (OpenAFP) and Pugs both uses
{{{"show :: TypeRep -> String"}}} as the key for Map, but I think it'd be
much, much faster if either {{{TypeRep}}} supports Ord natively, or
(preferably) that we can get a Int out of it.
(Continue reading)
RSS Feed