ghci: 20 wakeups per second
According to powertop on my laptop, ghci seems to wake up 20 times per second looking for input when sitting at the command prompt. This has negative impact on battery life, as discussed on the powertop page.
I don't think the change in the HEAD to using
timer_create rather than
setitimer will have fixed this, but I can't currently run powertop so haven't been able to confirm that.