diff options
author | Duncan Coutts <duncan@well-typed.com> | 2021-01-03 18:44:19 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-01-25 05:11:14 -0500 |
commit | 34a8a0e4cf188a30d2b4b65909f24185c80d071e (patch) | |
tree | a8c25a0f4112f0dbe1a7a9969be577071d252094 /rts/IOManager.h | |
parent | e3564e3893c90dc20aa1949cdb85f41741faf895 (diff) | |
download | haskell-34a8a0e4cf188a30d2b4b65909f24185c80d071e.tar.gz |
Remove ioManager{Start,Die,Wakeup} from IOManager.h
They are not part of the IOManager interface used within the rest of the
RTS. They are the part of the interface of specific I/O manager
implementations.
They are no longer called directly elsewhere in the RTS, and are now
only called by the dispatch functions in IOManager.c
Diffstat (limited to 'rts/IOManager.h')
-rw-r--r-- | rts/IOManager.h | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/rts/IOManager.h b/rts/IOManager.h index 614c3ac9c7..f7523149c3 100644 --- a/rts/IOManager.h +++ b/rts/IOManager.h @@ -66,19 +66,6 @@ void exitIOManager(bool wait_threads); void wakeupIOManager(void); -/* - * 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 - /* Pedantic warning cleanliness */ #if !defined(THREADED_RTS) && defined(mingw32_HOST_OS) |