[GHC] #8353: Easy way to defer type errors

[GHC]

#8353: Easy way to defer type errors
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |                   Owner:
            Type:  feature request   |                  Status:  patch
        Priority:  normal            |               Milestone:
       Component:  GHCi              |                 Version:  7.6.3
      Resolution:                    |                Keywords:  newcomer
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  None/Unknown      |  Unknown/Multiple
      Blocked By:                    |               Test Case:
 Related Tickets:                    |                Blocking:
                                     |  Differential Revisions:  Phab:D960
-------------------------------------+-------------------------------------
Changes (by thomie):

 * cc: bgamari (added)


Comment:

 Moving design discussion to Trac, so it gets some more attention.

 bgamari asks in Phab:D960:
 > Is there consensus that we want to expand the use of the ! suffix on
 GHCi commands? It seems to me like we might want to consider a slightly
 less cryptic (albeit more verbose) flag structure to expose this sort of
 functionality.

 Currently we have:
 {{{
 :ctags[!] [<file>]          create tags file for Vi (default: "tags")
                                (!: use regex instead of line number)
 :info[!] [<name> ...]       display information about the given names
                                (!: do not filter instances)
 :kind[!] <type>             show the kind of <type>
                                (!: also print the normalised type)
 }}}

 The patch in D960 adds:
 {{{
 :load[!] [*]<module> ...    load module(s) and their dependents
                                (!: defer type errors)
 :reload[!]                  reload the current module set
                                (!: defer type errors)
 }}}

 Seems all rather inconsistent, but not a huge problem either.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8353#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler