#3005: Normalize fully-applied type functions prior to display
------------------------------+---------------------------------------------
Reporter: dmcclean | Owner: chak
Type: feature request | Status: new
Priority: normal | Milestone:
Component: GHCi | Version: 6.10.1
Severity: normal | Resolution:
Keywords: | Testcase:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
------------------------------+---------------------------------------------
Changes (by chak):
* owner: => chak
Comment:
The problem is that sometime you want types to be normalised (like here),
and sometimes, you prefer them non-normalised (e.g, when the normalised
types get large). Currently, GHC tries to hard to print types with as
little normalisation as possible (e.g, it prints `String` instead of
`[Char]`).
So far, my plan was to leave that as it is, but provide a new ghci command
to normalise a given type. This is useful for type-level programs (like
in your code) without affecting the standard output. An extra ghci
command has the advantage that you can "evaluate" type functions without
needing to construct values that have the type that you want to evaluate
(for `:t` you always need to supply an appropriate expression).
Given your experience, would a new ghci command as described be sufficient
for your purposes (without altering the behaviour of `:t`)?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3005#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
