diff options
Diffstat (limited to 'rts/win32/IOManager.c')
| -rw-r--r-- | rts/win32/IOManager.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rts/win32/IOManager.c b/rts/win32/IOManager.c index e5da32b982..47bcf4bcf4 100644 --- a/rts/win32/IOManager.c +++ b/rts/win32/IOManager.c @@ -3,6 +3,9 @@ * Non-blocking / asynchronous I/O for Win32. * * (c) sof, 2002-2003. + * + * NOTE: This is the MIO manager, only used for --io-manager=posix. + * For the WINIO manager see base in the GHC.Event modules. */ #if !defined(THREADED_RTS) |