#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