diff options
author | Duncan Coutts <duncan@well-typed.com> | 2021-01-03 12:22:37 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-01-25 05:11:14 -0500 |
commit | 083d7aeb5b0f9e47bf34459415367502492c5e06 (patch) | |
tree | 8af2ec61e332b11d4571df8345d0139018396639 | |
parent | b18d9e97252c9dd12f08d3e6f56bfec6a6d2469a (diff) | |
download | haskell-083d7aeb5b0f9e47bf34459415367502492c5e06.tar.gz |
Move win32/IOManager to win32/MIOManager
It is only for MIO, and we want to use the generic name IOManager for
the name of the common parts of the interface and dispatch.
-rw-r--r-- | rts/RaiseAsync.c | 2 | ||||
-rw-r--r-- | rts/Schedule.c | 2 | ||||
-rw-r--r-- | rts/rts.cabal.in | 2 | ||||
-rw-r--r-- | rts/win32/AsyncMIO.c | 2 | ||||
-rw-r--r-- | rts/win32/MIOManager.c (renamed from rts/win32/IOManager.c) | 4 | ||||
-rw-r--r-- | rts/win32/MIOManager.h (renamed from rts/win32/IOManager.h) | 0 | ||||
-rw-r--r-- | rts/win32/ThrIOManager.c | 2 |
7 files changed, 7 insertions, 7 deletions
diff --git a/rts/RaiseAsync.c b/rts/RaiseAsync.c index c0cb3951c5..822bf2875e 100644 --- a/rts/RaiseAsync.c +++ b/rts/RaiseAsync.c @@ -20,7 +20,7 @@ #include "Profiling.h" #include "Messages.h" #if defined(mingw32_HOST_OS) -#include "win32/IOManager.h" +#include "win32/MIOManager.h" #endif static void blockedThrowTo (Capability *cap, diff --git a/rts/Schedule.c b/rts/Schedule.c index 8a07e97ba1..514832ea6e 100644 --- a/rts/Schedule.c +++ b/rts/Schedule.c @@ -33,7 +33,7 @@ #include "Task.h" #include "AwaitEvent.h" #if defined(mingw32_HOST_OS) -#include "win32/IOManager.h" +#include "win32/MIOManager.h" #include "win32/AsyncWinIO.h" #endif #include "Trace.h" diff --git a/rts/rts.cabal.in b/rts/rts.cabal.in index 6c7e68d28a..8c382e067e 100644 --- a/rts/rts.cabal.in +++ b/rts/rts.cabal.in @@ -534,7 +534,7 @@ library win32/ConsoleHandler.c win32/GetEnv.c win32/GetTime.c - win32/IOManager.c + win32/MIOManager.c win32/OSMem.c win32/OSThreads.c win32/ThrIOManager.c diff --git a/rts/win32/AsyncMIO.c b/rts/win32/AsyncMIO.c index 5d55f79d74..6a2a43bd08 100644 --- a/rts/win32/AsyncMIO.c +++ b/rts/win32/AsyncMIO.c @@ -17,7 +17,7 @@ #include "Schedule.h" #include "Capability.h" #include "win32/AsyncMIO.h" -#include "win32/IOManager.h" +#include "win32/MIOManager.h" /* * Overview: diff --git a/rts/win32/IOManager.c b/rts/win32/MIOManager.c index 271f0e5335..06b28bca2b 100644 --- a/rts/win32/IOManager.c +++ b/rts/win32/MIOManager.c @@ -1,4 +1,4 @@ -/* IOManager.c +/* MIOManager.c * * Non-blocking / asynchronous I/O for Win32. * @@ -12,7 +12,7 @@ #include "Rts.h" #include "RtsUtils.h" -#include "IOManager.h" +#include "MIOManager.h" #include "WorkQueue.h" #include "ConsoleHandler.h" #include <stdio.h> diff --git a/rts/win32/IOManager.h b/rts/win32/MIOManager.h index cb876db9cc..cb876db9cc 100644 --- a/rts/win32/IOManager.h +++ b/rts/win32/MIOManager.h diff --git a/rts/win32/ThrIOManager.c b/rts/win32/ThrIOManager.c index 1b7ba851e2..039d62fad3 100644 --- a/rts/win32/ThrIOManager.c +++ b/rts/win32/ThrIOManager.c @@ -9,7 +9,7 @@ * ---------------------------------------------------------------------------*/ #include "Rts.h" -#include "IOManager.h" +#include "MIOManager.h" #include "rts\OSThreads.h" #include "Prelude.h" #include <windows.h> |