#10193: TypeRep Show instance doesn't add parens around type operators -------------------------------------+------------------------------------- Reporter: pawel.nowak | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: libraries/base | Version: 7.10.1-rc3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect result | Unknown/Multiple at runtime | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by pawel.nowak): Replying to [comment:1 thomie]:
Fwiw, GHCi does the right thing already: Yes, but I think it works on GHC's internal Type, not on Typeable's TypeRep. \\
After some more thought, it would be useful to have an instance that prints a valid Haskell type, that is: * Parens around operators, * Fully qualified types, * No kinds - right now a TypeRep of e.g. "V 5" from Linear.V is printed as "V Nat 5". I'll implement that in Hint for now, but it would be nice to have that in Data.Typeable, possibly as an alternative to the current show instance. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10193#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler