[GHC] #8353: Easy way to defer type errors
GHC
ghc-devs at haskell.org
Mon Jun 8 06:47:35 UTC 2015
#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
More information about the ghc-tickets
mailing list