#11011: Add type-indexed type representations (`TypeRep a`) -------------------------------------+------------------------------------- Reporter: bjmprice | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Description changed by simonpj: @@ -1,1 +1,1 @@ - We have a plan to move to a '''type-indexed form of `TypeRep`. This + We have a plan to move to a '''type-indexed form of `TypeRep`'''. This @@ -4,1 +4,1 @@ - The key wiki page [wiki:Typeable]. + The key wiki page is: [wiki:Typeable]. New description: We have a plan to move to a '''type-indexed form of `TypeRep`'''. This ticket serves to track progress. The key wiki page is: [wiki:Typeable]. We would like to invite comments and discussion from the community using this ticket as a more permanent home than email. There is a also a broader question, about using the new expressiveness of `TypeRep` and `Typeable` to support static pointers. One particular point that would benefit from more eyes is the polymorphic static pointers support. But first things first! -- -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11011#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler