• Zejun Wu's avatar
    Introduce ghci command wrapper · 6a7a6b86
    Zejun Wu authored
    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
UI.hs 156 KB