diff options
Diffstat (limited to 'includes/rts/IOInterface.h')
| -rw-r--r-- | includes/rts/IOInterface.h | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/includes/rts/IOInterface.h b/includes/rts/IOInterface.h index 4c392e2058..9a646cc5cf 100644 --- a/includes/rts/IOInterface.h +++ b/includes/rts/IOInterface.h @@ -36,15 +36,3 @@ void setIOManagerWakeupFd (int fd); #endif -/* - * Communicating with the IO manager thread (see GHC.Conc). - * Posix implementation in posix/Signals.c - * Win32 implementation in win32/ThrIOManager.c, Windows's WINIO has the same - * interfaces for Threaded and Non-threaded I/O, so these methods are always - * available for WINIO. -*/ -void ioManagerWakeup (void); -#if defined(THREADED_RTS) || defined(mingw32_HOST_OS) -void ioManagerDie (void); -void ioManagerStart (void); -#endif |