Introduce ghci command wrapper

Authored by watashi on Dec 29 2018, 2:28 PM.

Description

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.

Details

Committed
bgamariJan 16 2019, 1:13 PM
Parents
rGHCc155ac9c5299: Fix filename in comment again
Branches
Unknown
Tags
Unknown