Introduce ghci command wrapper
authorZejun Wu <watashi@fb.com>
Sat, 29 Dec 2018 20:28:47 +0000 (12:28 -0800)
committerBen Gamari <ben@smart-cactus.org>
Wed, 16 Jan 2019 19:13:26 +0000 (14:13 -0500)
commit6a7a6b865bdb637a3ab69b9bccc390b85c147878
tree842b8d68eddcc957c770f8df2364b3604e8968dc
parentc155ac9c529945fa6f7803f5d3bc69abe3cafe99
Introduce ghci command wrapper

Introduce ghci command wrapper, which can be used to cutomize ghci:
* process additionals actions before/after the command
* handle particular exceptions in given ways
* logging stats

We also split the timing and printing part of `timeIt` into different
functions.
ghc/GHCi/UI.hs
ghc/GHCi/UI/Monad.hs