Re: [GHC] #1623: ghci: 20 wakeups per second

#1623: ghci: 20 wakeups per second
-------------------------------------+-------------------------------------
Reporter: igloo | Owner: simonmar
Type: bug | Status: closed
Priority: normal | Milestone: 6.8.1
Component: Runtime System | Version: 6.6.1
Resolution: fixed | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Ben Gamari
participants (1)
-
GHC