Cannot override ghci builtin commands with :def[!]
In cabal we have a feature called "cabal repl" where it loads ghci with all the appropriate flags for the package or sandbox.
One of the nice things we want to do is extend the :reload (and related :add, :load) so that it calls out to cabal to run any pre-processors (e.g. hsc2hs, happy, alex etc).
Unfortunately the :def! command does not override builtin ghc commands. It looks like it works (:def reports the thing) but then the builtin command is still used, e.g.:
:def! reload (\_ -> print "yay" >> return "")
:def
the following macros are defined:
reload
:reload
Ok, modules loaded: none.Related to this overriding, is that we also want a way to run the original (the builtin). Technically speaking it's possible using :undef, but then it's rather tricky to define again. You have to do something like define reload to call out to cabal, :undef reload, :reload, :def reload .... The tricky part is that last, we have to tie the knot, because that is the definition of :reload so it has to be able to access it's own code, tricky but not impossible (can load it from a file, but ugly).
So ideally we'd have something like :builtin [cmd] [args] that bypasses macros and executes the builtin command. Then we could define:
:def! reload :! cabal repl --reload ${other_stuff_here}
:builtin :reloadAnd similarly for the others :add, :load etc.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.6.3 |
| Type | FeatureRequest |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | GHCi |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |