GHCi: use real time instead of CPU time for :set -s
authorSimon Marlow <marlowsd@gmail.com>
Fri, 15 Apr 2016 23:21:56 +0000 (16:21 -0700)
committerSimon Marlow <marlowsd@gmail.com>
Tue, 26 Apr 2016 15:00:43 +0000 (16:00 +0100)
commit95f9334aeeebc8708ed89a5d985b6be3e8a3f1da
treeb580464d9d948c06c9ebbeeedcc4f0f1f2f3e263
parente68195a96529cf1cc2d9cc6a9bc05183fce5ecea
GHCi: use real time instead of CPU time for :set -s

CPU time is never very accurate, and it broke completely with
-fexternal-interpreter which runs the interpreted computations in a
separate process.
ghc/GHCi/UI/Monad.hs